Sciweavers

52 search results - page 2 / 11
» sigsoft 2007
Sort
View
SIGSOFT
2007
ACM
14 years 7 months ago
Automatic consistency assessment for query results in dynamic environments
Jamie Payton, Christine Julien, Gruia-Catalin Roma...
SIGSOFT
2007
ACM
14 years 7 months ago
Contract driven development = test driven development - writing test cases
Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertr...
SIGSOFT
2007
ACM
14 years 7 months ago
Fault and adversary tolerance as an emergent property of distributed systems' software architectures
Fault and adversary tolerance have become not only desirable but required properties of software systems because mission-critical systems are commonly distributed on large network...
Yuriy Brun, Nenad Medvidovic
SIGSOFT
2007
ACM
14 years 7 months ago
A behavioural model for product families
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
Alessandro Fantechi, Stefania Gnesi
SIGSOFT
2007
ACM
14 years 7 months ago
RELAY: static race detection on millions of lines of code
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs t...
Jan Wen Voung, Ranjit Jhala, Sorin Lerner