- 1.Reference Manual for the Ada Programming Language. Draft Revised MIL-STD 1825. United States Department of Defense, July 1982.]]Google Scholar
- 2.W. H. Gardner. Gerard Manley Hopkins: A Selection of his Poems and Prose, Harmond.sworth, Middlesex: Penguin Books, 1953.]]Google Scholar
- 3.N. H. Gehani and W. D. Roome. 'Concurrent C." To appear in Software -Practice and Experience.]] Google ScholarDigital Library
- 4.J. A. Goguen, J. W. Thatcher, and E. G. Wagner. "An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types." in Current Trends in Programming Methodology. Volume IV. (ed Raymond T. Yeh), Prentice-Hall, 1978.]]Google Scholar
- 5.J. A. Goguen and J. J. Tardo. "An Introduction IO OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications." Proceedings of a Conference on Specijications of Reliable Software, IEEE Computer Society, April 1979. pp 170-189.]]Google Scholar
- 6.I. V. Guttag and J. J. Horning. "The Algebraic Specification of Abstract Data Types." Acta Informatica 10:1 (1978). pp 27-52.]]Google ScholarDigital Library
- 7.J. Guttag, J. Horning and J. Wing. "Some Notes on Putting Formal Specifications to Productive Use." Science of Computer Programming 2 (1982). pp 53-68.]]Google Scholar
- 8.I. V. Guttag and J. J. Homing. Preliminary Report on the Larch Shared Language. Xerox PARC Technical Report, CSL-83-6, December 1983.]]Google Scholar
- 9.John V. Guttag, James, J. Horning, and Jeannette M. Wing. "The Larch Family of Specification Languages." IEEE Sofnuare, 2:s (September 1985). pp. 24-36.]]Google Scholar
- 10.A. Nice Habermann and Dewayne E. Perry. "System Composition and Version Control for Ada." In Software Engineering Environments. H. Huenke, editor. Notth-Holland, 1981. pp 331-343.]]Google Scholar
- 11.Nice Habermann, et al. The Second Compendium of Gondolf Documentation. Department of Computer Science, Carnegie- Mellon University. 24 May 1982.]]Google Scholar
- 12.C. A. R. Hoare. "An Axiomatic Approach to Computer programming. " CACM 12:lO (October 1969). pp 576-580, 583.]] Google ScholarDigital Library
- 13.C. A. R. Hoare. "Programs are Predicates." In Mathematical Logic and Programming Languages. Prentice-Ha& 1985.]] Google ScholarDigital Library
- 14.Gail E. Kaiser and A. Nice Habermann. "An Environment for System Version Control." Digest of Papers Spring CompCon '83, IEEE Computer Society Press, February 1983. pp 415-420.]]Google Scholar
- 15.Gail E. Kaiser and Dewayne E. Perry. "Workspaces and ExpermentaI Databases: Automated Support for Software Maintenance and Evolution." Proceedings for the Conference on Software Maintenance - 1987, Austin TX, September 1987. pp 108-114.]]Google Scholar
- 16.Butler W. Lampson and Eric E. Schmidt. "Organizing Software in a Distributed Environment." Proceedings of the SIGPLAN '83 Symposium on Programming Language Issues in Sofhvare Systems. SIGPLAh' Notices, 18:6 (June 1983).]] Google ScholarDigital Library
- 17.B. H. Liskov and S. N. Zilles. "An Introduction to Formal Specifications of Data Abstractions." in Current Trends in Programming Methodolgy. Volume 1. (ed Raymond T. Yeh), Prentice-Hall, 1977.]]Google Scholar
- 18.David Luckham and Friedrich W. van Henke. "An Overview of Anna, A Specification Language for Ada." IEEE SofnYare. 2:2 (March 1985). pp. 24-33.]]Google ScholarDigital Library
- 19.Mark S. Moriconi. "A Designer/Verifier's Assistant" IEEE Transactions on Software Engineering, SE-S:4 (July 1979). pp 387-401.]]Google ScholarDigital Library
- 20.Mark S. Moriconi. Personal communication.]]Google Scholar
- 21.David S. Notkin. "The Gandalf Project." The Journul of Systems and Software, 5:2 (May 1985). pp. 91-105.]]Google ScholarDigital Library
- 22.D. E. Perry and W. M. Evangelist. "An Empirical Study of Software Interface Faults." International Symposium on New Directions in Computing (IEEE), Tronclheim, Norway, August 12-14, 1985.]]Google Scholar
- 23.Dewayne E. Perry. "The Inscape Environment and Programmer Productivity." Proceedings of the IEEE Global Telecommunications Conference, Houston TX, December 1986. pp 428-434 (12.6.1 - 12.6.7).]]Google Scholar
- 24.Dewayne E. Perry and W. Michael Evangelist. "An Empirical Study of Software Interface Faults - An Update." Proceedings of the Twentieth Annual Hawaii International Conference on Systems Sciences, Kona, Hawaii, January 1987. Volume II, pp 113-126.]]Google Scholar
- 25.Dewayne E. Perry and Gail E. Kaiser. Infuse: A Tool for Automatically Managing and Coordinating Source Changes in Large Systems." Proceedings of the 1987 ACM Computer Science Conference, St. Louis MO, February 1987. pp 292-299.]] Google ScholarDigital Library
- 26.Dewayne E. Perry. "Software Interconnection Models." Proceedings of the 9th International Conference on Softwore Engineering, Monterey CA, March 1987. pp 61-69.]] Google ScholarDigital Library
- 27.Dewayne E. Perry. "Version Control in the Jnscape Environment." Proceedings of the 9th International Conference on Softwore Engineering, Monterey CA, March 1987. pp 142-149.]] Google ScholarDigital Library
- 28.Dewayne E. Perry and Gail E. Kaiser. "Models of Software Development Environments." Proceedings of the IOth International Conference on Softwore Engineering, RafEes City, Singapore, April 1988. pp 60-68.]] Google ScholarDigital Library
- 29.A. L. Wolf, L. S. Clarke, and J. C. Wileden. "Interface Control and Incremental Development in the PIC Environment", Proceedings of the 8th International Conference on Software Engineering," London UK, August 1985. pp 75-82]] Google ScholarDigital Library
- 30.W. A. Wulf, R. L. London, M. Shaw. "Abstraction and Verification in Alphard: Introduction to Language and Methodology." IEEE Transactions on Software Engineering, Vol. SE-2:4 (December 1976). pp 253-265.]]Google ScholarDigital Library
Index Terms
- The inscape environment
Recommendations
The logic of propagation in the inscape environment
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the “constructive use” of formal module interface specifications - that is, given ...
The logic of propagation in the inscape environment
TAV3: Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verificationThe Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the “constructive use” of formal module interface specifications - that is, given ...
A network-based development environment for Ada
TRI-Ada '89: Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deploymentThis paper describes the development environment achieved by integrating an Ada toolset with the Network Software Environment (NSE™). The NSE is a CASE product developed at Sun Microsystems, Inc. that supports parallel software development in a ...
Comments