1288 search results - page 2 / 258 » Integrating formal models into the programming languages cou... |
UM
2009
Springer
15 years 4 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...
93
Voted
ZUM
1994
Springer
15 years 1 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...
86
Voted
ITICSE
2006
ACM
15 years 3 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...
44
Voted
SIGADA
1999
Springer
15 years 1 months ago
1999
Springer
ECTEL
2007
Springer
15 years 3 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...