1077 search results - page 138 / 216 » Introducing Software Engineering by means of Extreme Program... |
127
click to vote
ITICSE
2003
ACM
15 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 ...
122
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
143
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
252
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
130
click to vote
APSEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Modifying an application usually means to stop the application, apply the changes, and start the application again. That means, the application is not available for at least a sho...