Søkt på: specifications
Vi gjorde et søk på tittelen istedenfor specifications som gavtotalt 54 treff
Semantic Integration of Heterogeneous Software Specifications
In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable …
Algebraic Specifications in Software Engineering
"e;I prefer to view formal methods as tools. the use of which might be helpful."e; E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many …
Specificity, Function, and Development of NK Cells
Our understanding of the function of natural killer (NK) cells has dramatically changed in recent years. The discovery of NK receptors specific for MHC class I molecules, and the …
Foundations of Algebraic Specification and Formal Software Development
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic …
Interactive Systems. Design, Specification, and Verification
The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones …
Interactive Systems. Design, Specification, and Verification
The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this …
Intelligent Agents: Specification, Modeling, and Application
The increasing importance of intelligent agents and their impact on industry/business worldwide is well documented through academic research papers and industrial reports. There is …
Domain-Specific Program Generation
Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs …
Pathogenicity of Human Herpesviruses due to Specific Pathogenicity Genes
Six members of the Herpesviridae family are human pathogens, including herpes and 2 (HSV-I and 2), Epstein-Barr virus (EBV), varicella zoster simplex virus I virus (VZV), human …
Interactive Systems. Design Specification, and Verification
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 …
Tissue-Specific Estrogen Action
Nuclear hormone receptors are not only important drug targets, but have also been the focus of decades of active and highly insightful research. Ten years ago, a review on nuclear …
Specification and Analysis of Concurrent Systems
Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas …