The inscape environment

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.

[1]  James J. Horning,et al.  Some Notes on Putting Formal Specifications to Productive Use , 1982, Sci. Comput. Program..

[2]  B. Lampson,et al.  Organizing software in a distributed environment , 1983, SIGPLAN '83.

[3]  David C. Luckham,et al.  An Overview of Anna, a Specification Language for Ada , 1985, IEEE Software.

[4]  Narain H. Gehani,et al.  Concurrent C , 1986, Softw. Pract. Exp..

[5]  Mary Shaw,et al.  An introduction to the construction and verification of Alphard programs , 1976, ICSE '76.

[6]  David Notkin.  The GANDALF project , 1985, J. Syst. Softw..

[7]  Dewayne E. Perry,et al.  Version control in the Inscape environment , 1987, ICSE '87.

[8]  Gail E. Kaiser,et al.  Infuse: a tool for automatically managing and coordinating source changes in large systems , 1987, CSC '87.

[9]  C. A. R. Hoare.  Programs are predicates , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[10]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[11]  Dewayne E. Perry,et al.  EMPIRICAL STUDY OF SOFTWARE INTERFACE FAULTS - AN UPDATE. , 1987 .

[12]  Jean D. etc. Ichbiah.  Reference Manual for the ADA Programming Language , 1983 .

[13]  Jack C. Wileden,et al.  Interface control and incremental development in the PIC environment , 1985, ICSE '85.

[14]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[15]  J. J. Horning,et al.  PRELIMINARY REPORT ON THE LARCH SHARED LANGUAGE , 1983 .

[16]  Gail E. Kaiser,et al.  Models of software development environments , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[17]  James J. Horning,et al.  The Larch Family of Specification Languages , 1985, IEEE Software.

[18]  Dewayne E. Perry,et al.  EMPIRICAL STUDY OF SOFTWARE INTERFACE FAULTS. , 1985 .

[19]  Gail E. Kaiser,et al.  WORKSPACES AND EXPERIMENTAL DATABASES: AUTOMATED SUPPORT FOR SOFTWARE MAINTENANCE AND EVOLUTION. , 1987 .

[20]  Dewayne E. Perry,et al.  Software interconnection models , 1987, ICSE '87.

[21]  Mary Shaw,et al.  Abstraction and Verification in Alphard: Introduction to Language and Methodology , 1976 .

[22]  M.S. Moriconi,et al.  A Designer/Verifier's Assistant , 1979, IEEE Transactions on Software Engineering.