The Inscape Environment
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 02705257,p. 2-12
- https://doi.org/10.1109/icse.1989.714388
Abstract
The lnscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeable about the process of system construction and evolution and that work in symbiosis with the system builders and evolvers. These tools are integrated around the constructive use of formal module interface specifications. We first discuss the problems that Inscapo addresses, outline our research strategies and approaches to solving these problems, and summarize the contributions of the Inscape Environment. We then discuss the major aspects of the Inscape Environment: the specification language, system construction, system evolution, use and reuse, and validation, We illustrate these various components with examples and discussions.Keywords
This publication has 11 references indexed in Scilit:
- Models of software development environmentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Implementing concurrent CSoftware: Practice and Experience, 1992
- The Larch Family of Specification LanguagesIEEE Software, 1985
- An Overview of Anna, a Specification Language for AdaIEEE Software, 1985
- Organizing software in a distributed environmentPublished by Association for Computing Machinery (ACM) ,1983
- Some notes on putting formal specifications to productive useScience of Computer Programming, 1982
- A Designer/Verifier's AssistantIEEE Transactions on Software Engineering, 1979
- The algebraic specification of abstract data typesActa Informatica, 1978
- An Introduction to the Construction and Verification of Alphard ProgramsIEEE Transactions on Software Engineering, 1976
- An axiomatic basis for computer programmingCommunications of the ACM, 1969