Formal Specification and Design

DOI10.1017/CBO9780511569777zbMATH Open0774.68082OpenAlexW1521991699MaRDI QIDQ5287557FDOQ5287557

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

Recommendations

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

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)

Cited In (12)

• Algebraic specification techniques in object oriented programming environments
• Title not available (Why is that?)
• Formal specification with B
• Specification statements and refinement
• Foundations of algebraic specification and formal software development.
• Specifying Software
• Title not available (Why is that?)
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Logics of specification languages
• Title not available (Why is that?)
• Specification and verification challenges for sequential object-oriented programs
• Title not available (Why is that?)

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)