Toolpack—An Experimental Software Development Environment Research Project
- 1 November 1983
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-9 (6), 673-685
- https://doi.org/10.1109/tse.1983.235432
Abstract
This paper discusses the goals and methods of the Toolpack project and in this context discusses the architecture and design of the software system being produced as the focus of the project. Toolpack is presented as an experimental activity in which a large software tool environment is being created for the purpose of general distribution and then careful study and analysis. The paper begins by explaining the motivation for building integrated tool sets. It then proceeds to explain the basic requirements that an integrated system of tools must satisfy in order to be successful and to remain useful both in practice and as an experimental object. The paper then summarizes the tool capabilities that will be incorporated into the environment. It then goes on to present a careful description of the actual architecture of the Toolpack integrated tool system. Finally the Toolpack project experimental plan is presented, and future plans and directions are summarized.Keywords
This publication has 10 references indexed in Scilit:
- The Cornell program synthesizerCommunications of the ACM, 1981
- Software Environment Research: Directions for the Next Five YearsComputer, 1981
- Anomaly Detection in Concurrent Software by Static Data Flow AnalysisIEEE Transactions on Software Engineering, 1980
- Make — a program for maintaining computer programsSoftware: Practice and Experience, 1979
- The programming language EFLPublished by Association for Computing Machinery (ACM) ,1979
- Mathematical Software ProductionPublished by Elsevier ,1977
- An Algorithm for Structuring FlowgraphsJournal of the ACM, 1977
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976
- RATFOR—a preprocessor for a rational fortranSoftware: Practice and Experience, 1975
- The pfort verifierSoftware: Practice and Experience, 1974