Computer Science Technical Reports
CS at VT

Proceedings of the Resolve Workshop 2006

Edwards, Stephen H. (2006) Proceedings of the Resolve Workshop 2006. Technical Report TR-06-10, Department of Computer Science, Virginia Tech.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
Resolve2006.pdf (1093934)

Abstract

The aim of the RESOLVE Workshop 2006 was to bring together researchers and educators interested in: Refining formal approaches to software engineering, especially component-based systems, and introducing them into the classroom. The workshop served as a forum for participants to present and discuss recent advances, trends, and concerns in these areas, as well as formulate a common understanding of emerging research issues and possible solution paths.

Item Type:Departmental Technical Report
Keywords:software reuse, formal methods, verification, compiler, interpreter, Resolve, reusability, component, component-based system, classroom, education
Subjects:Computer Science > Software Engineering
ID Code:578
Deposited By:Edwards, Stephen
Deposited On:14 April 2006
Alternative Locations:http://people.cs.vt.edu/~edwards/downloads/Resolve2006.pdf