ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Objective: Our objective is to describe how software engineering might benefit from an evidence-based approach and to identify the potential difficulties associated with the appro...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Because it takes time and trust to establish agreement, traditional consensus-based architectural styles cannot safely accommodate resources that change faster than it takes to tr...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
While the importance of multi-tier architectures for enterprise information systems is widely accepted and their benefits are well published, the systematic migration from monolit...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
A one-day workshop was held on the topic of mining software repositories at ICSE 2004 in Edinburgh, Scotland. The workshop brought together researchers and practitioners in order ...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Abstract. Building systems from existing applications written in two or more languages is common practice. Such systems are polylingual. Polylingual systems are relatively easy to ...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Understanding an application's functional and nonfunctional requirements is normally seen as essential for developing a robust product suited to client needs. This paper desc...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...