Bibliography

1

America, P. Designing an Object-Oriented Programming Language with Behavioral Subtyping. Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, Springer-Verlag Lec. Notes in Com. Sci. 489, 1991.

2

Ted L. Briggs and John Werth. A Specification Language for Object-Oriented Analysis and Design. Proceedings of the 8th European Conference on Object-Oriented Programming, Bologna, Italy, July 1994.

3

Digital Equipment Corporation, Hewlett-Packard Company, HyperDesk Corporation, NCR Corporation, Object Design, Inc., and SunSoft , Inc. The Common Object Request Broker : Architecture and Specification. Pages 45-80. OMG Document Number 91.12.1, Revision 1.1. December 1991.

4

James Gosling, Bill Joy, and Guy Steele. The JavaLanguage Specification. Addison-Wesley, 1996.

5

John V. Guttag and James J. Horning with S. J. Garland, K. D. Jones, A. Modet and J. M. Wing. Larch : Languages and Tools for Formal Specification. Springer-Verlag, 1993.

6

Bill Janssen, Denis Severson and Mike Spreitzer. ILU 1.8 Reference Manual. Xerox Corporation, May 1995.

7

D. Kapur and D. R. Musser. Tecton: A Framework for Specifying and Verifying Generic System Components. Rensselaer Polytechnic Institute Computer Science Technical Report 92-20, July, 1992.

8

J. McLean. A Formal Method for the Abstract Specification of Software. J. ACM, vol. 31, no. 3, July 1984.

9

Barbara Liskov and Jeannette M. Wing. A Behavioral Notion of Subtyping. ACM TOPLAS 16(6):1811-1841, Nov. 1994.

10

OMG, CORBAservices: Common Object Services Specification, OMG Document Number 95-3-31, Object Management Group, Framingham, MA, (1995).

11

Gowri Sankar Sivaprasad. Larch/CORBA: Specifying the Behavior of CORBA-IDL Interfaces. Department of Computer Science, Iowa State University, TR #95-27a, December 1995, revised December 1995.

12

Sriram Sankar. Introducing Formal Methods To Software Engineers Through OMG's CORBA Environment And Interface Definition Language. In Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, Munich, Germany, July 1996.

13

Sriram Sankar and Roger Hayes. ADL: An Interface Language for Specifying and Testing Software. In Proceedings of the Workshop on Interface Definition Languages, January 1994.

14

J. M. Spivey. Understanding Z, A Specification Language and its Formal Semantics. Cambridge University Press, 1988. Tracts in Theoretical Computer Science, Volume 3.

15

Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, 1991.

16

Sun Microsystems Inc., U.S.A., and Information Technology Promotion Agency, Japan. ADL Translator Design Specification. Document number MITI/0001/D/0.1. August 1993.

17

Sreenivasa Rao Viswanadha and Sriram Sankar. Preliminary Design of ADL/C++ - A Specification Language for C++. In 2nd USENIX Conference on Object-Oriented Technologies, Toronto, Canada, June 1996.