5228 search results - page 759 / 1046 » Case Studies for Software Engineers |
184
click to vote
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
In aspect-oriented programming languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if p...
188
click to vote
SEW
2007
IEEE
16 years 1 months ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
200
click to vote
WADT
2004
Springer
16 years 2 days ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
173
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
154
click to vote
SCAM
2006
IEEE
16 years 22 days ago
2006
IEEE
Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the...