Вы здесь

Главная

z

Связанные издания:

Abstract Specification in Object-Z and CSP
A Comparison of the BTT and TTF Test-Generation Methods
A Computation Model for Z Based on Concurrent Constraint Resolution
A Formal Analysis of the CORBA Security Service
A Formal Architecture for the 3APL Agent Programming Language
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints
A Formal OO Method Inspired by Fusion and Object-Z
A Framework for Specification-Based Testing
A Framework for the Specification of Reactive and Concurrent Systems in Z
Analysis of Compiled Code: A Prototype Formal Model
Analyzing and Refining an Architectural Style
An Analysis of Forward Simulation Data Refinement
An Assertional Verification Method for Z Specifications of Concurrent Systems
An Improved Recipe for Specifying Reactive Systems in Z
An Integrated of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
An Introduction to the Event Calculus
An Outline Pattern Language for Z: Five Illustrations and Two Tables
An Overview of Mobile Object-Z
Applying PVS to Za
A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts
A Refinement Tool for Z
Atomic Use Case: A Concept for Precise Modeling of Object-Oriented Information Systems
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques
Automatically Generating Information from a Z Specification to Support the Classification Tree Method
Automating Test Case Generation from Z Specifications with Isabelle
A Z Based Approach to Verifying Security Protocols
B#: Toward a Synthesis between Z and B
Characters + Mark-up = Z Lexis
Checking Z Data Refinements Using an Animation Tool
ClawZ: Control Laws in Z
Closure Induction in a Z-Like Language
Combining Specification Techniques for Processes, Data and Time
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
Comparison of Formalization Approaches of UML Class Constructs in Z and Object-Z
Compilation of Z Specification into C for Automatic Test Result Evaluation
Compositional Verification for Object-Z
Comp.specification.z and Z FORUM Frequently Asked Questions
COOZ: A Complete Object-Oriented Extension to Z
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
Encoding Object-Z in Isabelle/HOL
Equal Rights for Schemas in Z
Experiences with PiZA, an Animator for Z
Experiments with the Z Interchange Format and SGML
Exploring Specifications with Mathematica
Extending W for Object-Z
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications
Formal Approach to Metamodeling: A Generic Object-Oriented Perspective
Formalizing Hierarchical Object-Oriented Design Method
Formalizing UML Models with Object-Z