A general framework for modular implementations of modular system specifications
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 199-214
- https://doi.org/10.1007/3-540-56610-4_65
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Constraints for behavioural specificationsPublished by Springer Nature ,1991
- Semantical constructions for categories of behavioural specificationsPublished by Springer Nature ,1989
- On recent trends in algebraic specificationPublished by Springer Nature ,1989
- A theory of software reusabilityPublished by Springer Nature ,1988
- Toward formal development of programs from algebraic specifications: Implementations revisitedPublished by Springer Nature ,1987
- Structured algebraic specifications: A Kernel languageTheoretical Computer Science, 1986
- Building specifications in an arbitrary institutionPublished by Springer Nature ,1984
- Introducing institutionsPublished by Springer Nature ,1984