Sciweavers

7380 search results - page 876 / 1476
» Engineering Software Intensive Systems
Sort
View
SIGSOFT
2008
ACM
16 years 7 months ago
Alchemy: transmuting base alloy specifications into implementations
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dou...
ICSE
2003
IEEE-ACM
16 years 7 months ago
Moving from Quality Attribute Requirements to Architectural Decisions
Quality attribute models are proposed as the linkage between a specification of a quality attribute requirement and a design fragment that is focused on achieving that requirement...
Felix Bachmann, Len Bass, Mark Klein
ICSE
2004
IEEE-ACM
16 years 7 months ago
Adding High Availability and Autonomic Behavior to Web Services
Rapid acceptance of the Web Services architecture promises to make it the most widely supported and popular object-oriented architecture to date. One consequence is that a wave of...
Kenneth P. Birman, Robbert van Renesse, Werner Vog...
ICSE
2004
IEEE-ACM
16 years 7 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
2008
IEEE-ACM
16 years 7 months ago
Jigsaw: a tool for the small-scale reuse of source code
Developers perform small-scale reuse tasks to save time and to increase the quality of their code. Due to the small scale of such tasks, the overhead in reusing source code can qu...
Jörg Denzinger, Robert J. Walker, Rylan Cottr...