165 search results - page 13 / 33 » Experiences in Teaching Software Evolution and Program Compr... |
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
ERSHOV
2003
Springer
14 years 27 days ago
2003
Springer
The new design for the introductory programming course at ETH relies on object technology, Eiffel, extensive reuse, a graphics-rich library (TRAFFIC) built specifically for the c...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
APSEC
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper describes a controlled experiment of student programmers performing maintenance tasks on a C++ program. The goal of the study is to assess the maintenance size, effo...