| Theories，Implementations，and Transformations Incremental Proof of the Producer/Consumer Property for the PCI Protocol Controlling Control Systems：An Application of Evolving Retrenchment Checking Z Data Refinements Using an Animation Tool Encoding Object-Z in Isabelle/HOL Characters十Mark*-up=Z Lexis Extraction of Abstraction Invariants for Data Refinement An Approach to Combining B and Alloy Software Construction by Stepwise Feature Introduction The Semantics of Circus Handling Inconsistencies in Z Using Quasi-Classical Logic Loose Specification and Refinement in Z On Using Conditional Definitions in Formal Theories A Theory of Generalized Substitutions Reinforced Condition/Decision Coverage(RC/DC)：A New Criterion for Software Testing A Comparison of the BTT and TTF Test-Generation Methods A Formal Analysis of the CORBA Security Service Type Synthesis in B and the Translation of B to PVS "Higher-Order" Mathematics in B ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries Generalized Substitution Language and Differentials Communicating B Machines Synchronized Parallel Composition of Event Systems in B Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions A Formal Model of the UML Met model: The UML State Machine and Its Integrity Constraints Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development Author Index |
内容加载中，请稍后...
商品评论（0条）