528 search results - page 48 / 106 » AOP for software evolution: a design oriented approach |
FMOODS
2007
13 years 10 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
SEKE
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
ECSCW
1993
13 years 10 months ago
1993
: We describe the development of a system to support cooperative software design. An iterative development approach has been used, based upon the observation of system use in authe...
IWPC
2006
IEEE
14 years 2 months ago
2006
IEEE
One of the important activities in re-engineering process is detecting design flaws. Such design flaws prevent an efficient maintenance, and further development of a system. Th...
GI
2007
Springer
14 years 2 months ago
2007
Springer
: An new object oriented development suite for data fusion is presented. It is shown how the various issues in the data fusion development like design, implementation, simulation a...