726 search results - page 12 / 146 » Formal Requirements Engineering: Learning from the Students |
TSE
1998
14 years 11 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
CAEPIA
2007
Springer
15 years 5 months ago
2007
Springer
This paper describes an approach to automatically obtain an HTN planning domain from a well structured learning objects repository and also to apply an HTN planner to obtain IMS Le...
CLEIEJ
2007
14 years 11 months ago
2007
: Several business areas, like Management and Negotiation, have used games like a didactic way to simulate world reality, to introduce students to the day-to-day generated problems...
105
click to vote
JOT
2008
14 years 11 months ago
2008
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...
103
click to vote
CLEIEJ
2010
14 years 9 months ago
2010
Teaching fundamental programming to freshmen is a hard task to be performed, given the high level action and logical reasoning that are required for these students to develop in a...