Proceedings of the Resolve Workshop 2006
2006) Proceedings of the Resolve Workshop 2006. Technical Report TR-06-10, Department of Computer Science, Virginia Tech. (
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|
|Deposited By:||Edwards, Stephen|
|Deposited On:||14 April 2006|