scientific article; zbMATH DE number 3956412

MaRDI QIDQ3725525zbMATH OpenFDO

Authors Hartmut Ehrig, Herbert Weber

Publication date 1986

zbMATH Keywords

abstract data typesalgebraic specificationmodular software systemssemanticssoftware developmentsyntax

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3862416
• Algebraic specification of modules and their basic interconnections
• scientific article; zbMATH DE number 3972172
• scientific article; zbMATH DE number 44486
• Publication:4732088

Cited in

(31)

• Algebraic specification of modules and their basic interconnections
• Union and actualization of module specifications: Some compatibility results
• Structuring of specification modules (extended)
• An algebra of modular systems: static and dynamic perspectives
• Compatibility problems in the development of algebraic module specifications
• scientific article; zbMATH DE number 1617303 (Why is no real title available?)
• scientific article; zbMATH DE number 3862416 (Why is no real title available?)
• scientific article; zbMATH DE number 4206000 (Why is no real title available?)
• scientific article; zbMATH DE number 4213464 (Why is no real title available?)
• Module algebra
• scientific article; zbMATH DE number 4164154 (Why is no real title available?)
• scientific article; zbMATH DE number 3898210 (Why is no real title available?)
• scientific article; zbMATH DE number 3947607 (Why is no real title available?)
• scientific article; zbMATH DE number 3954252 (Why is no real title available?)
• scientific article; zbMATH DE number 3972172 (Why is no real title available?)
• scientific article; zbMATH DE number 3980454 (Why is no real title available?)
• scientific article; zbMATH DE number 4033047 (Why is no real title available?)
• scientific article; zbMATH DE number 4049002 (Why is no real title available?)
• scientific article; zbMATH DE number 4056967 (Why is no real title available?)
• scientific article; zbMATH DE number 4084991 (Why is no real title available?)
• scientific article; zbMATH DE number 8774 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 177440 (Why is no real title available?)
• scientific article; zbMATH DE number 1231664 (Why is no real title available?)
• Abstract and behaviour module specifications
• scientific article; zbMATH DE number 1522144 (Why is no real title available?)
• scientific article; zbMATH DE number 4117818 (Why is no real title available?)
• A general framework for modular implementations of modular system specifications
• Structured document algebra in action
• Formal Methods in Software and Systems Modeling
• A constructive method for abstract algebraic software specification

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