scientific article; zbMATH DE number 8787

zbMATH Open0744.68096MaRDI QIDQ3971276FDOQ3971276

Authors: Hartmut Ehrig, Ingo Claßen 

Publication date: 25 June 1992

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

Recommendations

• scientific article; zbMATH DE number 1324839
• scientific article; zbMATH DE number 2172806
• scientific article; zbMATH DE number 3872655
• scientific article

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 (6)

• Manipulating algebraic specifications with term-based and graph-based representations
• Title not available (Why is that?)
• Title not available (Why is that?)
• How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
• Title not available (Why is that?)
• Title not available (Why is that?)

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)