scientific article; zbMATH DE number 8787

MaRDI QIDQ3971276zbMATH OpenFDO

Authors Hartmut Ehrig, Ingo Claßen

Publication date 25 June 1992

zbMATH Keywords

algebraic specification languagesalgebraic specifications of software systemsenvironments and tools for algebraic specifications

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99) Abstract data types; algebraic specification (68Q65)

Cited in

(7)

• scientific article; zbMATH DE number 1497880 (Why is no real title available?)
• Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
• scientific article; zbMATH DE number 4092743 (Why is no real title available?)
• scientific article; zbMATH DE number 3936505 (Why is no real title available?)
• Manipulating algebraic specifications with term-based and graph-based representations
• How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
• scientific article; zbMATH DE number 4080877 (Why is no real title available?)

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