Sciweavers

5457 search results - page 461 / 1092
» Software Component Independence
Sort
View
SIGSOFT
2003
ACM
16 years 4 days ago
Evaluating and improving the automatic analysis of implicit invocation systems
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
Jeremy S. Bradbury, Jürgen Dingel
ICSE
2003
IEEE-ACM
16 years 7 months ago
Demonstration of AGENDA Tool Set for Testing Relational Database Applications
Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. AGENDA, A (test) GENerator for ...
David Chays, Yuetang Deng
AGILEDC
2005
IEEE
16 years 16 days ago
Student Experiences with Executable Acceptance Testing
This report describes experiences of introducing executable acceptance testing in senior software engineering courses. Students in an agile environment completed a five-iteration ...
Kris Read, Grigori Melnik, Frank Maurer
IWPC
2005
IEEE
16 years 14 days ago
Working Session on Interoperable Reengineering Services
Interoperability is the challenge involved in getting software components to work together. This working session discusses in depth the state of the art in reengineering tool inte...
Dean Jin, Andreas Winter
WOSP
2004
ACM
16 years 9 days ago
Computing the performability of layered distributed systems with a management architecture
This paper analyzes the performability of client-server applications that use a separate fault management architecture for monitoring and controlling of the status of the applicat...
Olivia Das, C. Murray Woodside