The kernel of a generic software development environment

Lamsweerde, Axel van; Buyse, M; Delcourt, B.; Delor, E.; Ervier, M; Schayes, M C

doi:10.1145/24208.24232

Cited by 4 publications

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Standardized software components have been developed by use of either the building blocks approach [8] or the patterns approach [9]. Such components may be developed as generic parameterized modules [10], abstract data types [10], deferred classes [10], meta-views [11], modules [12], or other patterns or building blocks.…”

Section: The Notions Of Baseline and Basismentioning

confidence: 99%

A formal approach to perfective software maintenance: System integration using a basis of formal object-oriented components

Rine

1992

Journal of Systems Integration

View full text Add to dashboard Cite

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.

show abstract