scientific article; zbMATH DE number 4117818

MaRDI QIDQ4732088zbMATH OpenFDO

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

Publication date 1989

zbMATH Keywords

algebraic specificationconfiguration familiesmodules

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 4206000
• scientific article; zbMATH DE number 3956412
• Algebraic specification of modules and their basic interconnections
• scientific article; zbMATH DE number 3972172
• scientific article; zbMATH DE number 44486

Cited in

(6)

• Union and actualization of module specifications: Some compatibility results
• scientific article; zbMATH DE number 4206000 (Why is no real title available?)
• scientific article; zbMATH DE number 4164154 (Why is no real title available?)
• scientific article; zbMATH DE number 3956412 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• A language for configuring multi-level specifications

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