379 search results - page 59 / 76 » Visualisation of Variability in Software Product Line Engine... |
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
ISPW
2008
IEEE
15 years 6 months ago
2008
IEEE
Defining process standards by integrating, harmonizing, and standardizing heterogeneous and often implicit processes is an important task, especially for large development organiza...
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
96
Voted
WCRE
2002
IEEE
15 years 4 months ago
2002
IEEE
Architecture reconstruction embodies benefits for commercial organizations. Reconstructing or recovering the architecture of software systems is primarily driven by the increased ...
104
Voted
ICSE
1997
IEEE-ACM
15 years 3 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...