|
106
|
Signature Matching: a Tool for Using Software Libraries
– Amy Moormann Zaremski, Jeannette M. Wing
- 1995
|
|
1
|
Subtyping and Inheritance in Object-Oriented Programming
– Stoyan Kurtev
- 2000
|
|
62
|
How the design of JML accommodates both runtime assertion checking and formal verification
– Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
- 2003
|
|
7
|
Retrieving Software Components That Minimize Adaptation Effort
– Lamia Labed Jilani, Jules Desharnais, Rym Mili, Ali Mili
- 1997
|
|
4
|
A Calculus of Program Modifications
– A Mili, M Frappier, J Desharnais, A. Mili
- 1997
|
|
25
|
An Overview of Larch/C++: Behavioral Specifications for C++ Modules
– Gary T. Leavens
- 1996
|
|
108
|
Forcing behavioral subtyping through specification inheritance
– Krishna Kishore Dhara, Krishna Kishore Dhara, Gary T. Leavens, Gary T. Leavens
- 1996
|
|
29
|
Component Interoperability
– Antonio Vallecillo, Juan Hernandez, Jose M. Troya
- 2000
|
|
16
|
Supporting Component-Based Software Development with Active Component Repository Systems
– Yunwen Ye
- 2001
|
|
|
Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs
– Gary T. Leavens, William E. Weihl
- 1994
|
|
15
|
Behavioural Subtyping Relations for Object-Oriented Formalisms
– Clemens Fischer, Heike Wehrheim
- 2000
|
|
44
|
Specification and verification challenges for sequential object-oriented programs
– Gary T. Leavens, K. Rustan M. Leino, Peter Müller
|
|
16
|
Efficient Specification-Based Component Retrieval
– John Penix, Perry Alexander
- 1996
|
|
4
|
Trading for COTS Components in Open Environments
– Luis Iribarne, José M. Troya, Antonio Vallecillo
- 2001
|
|
2
|
Type Management: A Key to Software Reuse in Open Distributed Systems
– B. Christiansen, M. Münke, K. Müller-Jones, W. Lamersdorf
- 1997
|
|
5
|
Equational reasoning with subtypes
– Gary T. Leavens, Don Pigozzi
- 2002
|
|
13
|
Class Refinement as Semantics of Correct Object Substitutability
– Ralph-Johan Back, Anna Mikhajlova, Joakim Von Wright
|
|
32
|
An Evolutionary Approach to Constructing Effective Software Reuse Repositories
– Scott Henninger
- 1997
|
|
19
|
Supporting the Construction and Evolution of Component Repositories
– Scott Henninger
- 1996
|
