Sciweavers

16206 search results - page 416 / 3242
» Software Engineering is Not Enough
Sort
View
159
Voted
WCRE
2006
IEEE
16 years 25 days ago
Empirical Studies in Reverse Engineering
Marco Torchiano
CBSE
2006
Springer
15 years 8 months ago
Using a Lightweight Workflow Engine in a Plugin-Based Product Line Architecture
This paper presents a software product line architecture where applications are assembled by installing a set of plugins on a common software base. In this architecture, the softwa...
Humberto Cervantes, Sonia Charleston-Villalobos
RE
2008
Springer
15 years 6 months ago
Design Science, Engineering Science and Requirements Engineering
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
Roel Wieringa, J. M. G. Heerkens
PLDI
2010
ACM
15 years 12 months ago
Mixing type checking and symbolic execution
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Fos...
OOPSLA
2010
Springer
15 years 4 months ago
Composable specifications for structured shared-memory communication
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan G...