| Invited Paper Physical Programming: Beyond Mere Logic(Invited Talk) Metamodelling Metamodelling and Conformance Checking with PVS The Metamodelling Language Calculus: Foundation Semantics for UXL Distributed Components Compositional Checking of Communication among Observers Combinging Independent Specifications Proving Deadlock Freedom in Component-Based Programming UML A Real-Time Execution Semantics for Uml Activity Diagrams A CSP View on UML-RT Structure Diagrams Strengthening UML Collaboration Diagrams by State Transformations Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation On Use Cases and Their Relationships in the Unified Modelling-Language On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design Towards a Rigorous Semantics of UML Supporting Its Multiview Approach Towards Development of Secure Systems Using UMLsec Testing Grammar Testing Debugging via Run-Time Type Checking Library-Based Design and Consistency Checking of System-Level Industrial Test Cases Demonstration of an Automated Integrated Testing Environment for CTI Systems Formal Methods Case Studies Author Index |
内容加载中，请稍后...
商品评论（0条）