References

FKS95a

B. Fischer, M. Kievernagel, and G. Snelting.
''Deduction-Based Software Component Retrieval''.
In J. Köhler, F. Giunchiglia, C. Green, and C. Walther, (eds.), Working Notes of the IJCAI-95 Workshop: Formal Approaches to the Reuse of Plans, Proofs, and Programs, pp. 1-5, Montréal, August 1995.

FKS95b

B. Fischer, M. Kievernagel, and W. Struckmann.
''High-precision retrieval for high-quality software''.
In I. M. Marshall, W. B. Samson, and D. G. Edgar-Nevill, (eds.), Proc. 4th Software Quality Conf. , pp. 80-88, Dundee, July 1995. University of Abertay Dundee.

FKS95c

B. Fischer, M. Kievernagel, and W. Struckmann.
''VCR: A VDM-based Software Component Retrieval Tool''.
In M. Wirsing, (ed.), Working Notes of the ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, pp. 30-38, Seattle, Wash., April 1995.

FS97

B. Fischer and J. M. P. Schumann.
''SETHEO Goes Software Engineering: Application of ATP to Software Reuse''.
In W. McCune, (ed.), Proc. 14th CADE, LNAI 1249, Townsville, July 1997. Springer.

Jac94

D. Jackson.
''Abstract Model Checking of Infinite Specifications''.
In M. Naftalin, T. Denvir, and M. Bertran, (eds.), Proc. 2nd FME, LNCS 873, pp. 519-531, Barcelona, October 1994. Springer.

JC93

J. Jeng and B. H. C. Cheng.
''Using formal methods to construct a software component library''.
In I. Sommerville and M. Paul, (eds.), Proc. 4th ESEC, LNCS 717, pp. 397-417, Garmisch-Partenkirchen, September 1993. Springer.

JM97

J.-M. Jézéquel and B. Meyer.
''Design by Contract: The Lessons of Ariane''.
IEEE Computer, 30(1):129-130, January 1997.

Knu93

D. E. Knuth.
The Stanford GraphBase: A Platform for Combinatorial Computing.
ACM Press, New York, 1993.

KRT87

S. Katz, C. A. Richter, and K. S. The.
''PARIS: A System for Reusing Partially Interpreted Schemas''.
In Proc. 9th ICSE, pp. 377-385, Montery, CA, March 1987. IEEE Computer Society Press.

Lea91

G. T. Leavens.
''Modular Specification and Verification of Object-Oriented Programs''.
IEEE Software, 8(4):72-80, July 1991.

Lio96

J. L. Lions et. al.
Ariane 5 Flight 501 Failure Report, 1996.

LP⁺94

M. Lowry, A. Philpot, T. Pressburger, and I. Underwood.
''AMPHION: automatic programming for scientific subroutine libraries''.
In Z. W. Ras and M. Zemankova, (eds.), Proc. 8th Intl. Symp. on Methodologies for Intelligent Systems, LNAI 869, pp. 326-335. Springer, October 1994.

LW94

B. Liskov and J. M. Wing.
''A Behavioral Notion of Subtyping''.
ACM TOPLAS, 16(6):1811-1841, November 1994.

Mey92

B. Meyer.
''Applying ``Design by Contract''''.
IEEE Computer, 25(10):40-51, October 1992.

Mey94

B. Meyer.
Reusable Software: The Base Object-Oriented Component Libraries.
Prentice-Hall, Englewood Cliffs, 1994.

MM91

P. Manhart and S. Meggendorfer.
''A knowledge and deduction based software retrieval tool''.
In Proc. 4th Intl. Symp. on Artificial Intelligence, pp. 29-36, 1991.

MMM94

A. Mili, R. Mili, and R. Mittermeir.
''Storing and Retrieving Software Components: A Refinement-Based System''.
In B. Fadini, (ed.), Proc. 16th ICSE, pp. 91-102, Sorrento, Italy, May 1994. IEEE Computer Society Press.

MS96

D. R. Musser and A. Saini.
STL Tutorial and Reference Guide.
Addison-Wesley, 1996.

MW95

A. Moorman Zaremski and J. M. Wing.
''Specification Matching of Software Components''.
In G. E. Kaiser, (ed.), Proc. 3rd FSE, pp. 6-17, Washington, DC, October 1995. ACM Press.

Per87

D. E. Perry.
''The Inscape Environment''.
In Proc. 11th ICSE, pp. 2-12. IEEE Computer Society Press, May 1987.

PH95

A. Poetzsch-Heffter.
''Interface Specification for Program Modules Supporting Selective Updates and Sharing and their Use in Correctness Proofs''.
Softwaretechnik-Trends, 15(3):116-125, October 1995.
Proc. Softwaretechnik 95, G. Snelting (ed.).

Rit91

M. Rittri.
''Using types as search keys in function libraries''.
JFP, 1(1):71-89, January 1991.

RW91

E. J. Rollins and J. M. Wing.
''Specifications as Search Keys for Software Libraries''.
In K. Furukawa, (ed.), Proc. 8th Intl. Conf. Symp. Logic Programming, pp. 173-187, Paris, June 24-28 1991. MIT Press.

Ste91

R. A. Steigerwald.
Reusable Software Component Retrieval via Normalized Algebraic Specifications.
PhD thesis, Naval Postgraduate School, December 1991.

SW94

M. Sitaraman and B. W. Weide.
''Special Feature: Component-Based Software Using RESOLVE''.
ACM SIGSOFT Software Engineering Notes, 19(4):21-22, October 1994.

WWC92

G. Wiederhold, P. Wegner, and S. Ceri.
''Toward megaprogramming''.
Communications of the ACM, 35(11):89-99, November 1992.