scientific article; zbMATH DE number 795679

zbMath0827.68072MaRDI QIDQ4845490

No author found.

Publication date: 12 September 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

specification languagesobject-oriented designalgebraic specificationObject-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)

Related Items (2)

rCOS: a refinement calculus of object systems ⋮ On simulation, subtyping and substitutability in sequential object systems

Uses Software

• OBJ3
• OOZE

This page was built for publication: