Compatibility problems in the development of algebraic module specifications

DOI10.1016/0304-3975(90)90115-XMaRDI QIDQ2638799zbMATH OpenFDO

Authors Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce

Publication date 1990

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(90)90115-X

zbMATH Keywords

algebraic module specifications

Mathematics Subject Classification ID

Functor categories, comma categories (18A25) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3956412
• scientific article; zbMATH DE number 44486
• On the algebra of structured specifications
• Abstract and behaviour module specifications
• scientific article; zbMATH DE number 3972172

Cites work

• F‐Morphismen
• Algebraic specification of modules and their basic interconnections
• Data Type Specification: Parameterization and the Power of Specification Techniques
• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 3888887 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 4206000 (Why is no real title available?)
• scientific article; zbMATH DE number 4056967 (Why is no real title available?)
• scientific article; zbMATH DE number 3725699 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 44668 (Why is no real title available?)
• scientific article; zbMATH DE number 3479108 (Why is no real title available?)
• scientific article; zbMATH DE number 3995035 (Why is no real title available?)
• scientific article; zbMATH DE number 3999262 (Why is no real title available?)
• scientific article; zbMATH DE number 6296809 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• Realization is universal
• Report on the Larch shared language
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• Union and actualization of module specifications: Some compatibility results

Cited in

(6)

• Union and actualization of module specifications: Some compatibility results
• Proof versus formalization
• scientific article; zbMATH DE number 3947607 (Why is no real title available?)
• scientific article; zbMATH DE number 8763 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• Formal Methods in Software and Systems Modeling

Describes a project that uses

Uses Software

• Modula

This page was built for publication: Compatibility problems in the development of algebraic module specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2638799)