Issue 4 • July 1988
Considers how the meaning of process-oriented formal specifications might be made more apparent through the use of pictorial animation. The approach taken is based on techniques embodied in the software animation system PEEP. The PEEP system gives pictorial representations of the changing states of software as it is executed. It was designed for concurrent applications expressed in a modular multi... View full abstract»
Modula-2 was designed as a successor to Pascal. It provides similar facilities for the description of algorithms and data structures, but differs radically from Pascal in allowing the composition of programs from separately compiled modules in a carefully controlled way. The paper recounts some experiences with implementing the languages for a variety of computers, and describes a collection of to... View full abstract»
Deals with executable descriptions of systems. The prime motivation is to show that functional programming languages are useful in software engineering practice. All kinds of systems, either with or without a state, can be modelled in a simple way. An attempt is made to devise executable models that are amenable to mathematical proofs. Apart from testing, proving is a viable technique for establis... View full abstract»
Cited by: Papers (1)
The quality of software products may be improved by enhancing the performance of any of the varied activities associated with the production of the software. One such activity is project planning. Project planning may be a small part of the total project effort, but will have a large effect on all activities in the project and, therefore, a major impact on the final software quality. Thus the cost... View full abstract»
Aims & Scope
Published from 1986-1996, Software Engineering Journal included original contributions of interest to practitioners, researchers and managers who were engaged in software engineering. It covered reports on practical experience using software engineering methods and tools, and papers on long-term research activities.