Proceedings of the Resolve Workshop 2006
(2006) Proceedings of the Resolve Workshop 2006. Technical Report TR-06-10, Department of Computer Science, Virginia Tech.
Full text available as: |
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 |