scientific article; zbMATH DE number 3947607

MaRDI QIDQ3718136zbMATH OpenFDO

Authors Francesco Parisi-Presicce

Publication date 1986

zbMATH Keywords

compositionunionactualizationmodule morphismsmodule specifications

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Union and actualization of module specifications: Some compatibility results
• Compatibility problems in the development of algebraic module specifications
• Publication:4721637
• Abstract and behaviour module specifications
• scientific article; zbMATH DE number 3956412

Cited in

(8)

• Union and actualization of module specifications: Some compatibility results
• An abstract module concept for graph transformation systems
• Algebraic specification of modules and their basic interconnections
• Detecting equivalence of modular specifications with categorical diagrams
• scientific article; zbMATH DE number 4056967 (Why is no real title available?)
• Foundations of rule-based design of modular systems
• scientific article; zbMATH DE number 3995035 (Why is no real title available?)
• Formal software specification with refinements and modules of typed graph transformation systems

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