scientific article; zbMATH DE number 795679

zbMATH Open0827.68072MaRDI QIDQ4845490FDOQ4845490

Authors:

Publication date: 12 September 1995

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• On simulation, subtyping and substitutability in sequential object systems
• Title not available (Why is that?)
• rCOS: a refinement calculus of object systems
• Title not available (Why is that?)

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)