scientific article; zbMATH DE number 3947607

zbMATH Open0589.68017MaRDI QIDQ3718136FDOQ3718136

Authors: Francesco Parisi-Presicce 

Publication date: 1986

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

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

zbMATH Keywords

compositionunionactualizationmodule morphismsmodule specifications

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (8)

• Union and actualization of module specifications: Some compatibility results
• Algebraic specification of modules and their basic interconnections
• Detecting equivalence of modular specifications with categorical diagrams
• Title not available (Why is that?)
• Foundations of rule-based design of modular systems
• An Abstract Module Concept for Graph Transformation Systems
• Title not available (Why is that?)
• 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)