Sciweavers

79 search results - page 7 / 16
» icse 2004
Sort
View
ICSE
2004
IEEE-ACM
15 years 10 months ago
Precise Service Level Agreements
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...
James Skene, D. Davide Lamanna, Wolfgang Emmerich
ICSE
2004
IEEE-ACM
15 years 3 months ago
Balancing Agility and Discipline: Evaluating and Integrating Agile and Plan-Driven Methods
Rapid change and increasing software criticality drive successful development and acquisition organizations to balance the agility and discipline of their key processes. The emerg...
Barry W. Boehm, Richard Turner
ICSE
2004
IEEE-ACM
15 years 10 months ago
Generating Tests from Counterexamples
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger,...
ICSE
2004
IEEE-ACM
15 years 10 months ago
Dynamic Configuration of Resource-Aware Services
An important emerging requirement for computing systems is the ability to adapt at run time, taking advantage of local computing devices, and coping with dynamically changing reso...
David Garlan, João Pedro Sousa, Mary Shaw, ...
ICSE
2004
IEEE-ACM
15 years 10 months ago
Polyphony in Architecture
Based on interviews with a number of architects and managers from a wide range of organizations, we characterize how architecture is perceived in practice. We identify three group...
Bas van der Raadt, Jasper Soetendal, Michiel Perde...