|
|||||
|
|
A formal approach to perfective software maintenance: System integration using a basis of formal object-oriented components |
|
| Authors: | David Rine |
| Affiliation: | (1) Department of Computer Science, School of Information Technology and Engineering, George Mason University, 22030-4444 Fairfax, Virginia |
| Abstract: | We investigate how a formalism known as a basis and common to many areas of applied mathematics and engineering can be applied to perfective maintenance and the integration of application systems in software engineering, using an object-oriented approach. It is concluded that this formalism serves as a mathematical model for perfective software maintenance and software systems integration activities under object-oriented development. Theorems and properties about the model are reported as guides to software maintenance. The model and formal maintenance techniques have been applied to a software system in the management information systems area to demonstrate this approach to perfective maintenance and to assist in validating the model. |
| Keywords: | Perfective maintenance basis baseline integration of software components software system assembly object-oriented inheritance as an integration function object-oriented development configuration control formal methods management information systems building common software systems |
| 本文献已被 SpringerLink 等数据库收录！ | |