1700 search results - page 103 / 340 » Specifying and implementing refactorings |
129
Voted
RV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We consider monitoring and checking formally specified properties in a network. We are addressing the problem of deploying the checkers on different network nodes that ...
158
Voted
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
169
click to vote
AOSD
2004
ACM
15 years 10 months ago
2004
ACM
We propose a linguistic mechanism for AspectJ-like languages that concisely associates aspect instances to object groups. The mechanism, which supports association aspects, extend...
128
click to vote
MDAFA
2004
Springer
15 years 10 months ago
2004
Springer
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
128
click to vote
WOMPAT
2004
Springer
15 years 10 months ago
2004
Springer
OpenMP allows programmers to specify nested parallelism in parallel applications. In the case of scientific applications, parallel loops are the most important source of paralleli...