scientific article; zbMATH DE number 1409638

MaRDI QIDQ4940107zbMATH OpenFDO

Authors Graeme Smith

Publication date 2 March 2000

zbMATH Keywords

concurrent systemsformal specification of objectoriented systemsspecification language object-Z

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• 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
• scientific article; zbMATH DE number 1368958
• scientific article; zbMATH DE number 2079811
• An institution for Object-Z with inheritance and polymorphism
• scientific article; zbMATH DE number 192880

Cited in

(43)

• 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
• scientific article; zbMATH DE number 1104379 (Why is no real title available?)
• 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)