Now showing items 1-3 of 3
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis
Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed ...
Computer Aided Evolutionary Design for Software Engineering
We report on a partially implemented interactive computer aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutionary character of software systems. ...
Programming Viewed as an Engineering Activity
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the behavior of the ...