Abstract and behaviour module specifications
From MaRDI portal
Recommendations
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)