A Formal Approach to Component-Based Software Engineering: Education and Evaluation

Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang. A Formal Approach to Component-Based Software Engineering: Education and Evaluation. In Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada. pages 601-609, IEEE Computer Society, 2001.

Abstract

Abstract is missing.