ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
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 ...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
This work compares and contrasts two component frameworks: (1) the web-centric Java 2 Enterprise Edition (J2EE) framework and (2) the FIPA-compliant multi-agent system (MAS). FIPA...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Component-based development is the emerging paradigm in software production, though several challenges still slow down its full taking up. In particular, the "component trust...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Preparations for Y2K reminded the software engineering community of the extent to which long-lived software systems are embedded in our daily environments. As systems are maintain...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM