Structuring and modularity

MaRDI QIDQ4702596zbMATH OpenFDO

Authors Fernando Orejas

Publication date 24 November 1999

zbMATH Keywords

modular constructsstructuring

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Structuring of specification modules (extended)
• scientific article; zbMATH DE number 1497815
• Structured theories and institutions
• Institutions: abstract model theory for specification and programming
• On the algebra of structured specifications

Cited in

(11)

• On local modularity variants and \(\Pi\)-institutions
• Structuring of specification modules (extended)
• Combinations of structures
• Specifying with syntactic theory functors
• 3d modularity
• Modular invariants for layered object structures
• Modularity of Confluence
• scientific article; zbMATH DE number 3980546 (Why is no real title available?)
• scientific article; zbMATH DE number 1254496 (Why is no real title available?)
• Structure and Applicability
• Composing hidden information modules over inclusive institutions

This page was built for publication: Structuring and modularity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4702596)