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

DOI10.1093/LOGCOM/14.2.145zbMATH Open1104.68015OpenAlexW2079241091MaRDI QIDQ4820463FDOQ4820463

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

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

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)

Cited In (3)

• Title not available (Why is that?)
• A formal approach to object-oriented software engineering
• Theory and Applications of Models of Computation

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)