Matches in Harvard for { ?s ?p Verification of Object Oriented Programs Using Class Invariants -- Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem -- A Model for Describing Object-Oriented Systems from Multiple Perspectives -- Formally Engineering Systems -- Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems -- Theory and Applications -- Ready-Simulation Is Not Ready to Express a Modular Refinement Relation -- Java Program Verification via a Hoare Logic with Abrupt Termination -- Foundations for Software Configuration Management Policies Using Graph Transformations -- Analyzing Non-functional Properties of Mobile Agents -- Case Studies -- Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods -- A Case Study on Using Automata in Control Synthesis -- Demonstrations -- Formal System Development with KIV -- . }
Showing items 1 to 2 of
2
with 100 items per page.
- catalog description "Verification of Object Oriented Programs Using Class Invariants -- Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem -- A Model for Describing Object-Oriented Systems from Multiple Perspectives -- Formally Engineering Systems -- Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems -- Theory and Applications -- Ready-Simulation Is Not Ready to Express a Modular Refinement Relation -- Java Program Verification via a Hoare Logic with Abrupt Termination -- Foundations for Software Configuration Management Policies Using Graph Transformations -- Analyzing Non-functional Properties of Mobile Agents -- Case Studies -- Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods -- A Case Study on Using Automata in Control Synthesis -- Demonstrations -- Formal System Development with KIV -- ".
- catalog tableOfContents "Verification of Object Oriented Programs Using Class Invariants -- Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem -- A Model for Describing Object-Oriented Systems from Multiple Perspectives -- Formally Engineering Systems -- Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems -- Theory and Applications -- Ready-Simulation Is Not Ready to Express a Modular Refinement Relation -- Java Program Verification via a Hoare Logic with Abrupt Termination -- Foundations for Software Configuration Management Policies Using Graph Transformations -- Analyzing Non-functional Properties of Mobile Agents -- Case Studies -- Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods -- A Case Study on Using Automata in Control Synthesis -- Demonstrations -- Formal System Development with KIV -- ".