Iterative multi-level modelling. A methodology for computer system design
@inproceedings{Zurcher1968IterativeMM, title={Iterative multi-level modelling. A methodology for computer system design}, author={F. Zurcher and B. Randell}, booktitle={IFIP Congress}, year={1968} }
The paper presents a method of modelling a computer system design as it evolves, so that evaluation can be made an integral part of the design process. The paper introduces the concept of concurrent existence, within a single model, of several representations of the system being modelled, at differing levels of abstraction. Thus important design decisions are expressed directly in terms of appropriately abstract quantities, facilitating understanding, validation, and modification of the system… Expand
Topics from this paper
91 Citations
Integrated design, simulation, and verification of real-time systems
- Computer Science
- [1991] Proceedings. 11th International Conference on Distributed Computing Systems
- 1991
- 6
An integrated approach to the design and performance evaluation of distributed systems
- Computer Science
- Systems Integration '90. Proceedings of the First International Conference on Systems Integration
- 1990
- 7
High Level System Design and Analysis Using Abstract State Machines
- Computer Science
- FM-Trends
- 1998
- 161
- PDF
A Paradigm for the Behavioural Modelling of Software Processes using System Dynamics
- Computer Science
- 2001
- 24
- PDF
Software uncertainty and the role of CASE in its minimisation and control
- Computer Science
- Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'
- 1990
- 5
Uncertainty in computer application is certain-software engineering as a control
- Computer Science
- COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems
- 1990
- 12
- PDF
References
SHOWING 1-10 OF 11 REFERENCES
SOLߞA Symbolic Language for General-Purpose Systems Simulation
- Computer Science
- IEEE Trans. Electron. Comput.
- 1964
- 62
- PDF
Experiments in Software Modelling
- AFIPS Conference Proceedings Vol 31,
- 1967
The Structure of the T. H. E. Multi-programming System
- ACM Symp. on Operating System Principles
- 1967
SOLA Symbolic Language for General Purpose Systems
- Simulation IEEE Trans. EC
- 1964
SOLA Symbolic Language for General Purpose Systems Simulation IEEE Trans
- SOLA Symbolic Language for General Purpose Systems Simulation IEEE Trans
- 1964