73 search results - page 2 / 15 » Nonmonotonic Model Inference-A Formalization of Student Mode... |
ASWEC
2000
IEEE
13 years 9 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
ACIIDS
2009
IEEE
13 years 10 months ago
2009
IEEE
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
AAAI
1990
13 years 6 months ago
1990
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
HICSS
2002
IEEE
13 years 10 months ago
2002
IEEE
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
EDUTAINMENT
2007
Springer
13 years 11 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...