KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
Aspect mining identifies cross-cutting concerns in a program to help migrating it to an aspect-oriented design. Such concerns may not exist from the beginning, but emerge over ti...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
Today, thin client applications often rely on the infrastructure of the WWW to deliver their user interfaces (UIs) to clients. While this approach does not require the deployment ...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE