Objects, associations and subsystems: A hierarchical approach to encapsulation
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 324-343
- https://doi.org/10.1007/bfb0053385
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Executable object modeling with statechartsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Enhancing object-oriented methods with formal notationsTheory and Practice of Object Systems, 1996
- An imperative object calculusPublished by Springer Nature ,1995
- Temporal theories as modularisation units for concurrent system specificationFormal Aspects of Computing, 1992
- Describing, structuring and implementing objectsPublished by Springer Nature ,1991
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Introducing institutionsPublished by Springer Nature ,1984