Abstract and behaviour module specifications

DOI10.1017/S0960129598002606zbMath0923.68089OpenAlexW2028240423MaRDI QIDQ4237907

Michael Baldamus, Felix Cornelius, 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

modular systemsalgebraic module specificationsabstract module specifications

Mathematics Subject Classification ID

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

Related Items

Functorial theory of parameterized specifications in a general specification framework, Generalized Theoroidal Institution Comorphisms, Heterogeneous Logical Environments for Distributed Specifications, Algebraic methods in the compositional analysis of logic programs, Institutions for logic programming, Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components, On the correctness of modular systems, A hidden agenda