scientific article; zbMATH DE number 1179975

MaRDI QIDQ4399250zbMATH OpenFDO

Authors Hartmut Ehrig, Fernando Orejas

Publication date 28 July 1998

zbMATH Keywords

system specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1860662
• A conceptual and formal framework for the integration of data type and process modeling techniques
• Publication:4940886
• scientific article; zbMATH DE number 1860663
• Semantic integration of heterogeneous software specifications.

Cited in

(4)

• A formally grounded software specification method
• scientific article; zbMATH DE number 1487738 (Why is no real title available?)
• scientific article; zbMATH DE number 1860662 (Why is no real title available?)
• A conceptual and formal framework for the integration of data type and process modeling techniques

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