The Rigorous Development of a System Version Control Program
- 1 March 1984
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-10 (2) , 143-154
- https://doi.org/10.1109/tse.1984.5010216
Abstract
A rigorous approach to software development is followed in developing a program to control the various components and versions of systems. This particular approach to systematic program development is known as the Vienna Development Method (VDM). This paper documerits the author's early experiences with VDM on a small, yet nontrivial, application. The functional specification of the version control system is presented in detail. Design decisions taken for a prototype implementation are also included. The version control program developed is based upon the Gandalf System Version Control Environment of Carnegie-Mellon University. Both that system and the subject of this case study support the most common forms of component interdependency relations, and methods of system evolution.Keywords
This publication has 4 references indexed in Scilit:
- Robust data typesActa Informatica, 1982
- The Representation of Families of Software Systems.Published by Defense Technical Information Center (DTIC) ,1979
- The UNIX Time-Sharing System†Bell System Technical Journal, 1978
- A Theorem on Boolean MatricesJournal of the ACM, 1962