SAVCBS 2001 Proceedings: Specification and Verification of ComponentBased Systems, Workshop at OOPSLA 2001 


Giannakopoulou, Dimitra, Leavens, Gary T. and Sitaraman, Murali (2001) SAVCBS 2001 Proceedings: Specification and Verification of ComponentBased Systems, Workshop at OOPSLA 2001. Technical Report 0109a, Computer Science, Iowa State University.
AbstractThe 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 componentbased systems. Componentbased systems are a growing concern for the objectoriented 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: ssg@cs.iastate.edu 