1288 search results - page 2 / 258 » Integrating formal models into the programming languages cou... |
UM
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
ZUM
1994
Springer
13 years 9 months ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
ITICSE
2006
ACM
13 years 11 months ago
2006
ACM
The release of Curriculum 2001 coupled with the increasing importance of the World Wide Web and the changes in pedagogy enabled by new technologies has made the choices about what...
SIGADA
1999
Springer
13 years 9 months ago
1999
Springer
ECTEL
2007
Springer
13 years 11 months ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...