1274 search results - page 6 / 255 » Educating reflective systems developers |
CORR
2010
Springer
14 years 7 months ago
2010
Springer
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...
ICSEA
2006
IEEE
15 years 3 months ago
2006
IEEE
— It is through our mental models of the world that we understand it. Advances in science are nothing more than improvements to the model. This paper presents the development and...
ICWE
2003
Springer
15 years 2 months ago
2003
Springer
This paper presents a framework for the integration of web-based educational systems. It is part of a research project, MEDEA1 , whose final goal is to develop a general framework ...
WSC
2000
14 years 10 months ago
2000
Simulation professionals need to see themselves first as systems analysts, i.e., problem solvers, rather than just simulation users. As the networked digital economy develops, sys...
CN
1998
14 years 9 months ago
1998
: Many Web-based educational applications are expected to be used by very different groups of users without the assistance of a human teacher. Accordingly there is a need for syste...