| 2 |
Robert Allen,
David Garlan and James Ivers. Formal Modeling and Analysis of the HLA Component Integration Standard. In Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), ACM, Lake Buena Vista, Florida, November 1998.
|
| 3 |
Jurgen Dingel,
David Garlan, Somesh Jha and David Notkin. Reasoning about Implicit Invocation. In Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), Lake Buena Vista, Florida, November 1998.
|
| 4 |
Bridget Spitznagel and
David Garlan. Architecture-Based Performance Analysis. In Proceedings of the 1998 Conference on Software Engineering and Knowledge Engineering (SEKE'98), June 1998.
|
| 5 |
David Garlan. Higher-Order Connectors. In Proceedings of Workshop on Compositional Software Architectures, January 1998.
|
| 6 |
Robert Allen, Remi Douence and
David Garlan. Specifying and Analyzing Dynamic Software Architectures. In Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98), Vol. 1382 of Lecture Notes in Computer Science, Springer, Lisbon, Portugal, March 1998. An expanded version of the paper Specifying Dynamism in Software Architectures, which appeared in the Proceedings of the Workshop on Foundations of Component-Based Software Engineering, September 1997.
|
|
|
