Sciweavers

ICSE
2003
IEEE-ACM
14 years 11 months ago
A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure
Ubiquitous context-aware computing systems present several challenges in their construction. Principal among them is the tradeoff between easily providing new contextaware service...
William G. Griswold, Robert T. Boyer, Steven W. Br...
ICSE
2003
IEEE-ACM
14 years 11 months ago
Trustworthy and sustainable operations in marine environments
In order to address challenges and opportunities of engineering information systems for network-centric warfare, we have developed a prototype for trustworthy and sustainable oper...
Martin Fredriksson, Rune Gustavsson
ICSE
2003
IEEE-ACM
14 years 11 months ago
The 3rd Workshop on Open Source Software Engineering
Joseph Feller, Brian Fitzgerald, Scott A. Hissam, ...
ICSE
2003
IEEE-ACM
14 years 11 months ago
Why Can't They Create Architecture Models Like "Developer X"? An Experience Report
A large financial company, struggling with legacy systems that did not interoperate, performed a pilot project to teach software architecture to an enthusiastic application develo...
George Fairbanks
ICSE
2003
IEEE-ACM
14 years 11 months ago
Improving Web Application Testing with User Session Data
Web applications have become critical components of the global information infrastructure, and it is important that they be validated to ensure their reliability. Therefore, many ...
Sebastian G. Elbaum, Srikanth Karre, Gregg Rotherm...
ICSE
2003
IEEE-ACM
14 years 11 months ago
Architecture, Design, Implementation
The terms architecture, design, and implementation are typically used informally in partitioning software specificato three coarse strata of abstraction. Yet these strata are not ...
Amnon H. Eden, Rick Kazman
ICSE
2003
IEEE-ACM
14 years 11 months ago
An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company
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 ...
Emil Røyrvik, Torgeir Dingsøyr
ICSE
2003
IEEE-ACM
14 years 11 months ago
Computer-Assisted Assume/Guarantee Reasoning with VeriSoft
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 ...
Jürgen Dingel
ICSE
2003
IEEE-ACM
14 years 11 months ago
Addressing the Challenges of Software Industry Globalization: The Workshop on Global Software Development
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...
Daniela E. Damian, Filippo Lanubile, Heather L. Op...
ICSE
2003
IEEE-ACM
14 years 11 months ago
6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction
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 ...
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Staffo...