KBSE
2006
IEEE
14 years 5 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
KBSE
2006
IEEE
14 years 5 months ago
2006
IEEE
KBSE
2006
IEEE
14 years 5 months ago
2006
IEEE
The testing of database applications poses new challenges for software engineers. In particular, it is difficult to thoroughly test the interactions between an application and it...
KBSE
2006
IEEE
14 years 5 months ago
2006
IEEE
KBSE
2006
IEEE
14 years 5 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 5 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 5 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 5 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 5 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 5 months ago
2006
IEEE
