726 search results - page 40 / 146 » Formal Requirements Engineering: Learning from the Students |
SIGSOFT
2001
ACM
16 years 16 days ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
AIED
2009
Springer
15 years 6 months ago
2009
Springer
Intelligent tutoring systems often rely on interactive tutored problem solving to help students learn math, which requires students to work through problems step-by-step while the ...
103
click to vote
ECMDAFA
2008
Springer
15 years 26 days ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
VR
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we present an in situ evaluation of a haptic system, with a representative test population, we aim to determine what, if any, benefit haptics can have in a biomolec...