KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
We discuss how a collection of domain-specific and domain-independent tools can be combined to “aspectize” the distributed character of server-side applications, to a much gr...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
Modern architectures, such as the Intel Itanium, support speculation, a hardware mechanism that allows the early execution of expensive operations—possibly even before it is kno...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
When performing a program evolution task, developers typically spend a significant amount of effort investigating and re-investigating source code. To reduce this effort, we prop...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then ...