1077 search results - page 49 / 216 » Introducing Software Engineering by means of Extreme Program... |
102
click to vote
PEPM
2004
ACM
15 years 5 months ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
PASTE
2004
ACM
15 years 5 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
MSR
2006
ACM
15 years 5 months ago
2006
ACM
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...
120
click to vote
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Agile practices are arguably improving the productivity of small, co-located software development teams. In this paper, we describe an approach that tries to overcome the constrai...
ASWEC
2001
IEEE
15 years 3 months ago
2001
IEEE
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...