46 search results - page 7 / 10 » An Abstract Domain for Analyzing Heap-Manipulating Low-Level... |
126
Voted
FMCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
119
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
140
click to vote
ICSR
2000
Springer
15 years 7 months ago
2000
Springer
Often product line engineering is treated similar to the waterfall model in traditional software engineering, i.e., the different phases (scoping, analysis, architecting, implemen...
143
click to vote
LCPC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. We are developing a compiler which processes da...
122
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...