726 search results - page 35 / 146 » Formal Requirements Engineering: Learning from the Students |
108
click to vote
AIED
2007
Springer
15 years 6 months ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
208
click to vote
CSEE
2011
Springer
14 years 3 months ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
CSEE
2000
Springer
15 years 4 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
128
click to vote
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...