Вы здесь

Главная

z

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

From Implicit Specifications to Explicit Designs in Reactive System Development
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z
Guards, Preconditions, and Refinement in Z
Handling Inconsistencies in Z Using Quasi-Classical Logic
HOL-Z in the UniForM-Workbench - A Case Study in Tool Integration for Z
How Firing Conditions Help Inheritance
How to Combine Z with a Process Algebra
Implementing Z in Isabelle
Improving Design Dependability by Exploiting an Open Model-Based Specification
Improving Software Tests using Z Specifications
Inconsistency and Undefinedness in Z - a Practical Guide
Innovations in the Notation of Standard Z
Integrated Formal Methods: Proc./Third Intern. Conf., IFM 2002, Turku, Finland, May 2002
Integration a Formal Specification Notation with HOOD
Integration of Formal Datatypes within State Diagrams
Integration of Specification Languages using Viewpoints
Integration of Z-Based Semantics of OO-Notations
Lessons from Using Z to Specify a Software Tool
Linking CSP-OZ with UML and Java: A Case Study
Loose Specification and Refinement in Z
M2Z: A Tool for Translating a Natural Language Software Specification into Z
Managing Complex Documents Over the WWW: A Case Study for XML
m-Charts and Z: Hows, Whys, and Wherefores
Mental Models of Z: I - Sets and Logic
Model-Checking CSP-Z
Model Checking Object-Z Using ASM
Object Orientation without Extending Z
On the Semantic Relation of Z and HOL
Operation Refinement and Monotonicity in the Schema Calculus
Overview of the Semantics of TCOZ
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z
Program Development and Specification Refinement in the Schema Calculus
Proving Temporal Properties of Z Specifications Using Abstraction
Publishing Formal Specifications in Z Notation on World Wide Web
Reasoning Inductively about Z Specifications via Unification
Recent Advances in Refinement
Recursive Definitions in Z
Refactoring Object-Z Specifications
Refinement in Object-Z and CSP
Refining Database Systems
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
RT-Z: An Integration of Z and timed CSP
Select Z Bibliography
SOZL language: A new software development methodology
Specification and Inheritance in CSP-OZ
Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication
Structural Refinement in Object-Z / CSP
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems
Structuring Mechanisms for an Object-Orientedd Formal Specification Language
Structuring Real-Time Object-Z Specifications