Designing software for ease of extension and contraction
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Rapid prototyping by means of abstract module specifications written as trace axioms
Proceedings of the workshop on Rapid prototyping
| Hi-index | 0.00 |
The authors are engaged in a project to produce a precise description of a design for a family of operating systems. The design decisions are being expressed by means of formal module specifications. In an attempt to write a concise specification of one of the most critical modules, a “virtual memory mechanism”, some previously discussed specification techniques proved to be inadequate. The specification was much too large. Through a series of improvements in both the design and the specification techniques we have achieved a much more compact description. This paper begins with the motivation for the design, explains the problems discovered in earlier approaches, and describes the improvements that were made. Finally, the design and its specification are explained. Another version of this paper has been submitted to the Eurocomp held in London, Sept. 14-16