Giannakopoulou, Dimitra, Leavens, Gary T. and Sitaraman, Murali (2001) SAVCBS 2001 Proceedings: Specification and Verification of Component-Based Systems, Workshop at OOPSLA 2001. Technical Report 01-09a, Computer Science, Iowa State University.
The goal of this workshop was to explore how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for specification and verification of component-based systems. Component-based systems are a growing concern for the object-oriented community. Specification and reasoning techniques are urgently needed to permit composition of systems from components, for which source code is unavailable. This report is the proceedings of the workshop
Contact site administrator at: firstname.lastname@example.org