A technique for software module specification with examples
Communications of the ACM - Special 25th Anniversary Issue
Abstract data types and the development of data structures
Communications of the ACM
Communications of the ACM
Composite Structure Design
Report on the programming language Euclid
ACM SIGPLAN Notices
Programming-in-the-Large Versus Programming-in-the-Small
IEEE Transactions on Software Engineering
Structured Analysis for Requirements Definition
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
To study the problems of modifiable software, the Software Technology project has investigated approaches and methodologies that could improve modifiability. To test our approaches tools based on data abstraction-a design and programming language and a module interconnection language-were built and used. The incorporation of the module interconnection language into design altered the traditional model of system building. Introducing novices to our approach led to the formalization of new models of program design, development, and evaluation.