scientific article; zbMATH DE number 3862416

MaRDI QIDQ3330488zbMATH OpenFDO

Authors Hartmut Ehrig

Publication date 1984

zbMATH Keywords

software engineeringimplementationsmodular software systems

Mathematics Subject Classification ID

Data structures (68P05) Theory of software (68N99)

Recommendations

• 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
• Union and actualization of module specifications: Some compatibility results

Cited in

(11)

• scientific article; zbMATH DE number 3898210 (Why is no real title available?)
• Structuring of specification modules (extended)
• scientific article; zbMATH DE number 3972172 (Why is no real title available?)
• Algebraic specification of modules and their basic interconnections
• scientific article; zbMATH DE number 4164154 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 1231664 (Why is no real title available?)
• scientific article; zbMATH DE number 3956412 (Why is no real title available?)
• scientific article; zbMATH DE number 3980454 (Why is no real title available?)
• On observational equivalence and algebraic specification
• scientific article; zbMATH DE number 3936503 (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 Q3330488)