| Formal Frameworks An Approach to Composition Motivated by wp Compositional Verification of Secure Applet Interactions A Generic Component Framework for System Modeling Model and Program Analysis Implementing Condition/Event Nets in the Circal Process Algebra Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs Model Generation by Moderated Regular Extrapolation Better Slicing of Programs with Jumps and Switches Architecture Descriptions Architectural Types Revisited: Extensible And/Or Connections Mapping an ADL to a Component-Based Application Development Environment From EDOC to CCM Components: A Precise Mapping Specification Meta-Models Engineering Modelling Languages: A Precise Meta-Modelling Approach AToMa" A Tool for Multi-formalism and Meta-modelling A Toolbox for Automating Visual Software Engineering Formal Approaches towards UML Enriching OCL Using Observational Mu-Calculus Formal Verification of UML State charts with Real-Time Extensions Requirements Engineering An Authoring Tool for Informal and Formal Requirements Specifications Introducing Context-Based Constraints Formal Requirements Engineering Using Observer Models …… Tool Demonstrations Author Index |
内容加载中，请稍后...
商品评论（0条）