scientific article; zbMATH DE number 795679

zbMATH Open0827.68072MaRDI QIDQ4845490FDOQ4845490

Authors

Publication date 12 September 1995

zbMATH Keywords

specification languagesalgebraic specificationobject-oriented designObject-oriented specificationCase studies

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 804402
• scientific article; zbMATH DE number 1019598
• scientific article; zbMATH DE number 108536
• Specification of object-oriented systems
• scientific article; zbMATH DE number 1368958
• scientific article; zbMATH DE number 580456

Cited in

(6)

• scientific article; zbMATH DE number 1566490 (Why is no real title available?)
• scientific article; zbMATH DE number 2088943 (Why is no real title available?)
• scientific article; zbMATH DE number 804402 (Why is no real title available?)
• scientific article; zbMATH DE number 52898 (Why is no real title available?)
• rCOS: a refinement calculus of object systems
• On simulation, subtyping and substitutability in sequential object systems

Describes a project that uses

Uses Software

• OBJ3
• OOZE

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 Q4845490)