A compendium of formal techniques for software maintenance
- 1 January 1993
- journal article
- Published by Institution of Engineering and Technology (IET) in Software Engineering Journal
- Vol. 8 (5) , 253-262
- https://doi.org/10.1049/sej.1993.0031
Abstract
Software maintenance is an important area in practical software engineering that has been largely overlooked by many theoretical computer scientists. This paper gives an overview of formal techniques developed recently to aid the software maintenance process, and in particular reverse engineering and re-engineering. In the future, it is suggested that specifications, rather than programs, should be maintained. The described work provides a mathematical basis for a large collaborative project, which has also been investigating many other aspects of software maintenance.Keywords
This publication has 7 references indexed in Scilit:
- Integrating formal and structured methods in reverse-engineeringPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Reuse and Adaptation of Z SpecificationsPublished by Springer Nature ,1993
- From Programs to Object Code using Logic and Logic ProgrammingPublished by Springer Nature ,1992
- Z++, An Object-Orientated Extension To ZPublished by Springer Nature ,1991
- From Programs to Z SpecificationsPublished by Springer Nature ,1990
- CICS/ESA 3.1 ExperiencesPublished by Springer Nature ,1990
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986