Formal Specification and Design

DOI10.1017/CBO9780511569777MaRDI QIDQ5287557zbMATH OpenOpenAlexFDO

Authors L. M. G. Feijs, Hans B. M. Jonkers

Publication date 15 July 1993

Full work available at URL https://doi.org/10.1017/cbo9780511569777

zbMATH Keywords

abstract data typesalgebraic specificationsstate-based specifications

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1350767
• Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings

Cited in

(14)

• Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Logics of specification languages
• Specification and verification challenges for sequential object-oriented programs
• Formal specification with B
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• Specification statements and refinement
• Algebraic specification techniques in object oriented programming environments
• scientific article; zbMATH DE number 1262881 (Why is no real title available?)
• scientific article; zbMATH DE number 1350767 (Why is no real title available?)
• Specifying Software
• scientific article; zbMATH DE number 1481757 (Why is no real title available?)
• scientific article; zbMATH DE number 194509 (Why is no real title available?)
• Foundations of algebraic specification and formal software development.

This page was built for publication: Formal Specification and Design

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