Sciweavers

726 search results - page 42 / 146
» Formal Requirements Engineering: Learning from the Students
Sort
View
ICST
2009
IEEE
14 years 9 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
CSREAEEE
2006
129views Business» more  CSREAEEE 2006»
15 years 1 months ago
Computer Science Exercises in a Virtual University
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
Manfred Widera, Barbara Messing, Gabriele Kern-Isb...
ECTEL
2007
Springer
15 years 6 months ago
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst...
IFIP3
2003
114views Education» more  IFIP3 2003»
15 years 1 months ago
Enabling Postgraduate Learning in the Workplace
: This paper describes a research project that was carried out to determine and evaluate the learning environment customisations required to support selfmotivated, able, and experi...
Nicola Beasley, John A. Ford, Nils Tomes
SIGSOFT
2005
ACM
16 years 16 days ago
KenyaEclipse: learning to program in eclipse
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
Robert Chatley, Thomas Timbul