1077 search results - page 119 / 216 » Introducing Software Engineering by means of Extreme Program... |
134
click to vote
FATES
2005
Springer
15 years 10 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
145
Voted
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
ABSTRACT. Motivated by economic thought, a recent research agenda has suggested the algorithmic study of combinatorial optimization problems under functions which satisfy the prope...
104
Voted
EWSA
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we propose a new approach to model-driven development, which we call introspective model-driven development (IMDD). This approach relies heavily on some well-underst...
141
Voted
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
144
click to vote
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we discuss a pilot user study that compares the use of two integrated development environments (IDEs), Eclipse and Gild, by novice programmers. Gild is a perspective...