ICSE
2003
IEEE-ACM
2003
IEEE-ACM
An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company
14 years 4 months ago
Numerous studies have been conducted on design and architecture of knowledge repositories. This paper addresses the need for looking at practices where knowledge repositories are ...
ICSE
2003
IEEE-ACM
14 years 4 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
ICSE
2003
IEEE-ACM
14 years 4 months ago
2003
IEEE-ACM
The goal of this workshop is to provide an opportunity for researchers and industry practitioners to explore both the stateof-the art and the state-of-the-practice in global softw...
ICSE
2003
IEEE-ACM
14 years 4 months ago
2003
IEEE-ACM
This report gives an overview of the 6th ICSE Workshop on Component-Based Software Engineering held at 25th International Conference on Software Engineering. The workshop brought ...
ICSE
2003
IEEE-ACM
14 years 4 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 4 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 4 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 4 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 4 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 4 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...