References

AAG95

G. Abowd, R. Allen, and D. Garlan.
Formalizing Style to Understand Descriptions of Software Architecture.
ACM Transactions on Software Engineering and Methodology, 4(4):319-364, October 1995.

AG96

K. Arnold and J. Gosling.
The Java Programming Language.
Addison-Wesley, 1996.

BB92

G. Berry and G. Boudol.
The Chemical Abstract Machine.
Theoretical Computer Science, 96:217-248, 1992.

BGHL91

A. Birrell, J. Guttag, J. Horning, and R. Levin.
Thread synchronization: a Formal Specification.
In G. Nelson, editor, System Programming with Modula-3, chapter 5, pages 119-129. Prentice-Hall, 1991.

BW96

A. Brown and K. Wallnau.
Engineering of Component-Based Systems.
In Alan W. Brown, editor, Component Based Software Engineering, pages 7-15. IEEE Computer Society Press, 1996.

CCP97

P. Ciaccia, P. Ciancarini, and W. Penzo.
Formal Requirements and Design Specifications: The Clepsydra Methodology.
Int. Journal on Software Engineering and Knowledge Engineering, 7(1):1-42, March 1997.

CKTV96

P. Ciancarini, A. Knoche, R. Tolksdorf, and F. Vitali.
PageSpace : An Architecture to Coordinate Distributed Applications on the Web.
Computer Networks and ISDN Systems, 28(7-11):941-952, 1996.

CL94a

Y. Cheon and G. T. Leavens.
A Quick Overview of Larch/C++.
Journal of Object-Oriented Programming, 7(6):39-49, October 1994.

CL94b

Y. Cheon and G. T. Leavens.
The Larch/Smalltalk Interface Specification Language.
ACM Transactions on Software Engineering and Methodology, 3(3):221-253, July 1994.

Cle96

P. Clements.
From Subroutine to Subsystems: Component-Based Software Development.
In Alan W. Brown, editor, Component Based Software Engineering, pages 3-6. IEEE Computer Society Press, 1996.

GAO94

D. Garlan, R. Allen, and J. Ockerbloom.
Exploiting Style in Architectural Design Environments.
In D. Wile, editor, Proc. 2nd ACM SIGSOFT Symp. on Foundations of Software Engineering, volume 19:5 of ACM SIGSOFT Software Engineering Notes, pages 175-188, New Orleans, USA, December 1994.

GH91

J. Guttag and J. Horning.
A Tutorial on Larch and LCL, A Larch/C Interface Language.
In S. Prehn and J. Toetenel, editors, VDM91: Formal Software Development Methods (Tutorials), volume 552 of Lecture Notes in Computer Science, pages 1-78. Springer-Verlag, Berlin, October 1991.

GH93

J. Guttag and J. Horning.
Larch: Languages and Tools for Formal Specification.
Springer-Verlag, Berlin, 1993.

GHJV95

E. Gamma, R. Helm, R. Johnson, and J. Vlissides.
Design Patterns.
Addison-Wesley, 1995.

GHW85

J. Guttag, J. Horning, and J. Wing.
The Larch Family of Specification Languages.
IEEE Software, 2(5):24-36, 1985.

GMW96

D. Garlan, R. Monroe, and D. Wile.
ACME: An Architecture Description and Interchange Language.
Technical report, Carnegie Mellon University, Pittsburgh, 1996.

GS96

D. Garlan and M. Shaw.
Software Architecture. Perspectives on an Emerging Discipline.
Prentice-Hall, 1996.

IW95

P. Inverardi and A. Wolf.
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model.
IEEE Transactions on Software Engineering, 21(4):373-386, April 1995.

L⁺95

D. Luckham et al.
Specification and Analysis of System Architecture using RAPIDE.
IEEE Transactions on Software Engineering, 21(4):336-355, April 1995.

Lea97a

D. Lea.
Concurrent Programming in Java.
Addison-Wesley, 1997.

Lea97b

G. Leavens.
Larch/C++ Reference Manual. Version 5.1, January 1997.

Ler91

R. Lerner.
Specifying Objects of Concurrent Systems.
Technical Report CMU-CS-91-131, Carnegie Mellon University, Pittsburgh, 1991.

MKMG97

R. Monroe, D. Kompanek, R. Melton, and D. Garlan.
Architectural Styles, Design Patterns, and Objects.
IEEE Software, 14(1):43-52, Jan 1997.

MM97

T. Mowbray and R. Malveau.
CORBA Design Patterns.
John Wiley & Sons, 1997.

OH97

R. Orfali and D. Harkey.
Client/Server Programming with Java and CORBA.
Wiley, 1997.

S⁺95

M. Shaw et al.
Abstractions for Software Architecture and Tools to Support Them.
IEEE Transactions on Software Engineering, 21(4):314-335, April 1995.

Siv95

G. Sivaprasad.
Larch-CORBA: Specifying the Behavior of CORBA-IDL Interfaces.
Technical Report TR95-27, CS Dept., Iowa State Univ., 1995.

Sun96a

Sun Microsystems Inc.
Java beans 1.0, October 1996.

Sun96b

Sun Microsystems Inc.
Java remote method invocation specification, December 1996.

W⁺97

J. Waldo et al.
Javaspace specification 1.1.
Technical report, Sun Microsystems, JavaSoft Lab., March 1997.

Win87

J. Wing.
Writing Larch Interface Language Specifications.
ACM Transactions on Programming Languages and Systems, 9(1):1-24, January 1987.