1199 search results - page 55 / 240 » Software Verification and Software Engineering a Practitione... |
118
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that ...
138
click to vote
SEAA
2008
IEEE
15 years 10 months ago
2008
IEEE
Software product line engineering has emerged as one of the dominant paradigms for developing variety of software products based on a shared platform and shared software artifacts...
111
click to vote
COMPSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents an initial design of the "Plug-nAnalyze" framework for the tradeoff analysisin determining architecture alternatives that have different strength and...
139
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
121
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
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...