Software engineering (2nd ed.)
Software engineering (2nd ed.)
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
Program Transformation Systems
ACM Computing Surveys (CSUR)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Software Engineering Economics
Software Engineering Economics
Graph-Grammars and Their Application to Computer Science
Graph-Grammars and Their Application to Computer Science
Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification
IEEE Transactions on Software Engineering
Replaying development history to assess the effectiveness of change propagation tools
Empirical Software Engineering
| Hi-index | 0.00 |
An integrated life-cycle model is presented for use in a software maintenance environment. The model represents information about the development and maintenance of software systems, emphasizing relationships between different phases of the software life cycle. It provides the basis for automated tools to assist maintenance personnel in making changes to existing software systems. The model is independent of particular specification, design, and programming languages because it represents only certain 'basic' semantic properties of software systems: control flow, data flow, and data structure. The software development processes by which one phase of the software life cycle is derived from another are represented by graph rewriting rules, which indicate how various components of a software system have been implemented. This approach permits analysis of the basic properties of a software system throughout the software life cycle. Examples are given to illustrate the integrated software life-cycle model during evolution.