scientific article; zbMATH DE number 1409638
From MaRDI portal
Publication:4940107
zbMATH Open0944.68124MaRDI QIDQ4940107FDOQ4940107
Authors: Graeme Smith 
Publication date: 2 March 2000
Title of this publication is not available (Why is that?)
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
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)
Cited In (37)
- Second-Order Principles in Specification Languages for Object-Oriented Programs
- Title not available (Why is that?)
- Slicing techniques for verification re-use
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Verifying data refinements using a model checker
- Encapsulating deontic and branching time specifications
- Experiments in program verification using Event-B
- Model evolution and refinement
- Refactoring Object-Oriented Specifications with Data and Processes
- Refinement and verification in component-based model-driven design
- An institution for Object-Z with inheritance and polymorphism
- IPL: an integration property language for multi-model cyber-physical systems
- Title not available (Why is that?)
- An operational semantics for object-oriented concepts based on the class hierarchy
- Linking event-B and concurrent object-oriented programs
- Alloy as a refactoring checker?
- Domain-specific semantics and data refinement of object models
- Sound and relaxed behavioural inheritance
- ZB 2005: Formal Specification and Development in Z and B
- Graph transformations for object-oriented refinement
- Model checking action system refinements
- Model transformations across views
- Model checking duration calculus: a practical approach
- Title not available (Why is that?)
- ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement
- Integrating a formal method into a software engineering process with UML and Java
- Property transformation under specification change
- rCOS: a refinement calculus of object systems
- Testing for refinement in \textsf{Circus}
- Fundamental Approaches to Software Engineering
- Type checking \textsf{Circus} specifications
- Temporal-logic property preservation under Z refinement
- Refining autonomous agents with declarative beliefs and desires
- Automatic verification of combined specifications: an overview
- From predicates to programs: the semantics of a method language
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)
