Learn More
Individual papers in this collection are copyrighted by their original authors. iv Preface The goal of the RESOLVE Workshop 2002 was to bring together educators and researchers 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(More)
Within computer science education, many educators are incorporating software testing activities into regular programming assignments. Tools like JUnit and its relatives make software testing tasks much easier, bringing them into the realm of even introductory students. At the same time, many introductory programming courses are now including graphical(More)
Individual papers in this collection are copyrighted by their original authors. Preface 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(More)
  • 1