Abstract and behaviour module specifications

DOI10.1017/S0960129598002606MaRDI QIDQ4237907zbMATH OpenOpenAlexFDO

Authors Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas

Publication date 13 April 1999

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129598002606

zbMATH Keywords

abstract module specificationsalgebraic module specificationsmodular systems

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 44486
• scientific article; zbMATH DE number 3956412
• scientific article; zbMATH DE number 3972172
• On the algebra of structured specifications

Cited in

(19)

• Functorial theory of parameterized specifications in a general specification framework
• Institutions for logic programming
• A hidden agenda
• On local modularity variants and \(\Pi\)-institutions
• 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?)
• Generalized Theoroidal Institution Comorphisms
• Heterogeneous Logical Environments for Distributed Specifications
• scientific article; zbMATH DE number 3947607 (Why is no real title available?)
• Foundations for structuring behavioural specifications
• scientific article; zbMATH DE number 1525070 (Why is no real title available?)
• scientific article; zbMATH DE number 1555491 (Why is no real title available?)
• scientific article; zbMATH DE number 3995035 (Why is no real title available?)
• scientific article; zbMATH DE number 860044 (Why is no real title available?)
• Algebraic methods in the compositional analysis of logic programs
• Grothendieck inclusion systems
• On the correctness of modular systems
• Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components

This page was built for publication: Abstract and behaviour module specifications

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