POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Type checking, separate compilation and reusability
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Software development control based on module interconnection
ICSE '79 Proceedings of the 4th international conference on Software engineering
Toolpack - an experimental software development environment research project
ICSE '82 Proceedings of the 6th international conference on Software engineering
Nesting in Ada programs is for the birds
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Ada-Based support for programming-in-the-Large
IEEE Software
Programming-in-the-Large Versus Programming-in-the-Small
IEEE Transactions on Software Engineering
Interpretation in a tool-fragment environment
ICSE '88 Proceedings of the 10th international conference on Software engineering
ICSE '89 Proceedings of the 11th international conference on Software engineering
Facilitating process prototyping by controlling the impact of change
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
A comparative evaluation of object definition techniques for large prototype systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |
The PIC environment is designed to provide support for interface control that facilitates incremental development of a software system. Interface control, the description and analysis of relationships among system components, is important from the earliest stages of the software development process right through to the implementation and maintenance stages. Incremental development, wherein a software system is produced through a sequence of relatively small steps and progress may be rigorously and thoroughly assessed after each step, must be accommodated by any realistic model of the software development process. This paper focuses on the analysis component of the PIC environment and demonstrates how it contributes to precise interface control capabilities while supporting an incremental software development process.