1620 search results - page 144 / 324 » Use Case Level Pointcuts |
118
click to vote
ECBS
2005
IEEE
15 years 9 months ago
2005
IEEE
Architecture modeling is practiced extensively in the software industry but there is little attention paid to the traceability, verifiability and completeness of architecture desi...
135
click to vote
IWPC
2005
IEEE
15 years 9 months ago
2005
IEEE
We perform knowledge discovery in software archives in order to detect refactorings on the level of classes and methods. Our REFVIS prototype finds these refactorings in CVS repo...
141
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
147
click to vote
FROCOS
2005
Springer
15 years 8 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
107
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Solution techniques for Constraint Satisfaction and Optimisation Problems often make use of backtrack search methods, exploiting variable and value ordering heuristics. I...