|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Reference Manual for the Ada Programming Language. Draft Revised MIL-STD 1825. United States Department of Defense, July 1982.
|
| |
2
|
W. H. Gardner. Gerard Manley Hopkins: A Selection of his Poems and Prose, Harmond.sworth, Middlesex: Penguin Books, 1953.
|
| |
3
|
|
| |
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.
|
| |
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.
|
| |
6
|
I. V. Guttag and J. J. Horning. "The Algebraic Specification of Abstract Data Types." Acta Informatica 10:1 (1978). pp 27-52.
|
| |
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.
|
| |
8
|
I. V. Guttag and J. J. Homing. Preliminary Report on the Larch Shared Language. Xerox PARC Technical Report, CSL-83-6, December 1983.
|
| |
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.
|
| |
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.
|
| |
11
|
Nice Habermann, et al. The Second Compendium of Gondolf Documentation. Department of Computer Science, Carnegie- Mellon University. 24 May 1982.
|
 |
12
|
|
| |
13
|
C. A. R. Hoare. "Programs are Predicates." In Mathematical Logic and Programming Languages. Prentice-Ha& 1985.
|
| |
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.
|
| |
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.
|
| |
16
|
|
| |
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.
|
| |
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.
|
| |
19
|
Mark S. Moriconi. "A Designer/Verifier's Assistant" IEEE Transactions on Software Engineering, SE-S:4 (July 1979). pp 387-401.
|
| |
20
|
Mark S. Moriconi. Personal communication.
|
| |
21
|
David S. Notkin. "The Gandalf Project." The Journul of Systems and Software, 5:2 (May 1985). pp. 91-105.
|
| |
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.
|
| |
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).
|
| |
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.
|
| |
25
|
|
| |
26
|
|
| |
27
|
|
| |
28
|
|
| |
29
|
|
| |
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.
|
CITED BY 61
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Rebecca E. Grinter , James D. Herbsleb , Dewayne E. Perry, The geography of coordination: dealing with distance in R&D work, Proceedings of the international ACM SIGGROUP conference on Supporting group work, p.306-315, November 14-17, 1999, Phoenix, Arizona, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Alex Borgida , John Mylopoulos , Raymond Reiter, “…And nothing else changes”: the frame problem in procedure specifications, Proceedings of the 15th international conference on Software Engineering, p.303-314, May 17-21, 1993, Baltimore, Maryland, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nenad Medvidovic , David S. Rosenblum , Richard N. Taylor, A language and environment for architecture-based software development and evolution, Proceedings of the 21st international conference on Software engineering, p.44-53, May 16-22, 1999, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
Francois Bronsard , Douglas Bryan , W. Kozaczynski , Edy S. Liongosari , Jim Q. Ning , Ásgeir Ólafsson , John W. Wetterstrand, Toward software plug-and-play, ACM SIGSOFT Software Engineering Notes, v.22 n.3, p.19-29, May 1997
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Steven S. Popovich , William M. Schell , Dewayne E. Perry, Experiences with an environment generation system, Proceedings of the 13th international conference on Software engineering, p.219-224, May 13-17, 1991, Austin, Texas, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mitchell Lubars , Greg Meredith , Colin Potts , Charles Richter, Object-oriented analysis for evolving systems, Proceedings of the 14th international conference on Software engineering, p.173-185, May 11-15, 1992, Melbourne, Australia
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.2