Sciweavers

726 search results - page 23 / 146
» Formal Requirements Engineering: Learning from the Students
Sort
View
ISSTA
2009
ACM
15 years 6 months ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
Charles Pecheur, Franco Raimondi, Guillaume Brat
UM
2007
Springer
15 years 5 months ago
Eliciting Adaptation Knowledge from On-Line Tutors to Increase Motivation
In the classroom, teachers know how to motivate their students and how to exploit this knowledge to adapt or optimize their instruction when a student shows signs of demotivation. ...
Teresa Hurley, Stephan Weibelzahl
99
Voted
COMPSAC
2009
IEEE
15 years 6 months ago
System Safety Requirements as Control Structures
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
Zhe Chen, Gilles Motet

Publication
159views
13 years 11 months ago
Evaluating the Effectiveness of Board Game Usage to Teach GSE Dynamics
When preparing students for an industrial or academic career in software engineering, educational institutions need to address the globally distributed character of the software en...
Kevin Dullemond, Ben van Gameren, Rini van Solinge...
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 6 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...