Sciweavers

1733 search results - page 149 / 347
» The challenges of software engineering education
Sort
View
CISSE
2008
Springer
15 years 8 months ago
Knowledge Assessment - Practical Example in Testing
: Knowledge assessment is inseparable part of current e-learning technologies. It can be used for self-assessment of students to give them feedback about their progress in a study ...
Ján Genci
FAC
2006
122views more  FAC 2006»
15 years 6 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
FECS
2007
105views Education» more  FECS 2007»
15 years 8 months ago
Team-Based Project Design of an Autonomous Robot
In this paper, we discuss the design and engineering of the C-P30, a custom robot design at Cal Poly State University, San Luis Obispo. This robot is designed by undergraduate com...
Thomas Norrie, John Seng
AADEBUG
2005
Springer
16 years 2 days ago
Specifying and checking component usage
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
Steven P. Reiss
CSEE
2007
Springer
16 years 21 days ago
Electronic Portfolios through a Qualitative Lens
This report illustrates the use of qualitative methods and an interpretive framework (Cultural Historical Activity Theory) to examine educational interventions. The techniques are...
Rebecca L. Fiedler, Cem Kaner