Interoperability Publications

Papers published in: 1999 1998 1997 1996 1995 1994 1993 and earlier


Barbara H. Liskov and Jeannette M. Wing
"Behavioral Subtyping Using Invariants and Constraints"
In H. Bowman and J. Derrick (Eds.), Formal Methods for Distributed Processing: An Object Oriented Approach. Cambridge University Press. Also technical report CMU-CS-99-156.

Jeannette M. Wing and John Ockerbloom
"Respectful Type Converters for Mutable Types"
In G. Leavens & M. Sitaraman (Eds.), Foundations of Component Based Systems (pp. 161-186). Cambridge University Press, 1999.
Also technical report CMU-CS-99-142.

Robert DeLine
"A Catalog of Techniques for Resolving Packaging Mismatch"
Proceedings of the Symposium on Software Reusability. Los Angeles, California, 1999.

Robert DeLine
"Avoiding Packaging Mismatch with Flexible Packaging"
Proceedings of the 21st International Conference on Software Engineering (ICSE '99).


Jeannette M. Wing and John Ockerbloom
"Respectful Type Converters"
IEEE Transactions on Software Engineering, November 1998. Also technical report CMU-CS-98-130.

Gary Leavens and Jeannette M. Wing
"Protective Interface Specifications"
Formal Aspects of Computing, March 1998.


Ralph Melton and David Garlan
"Architectural Unification"
Proceedings of the CASCON '97, November 1997.

David Garlan, Robert T. Monroe, and David Wile
"ACME: An Architecture Description Interchange Language"
Proceedings of the CASCON '97, November 1997.

Bridget Spitznagel and David Garlan
"Architecture-Based Performance Analysis"
Submitted for publication, September 1997.

David Garlan and Zhenyu Wang
"A Case Study in Software Architecture Interchange"
Submitted for publication.

Amy Zaremski and Jeanette Wing
"Specification Matching of Software Components"
ACM Transactions on Software Engineering and Methodology, May 1997.

Jeannette M. Wing
"Subtyping for Distributed Object Stores"
Proceedings of the Second IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems, 1997. Extended abstract of invited talk. Also technical report CMU-CS-97-121.

Robert T. Monroe, Andrew Kompanek, Ralph Melton, and David Garlan
"Architectural Styles, Design Patterns, and Objects"
IEEE Software, January 1997, pp. 43-52.

B.H. Liskov and J.M. Wing
"A Behavioral Notion of Subtyping"



A.M. Zaremski and J.M. Wing
"Specification Matching of Software Components"
Proceedings of the SIGSOFT Foundations of Software Engineering, October 1995.
Also technical report CMU-CS-95-127.

A.M. Zaremski and J.M. Wing
"Signature Matching, a Tool for Software Libraries"
ACM Transactions on Software Engineering and Methodology, April 1995.


David Garlan, Robert Allen, and John Ockerbloom
"Exploiting Style in Architectural Design Environments"

Proceedings of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, December 1994.

1993 or earlier

D. Notkin, D. Garlan, W.G. Griswold, and K. Sullivan
"Adding Implicit Invocation to Languages: Three Approaches"
Proceedings of the JSSST Symposium on Object Technologies for Advanced Software, Springer-Verlag LNCS 742, November 1993

See also: Venari Home page

Brought to you by the Composable Software Systems Research Group of the School of Computer Science at Carnegie Mellon University.

Email: Maintainer

Modified: 25-Jul-2002