scientific article; zbMATH DE number 3862416

zbMATH Open0542.68011MaRDI QIDQ3330488FDOQ3330488

Authors: Hartmut Ehrig 

Publication date: 1984

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

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

zbMATH Keywords

software engineeringimplementationsmodular software systems

Mathematics Subject Classification ID

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

Cited In (11)

• Algebraic specification of modules and their basic interconnections
• On observational equivalence and algebraic specification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Structuring of specification modules (extended)
• Title not available (Why is that?)
• 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 Q3330488)