Participants
|
Dissertation and key publications
- Jürgen Dingel, David Garlan, Somesh Jha and David Notkin. Reasoning about
Implicit Invocation. To be presented at Sixth International Symposium on the Foundations
of Software Engineering (FSE 6). Florida, USA. November, 1998. (abstract)
- Jürgen Dingel, David Garlan, Somesh Jha and David Notkin. Towards a Formal
Treatment of Implicit Invocation using Rely/Guarantee Reasoning. To appear in Formal
Aspects of Computing. (abstract)
- Kevin Sullivan, Ira J. Kalet and David Notkin. Mediators in a Radiation Treatment Planning Environment. IEEE Transactions
on Software Engineering 22,8, pp. 563--579 (August 1996).
- David Notkin, David Garlan, William G. Griswold, and Kevin Sullivan. Adding Implicit
Invocation to Languages: Three Approaches. In Proceedings of the JSSST International
Symposium on Object Technologies for Advanced Software, S. Nishio and A. Yonezawa
(editors), pp. 489--510 (November 1993). Springer-Verlag Lecture Notes in Computer
Science #742 (November 1993).
- David Garlan, Gail E. Kaiser, and David Notkin. Using Tool Abstraction to Compose Systems. IEEE Computer 25,6, pp.
30--38 (June 1992).
- David Garlan and David Notkin. Formalizing Design Spaces: Implicit Invocation Mechanisms. VDM '91: Formal
Software Development Methods, pp. 31--44 (October 1991). Appears as Springer-Verlag Lecture
Notes in Computer Science 551.
- Kevin Sullivan and David Notkin.
Reconciling Environment Integration and Component Independence. ACM Transactions on
Software Engineering and Methodology 1,3, pp. 229--268 (July 1992). An earlier version appeared in Proceedings of ACM SIGSOFT '90: Fourth
Symposium on Software Development Environments, pp. 22--33 (December 1990).
- See Kevin
Sullivan's home page for his related
dissertation.
|