188
click to vote
KBSE
2003
IEEE
16 years 9 days ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
167
Voted
KBSE
2003
IEEE
16 years 9 days 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 ...
182
Voted
KBSE
2003
IEEE
16 years 9 days 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...
144
Voted
KBSE
2003
IEEE
16 years 9 days ago
2003
IEEE
202
Voted
KBSE
2003
IEEE
16 years 9 days 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...
179
Voted
KBSE
2003
IEEE
16 years 9 days ago
2003
IEEE
194
Voted
KBSE
2003
IEEE
16 years 9 days 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...
198
click to vote
KBSE
2003
IEEE
16 years 9 days ago
2003
IEEE
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
182
Voted
KBSE
2003
IEEE
16 years 9 days 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...