42 search results - page 1 / 9 » Teaching Contract Programming Concepts to Future Software En... |
ICSE
2003
IEEE-ACM
14 years 4 months ago
2003
IEEE-ACM
Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, wh...
IEEECIT
2010
IEEE
13 years 3 months ago
2010
IEEE
—The great appliance of engineering makes it different from other common subjects in teaching methods. This paper puts forward a concept of case learning that is constructed with...
ITICSE
2003
ACM
13 years 9 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
IWPC
2003
IEEE
13 years 9 months ago
2003
IEEE
A large amount of research is devoted to software evolution and program understanding, but these topics are often neglected in software engineering curricula. The CCSE initiative ...
SIGADA
1999
Springer
13 years 8 months ago
1999
Springer
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...