1077 search results - page 188 / 216 » Introducing Software Engineering by means of Extreme Program... |
139
click to vote
FSTTCS
1999
Springer
15 years 6 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
105
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
The last couple of years, various idioms used in the 15 MLOC C code base of ASML, the world's biggest lithography machine manufacturer, have been unmasked as crosscutting con...
119
click to vote
CBSE
2008
Springer
15 years 3 months ago
2008
Springer
The OSGiTM Service Platform is becoming the de facto standard for modularized Java applications. The market of OSGi based COTS components is continuously growing. OSGi specific pro...
135
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...
134
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...