738 search results - page 42 / 148 » Object Orientation and Formal Techniques |
WCRE
1999
IEEE
15 years 3 months ago
1999
IEEE
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
105
click to vote
ECOOPW
1998
Springer
15 years 3 months ago
1998
Springer
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...
107
click to vote
CC
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
TSE
2008
14 years 11 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
JOT
2007
14 years 11 months ago
2007
The importance of software measurement is increasing leading to development of new measurement techniques. As the development of object-oriented software is rising, more and more ...