Kevin J. Sullivan - Selected Papers

Real Options as a Foundational Theory for Software Engineering Design

• Sullivan, K.J., "Software Design: The Options Approach," 2nd Intl. Workshop on Software Architecture, Joint Proceedings of the SIGSOFT '96 Workshops, San Franciso, CA, 1996, pp. 15--18.
• Sullivan, K.J., P. Chalasani, and S. Jha, "Software Design Decisions as Real Options," University of Virginia Dept. of Computer Science Technical Report 97-14, June 3, 1997.
• Chalasani, P., S. Jha and K.J. Sullivan, "The Options Appracoh to Software Prototyping Decisions," Carnegie Mellon University Department of Computer Science Technical Report, CMU-CS-TR-97-xxx, June, 1997.

The Design and Evolution of Integrated Systems

• Sullivan, K.J. and D. Notkin, "Reconciling Environment Integration and Software Evolution" ACM Transactions on Software Engineering and Methodology, vol. 1, no. 3., pp. 229-268, July, 1992.
• Sullivan, K.J., Mediators: Easing the Design and Evolution of Integrated Systems, Ph.D. Dissertation, University of Washington Department of Computer Science and Engineering, Technical Report UW-CSE-94-08-01, August, 1994.
• Sullivan, K.J., I.J. Kalet and D. Notkin, "Evaluating the Mediator Method: Prism as a Case Study," IEEE Transactions on Software Engineering, vol. 22, no. 8., pp. 563-579, August 1996.

• Kalet, I.J., J.P. Jacky, M.M. Austin-Seymour, S.M. Hummel, K.J. Sullivan and J.M. Unger, "Prism: A New Approach to Radiotherapy Planning Software," International Journal of Radiation Oncology and Biological Physics, vol. 36, no. 2., pp. 451-461, 1996.

• Sullivan, K.J., J. Socha and M. Marchukov, "Using Formal Methods to Reason about Architectural Standards," 1997 Proceedings of the International Conference on Software Engineering (ICSE97), Boston, Massachusetts, May 1997.
• Sullivan, K.J., M. Marchukov and J. Socha "Enginering Foundations of Component Standards: Some Compositionality Problems in Microsoft's COM," submitted for publication.

• Sullivan, K. J. and M. Marchukov, "Interface Negotiation and Efficient Reuse: A Relaxed Theory of the Component Object Model," University of Virginia Department of Computer Science Technical Report, May 9, 1997.

Package-Oriented Programming (POP) & COTS Integration

• Sullivan, K.J. and J.C. Knight, "Experience Assessing an Architectural Approach to Large-Scale, Systematic Reuse," Proceedings of the 18th International Conference on Software Engineering (ICSE18), Berlin, Germany, March 25-29, 1996, pp. 220-229.

• Sullivan, K.J., J.C. Knight, J. Cockrell, and S. Zhang, "Building Applications from Massive Components," Proceedings of the 21st Software Engineering Workshop, Greenbelt, Maryland, December 1996 (to appear).

• Sullivan, K.J., "Better, Faster, Cheaper Tools: A Case Study and Demonstration," Proceedings of the 1997 Reliability and Maintainability Symposium, Philadelphia, Pennsylvania, January 1997, pp. 216-219.
• Sullivan, K.J., J. Cockrell, Z. Zhang and D. Coppit, "Package-Oriented Programming of Engineering Tools," formal research demonstration, Proceedings of ICSE97, The 1997 International Conference on Software Engineering (IEEE Computer Society Press), Boston, Massachusetts, May 17--23, 1997, pp. 616--617.

Information Survivability Architectures