ACM Computing Surveys (CSUR)
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
Monitors: an operating system structuring concept
Communications of the ACM
The Logical Design of Operating Systems
The Logical Design of Operating Systems
Operating system principles
Systematic Programming: An Introduction
Systematic Programming: An Introduction
Principles of Program Design
Reliable software through composite design
Reliable software through composite design
Cooperating Sequential Processes, Technical Report EWD-123
Cooperating Sequential Processes, Technical Report EWD-123
Search and rescue: a case study of design flexibility
WSC '88 Proceedings of the 20th conference on Winter simulation
Software engineerng applied to discrete event simulations
WSC '86 Proceedings of the 18th conference on Winter simulation
Application of modern software techniques to modeling and simulation
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
Hi-index | 0.00 |
A tutorial survey is made of some techniques in Software Engineering and their relevance to simulation modelling. Various topics are discussed with examples. In the area of Systems Design the topics are concurrency, deadlock and input verification; in the area of Program Design they are modular programming, stepwise refinement and the Jackson method; in the area of Program Verification, structured coding and program tracing and in the area of System Optimization, determining storage needs and monitoring CPU usage.