Article

Free access

The inscape environment

Author:

Dewayne E. PerryAuthors Info & Claims

ICSE '89: Proceedings of the 11th international conference on Software engineering

Pages 2 - 11

https://doi.org/10.1145/74587.74588

Published: 15 May 1989 Publication History

PDF eReader

References

[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.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[13]

C. A. R. Hoare. "Programs are Predicates." In Mathematical Logic and Programming Languages. Prentice-Ha& 1985.]]

Digital Library

Google Scholar

[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).]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[19]

Mark S. Moriconi. "A Designer/Verifier's Assistant" IEEE Transactions on Software Engineering, SE-S:4 (July 1979). pp 387-401.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[26]

Dewayne E. Perry. "Software Interconnection Models." Proceedings of the 9th International Conference on Softwore Engineering, Monterey CA, March 1987. pp 61-69.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[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]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

Cited By

View all

Gonçalves RBatory DSobral J(2016)ReFlOSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0403-715:2(377-395)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.1007/s10270-014-0403-7
Barik TLubick KMurphy-Hill EBertolino ACanfora GElbaum S(2015)Commit bubblesProceedings of the 37th International Conference on Software Engineering - Volume 210.5555/2819009.2819123(631-634)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2819009.2819123
Kalvala SWarburton RLacey D(2009)Program transformations using temporal logic side conditionsACM Transactions on Programming Languages and Systems10.1145/1516507.151650931:4(1-48)Online publication date: 26-May-2009
https://dl.acm.org/doi/10.1145/1516507.1516509
Show More Cited By

Index Terms

The inscape environment
1. Software and its engineering
  1. Software creation and management
  2. Software notations and tools
    1. Development frameworks and environments
    2. System description languages
      1. Specification languages
2. Theory of computation
  1. Semantics and reasoning
    1. Program reasoning
      1. Program specifications

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 verification

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 ...
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 deployment
This 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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '89: Proceedings of the 11th international conference on Software engineering

May 1989

406 pages

ISBN:0818619414

DOI:10.1145/74587

Chairmen:
Larry Druffel
Software Engineering Institute
,
Dick Fairley
Software Engineering Institute
,
Dines Bjørner

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 May 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ICSE89

Sponsor:

SIGSOFT

ICSE89: Int'l Conference on Software Engineering

Pennsylvania, Pittsburgh, USA

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

78
Total Citations
View Citations
1,028
Total Downloads

Downloads (Last 12 months)179
Downloads (Last 6 weeks)24

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gonçalves RBatory DSobral J(2016)ReFlOSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0403-715:2(377-395)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.1007/s10270-014-0403-7
Barik TLubick KMurphy-Hill EBertolino ACanfora GElbaum S(2015)Commit bubblesProceedings of the 37th International Conference on Software Engineering - Volume 210.5555/2819009.2819123(631-634)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2819009.2819123
Kalvala SWarburton RLacey D(2009)Program transformations using temporal logic side conditionsACM Transactions on Programming Languages and Systems10.1145/1516507.151650931:4(1-48)Online publication date: 26-May-2009
https://dl.acm.org/doi/10.1145/1516507.1516509
Nguyen T(2009)Software Configuration ManagementWiley Encyclopedia of Computer Science and Engineering10.1002/9780470050118.ecse379(2563-2575)Online publication date: 16-Mar-2009
https://doi.org/10.1002/9780470050118.ecse379
Alexa MBoubekeur T(2008)Subdivision shadingACM Transactions on Graphics10.1145/1409060.140909527:5(1-4)Online publication date: 1-Dec-2008
https://dl.acm.org/doi/10.1145/1409060.1409095
de Carvalho-Junior FLins R(2008)An Institutional Theory for #-ComponentsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2007.08.029195(113-132)Online publication date: 1-Jan-2008
https://dl.acm.org/doi/10.1016/j.entcs.2007.08.029
Gove D(2007)CPU2006 working set sizeACM SIGARCH Computer Architecture News10.1145/1241601.124161935:1(90-96)Online publication date: 1-Mar-2007
https://dl.acm.org/doi/10.1145/1241601.1241619
Szilas NBarles JKavakli M(2007)An implementation of real-time 3D interactive dramaComputers in Entertainment10.1145/1236224.12362335:1(5-es)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.1145/1236224.1236233
Barros LMusse S(2007)Planning algorithms for interactive storytellingComputers in Entertainment10.1145/1236224.12362325:1(4-es)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.1145/1236224.1236232
Andrews MZhang L(2006)Logarithmic hardness of the undirected edge-disjoint paths problemJournal of the ACM10.1145/1183907.118391053:5(745-761)Online publication date: 1-Sep-2006
https://dl.acm.org/doi/10.1145/1183907.1183910
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

The logic of propagation in the inscape environment

The logic of propagation in the inscape environment

A network-based development environment for Ada