726 search results - page 72 / 146 » Formal Requirements Engineering: Learning from the Students |
ESCIENCE
2006
IEEE
15 years 5 months ago
2006
IEEE
Integration of e-Science and Grid technologies into curriculum teaching is currently an ambitious aim for teachers and school infrastructures to organise. However, it can expose c...
ITS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Faded examples have been investigated in pedagogical psychology. The experiments suggest that a learner can benefit from faded examples. For these experiments a few exam...
118
click to vote
ACL
2010
14 years 10 months ago
2010
Supporting natural language input may improve learning in intelligent tutoring systems. However, interpretation errors are unavoidable and require an effective recovery policy. We...
SEW
2006
IEEE
15 years 5 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
103
click to vote
ICSEA
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...