Sciweavers

RE
2010
Springer
13 years 7 months ago
Fuzzy Goals for Requirements-Driven Adaptation
Self-adaptation is imposing as a key characteristic of many modern software systems to tackle their complexity and cope with the many environments in which they can operate. Self-a...
Luciano Baresi, Liliana Pasquale, Paola Spoletini
IEEEARES
2009
IEEE
13 years 10 months ago
Software Inspections Using Guided Checklists to Ensure Security Goals
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...
Frank Elberzhager, Alexander Klaus, Marek Jawurek
ICSE
2009
IEEE-ACM
13 years 10 months ago
Towards an assume-guarantee theory for adaptable systems
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should b...
Paola Inverardi, Patrizio Pelliccione, Massimo Tiv...
SIGSOFT
2010
ACM
13 years 10 months ago
Software economies
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A...
SIGSOFT
2010
ACM
13 years 10 months ago
Embracing policy engineering
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dou...
OOPSLA
2010
Springer
13 years 11 months ago
Instrumentation and sampling strategies for cooperative concurrency bug isolation
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan L...
WCRE
2003
IEEE
14 years 5 months ago
Toward an environment for comprehending distributed systems
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
Maher Salah, Spiros Mancoridis
ICAISC
2004
Springer
14 years 5 months ago
Requirements and Solutions for Web-Based Expert System
The advent of the Internet has strongly influenced modern software systems. Existing intranet solutions are being gradually replaced with www services available everywhere and at ...
Maciej Grzenda, Marcin Niemczak
ISSTA
2004
ACM
14 years 5 months ago
Covering arrays for efficient fault characterization in complex configuration spaces
—Many modern software systems are designed to be highly configurable so they can run on and be optimized for a wide variety of platforms and usage scenarios. Testing such systems...
Cemal Yilmaz, Myra B. Cohen, Adam A. Porter