Corpus ID: 2615779

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
91 Citations
Modeling and projection in software development
  • 7
Hierarchical modeling of operating system structure and behavior
  • 8
Integrated design, simulation, and verification of real-time systems
  • R. Bagrodia, C. Shen
  • 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
  • R. Bagrodia
  • 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
  • 161
  • PDF
Software uncertainty and the role of CASE in its minimisation and control
  • M. Lehman
  • 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
  • M. Lehman
  • 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
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 11 REFERENCES
SODAS and a methodology for system design
  • 44
  • PDF
SOLߞA Symbolic Language for General-Purpose Systems Simulation
  • 62
  • PDF
SIMULA: an ALGOL-based simulation language
  • 917
  • PDF
Computer simulation of computer system performance
  • 15
A Formal Definition of SOL
  • 34
GPSS III - An Expanded General Purpose Simulator
  • 22
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
...
1
2
...