Sciweavers

22 search results - page 4 / 5
» SE-CSE 2008: the first international workshop on software en...
Sort
View
JOT
2008
114views more  JOT 2008»
13 years 7 months ago
By students, for students: a production-quality multimedia library and its application to game-based teaching
The attractive idea of using game development for teaching programming can only meet student expectations and modern software engineering requirements if it uses advanced multimed...
Till G. Bay, Michela Pedroni, Bertrand Meyer
VLC
2008
191views more  VLC 2008»
13 years 6 months ago
Visual specification of measurements and redesigns for domain specific visual languages
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
Esther Guerra, Juan de Lara, Paloma Díaz
EPEW
2008
Springer
13 years 8 months ago
An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method
Abstract. Component-based software performance engineering (CBSPE) methods shall enable software architects to assess the expected response times, throughputs, and resource utiliza...
Anne Martens, Steffen Becker, Heiko Koziolek, Ralf...
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
13 years 9 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
SIGCSE
2008
ACM
143views Education» more  SIGCSE 2008»
13 years 6 months ago
Test-driven learning in early programming courses
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
David Janzen, Hossein Saiedian