ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement

DOI10.1093/LOGCOM/14.2.145MaRDI QIDQ4820463zbMATH OpenOpenAlexFDO

Authors Marc Aiguier

Publication date 15 October 2004

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/14.2.145

zbMATH Keywords

concurrencyalgebraic specificationsdynamic logicsObject-oriented specificationsalgebraic refinement

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A formal approach to object-oriented software engineering
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• scientific article; zbMATH DE number 1409638
• scientific article; zbMATH DE number 1110831
• Specifying concurrent object-oriented systems

Cited in

(3)

• scientific article; zbMATH DE number 1686270 (Why is no real title available?)
• A formal approach to object-oriented software engineering
• Theory and Applications of Models of Computation

Describes a project that uses

Uses Software

• CASL

This page was built for publication: ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4820463)