scientific article; zbMATH DE number 1409638
The specification language Z is extended to the language Object-Z in such a manner that the elements of object-oriented systems: class, inheritance and polymorhism can be formulated and used in the sp ecification. This makes the specification-implemention job easier for such systems. The book contains a motivating introduction with an instructive example. The following chapter explainins the extension of the semantic basis. Chapter 3 introduces and discusses carefully all the new elements of the syntax of Object-Z. Chapter 4 is intended as a reference manual for the language. Elements for the specification of real-life object-oriented systems, with concurrently working objects, are discussed in chapter 5. The complete concrete syntax of the new specification language is to be found, in a BNF-manner, at the end. The language, described by this book, represents a necessary step with respect to one of the main goals of software-engineering, to express the effect of modern systems adequately by specifications before the systems are implemented.
- scientific article; zbMATH DE number 2177630
- Fundamental Approaches to Software Engineering
- A formal object approach to the design of ZML
- scientific article; zbMATH DE number 1949592
- Object specification
- scientific article; zbMATH DE number 2079811
- An institution for Object-Z with inheritance and polymorphism
- scientific article; zbMATH DE number 192880
- Refinement and verification in component-based model-driven design
- Model checking action system refinements
- Graph transformations for object-oriented refinement
- Temporal-logic property preservation under Z refinement
- IPL: an integration property language for multi-model cyber-physical systems
- Model transformations across views
- Integrating a formal method into a software engineering process with UML and Java
- Slicing techniques for verification re-use
- From predicates to programs: the semantics of a method language
- Type checking \textsf{Circus} specifications
- Domain-specific semantics and data refinement of object models
- Automatic verification of combined specifications: an overview
- scientific article; zbMATH DE number 2177630 (Why is no real title available?)
- Property transformation under specification change
- scientific article; zbMATH DE number 140131 (Why is no real title available?)
- scientific article; zbMATH DE number 550329 (Why is no real title available?)
- Experiments in program verification using Event-B
- Model evolution and refinement
- A semantics for recursive operations in object-Z
- scientific article; zbMATH DE number 1949595 (Why is no real title available?)
- scientific article; zbMATH DE number 2013590 (Why is no real title available?)
- scientific article; zbMATH DE number 1534582 (Why is no real title available?)
- scientific article; zbMATH DE number 1569130 (Why is no real title available?)
- ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement
- Refining autonomous agents with declarative beliefs and desires
- An institution for Object-Z with inheritance and polymorphism
- Second-Order Principles in Specification Languages for Object-Oriented Programs
- Linking event-B and concurrent object-oriented programs
- Alloy as a refactoring checker?
- Fundamental Approaches to Software Engineering
- Refactoring Object-Oriented Specifications with Data and Processes
- ZB 2005: Formal Specification and Development in Z and B
- Sound and relaxed behavioural inheritance
- Formal methods for mobile ad hoc networks: a survey
- Encapsulating deontic and branching time specifications
- The HOL-CSP Refinement Toolkit
- HOL-CSP Version 2.0
- A Sound Type System for Physical Quantities, Units, and Measurements
- An operational semantics for object-oriented concepts based on the class hierarchy
- Testing for refinement in \textsf{Circus}
- Verifying data refinements using a model checker
- rCOS: a refinement calculus of object systems
- Model checking duration calculus: a practical approach
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4940107)
