1613 search results - page 111 / 323 » Model-Driven Constraint Engineering |
137
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
164
Voted
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
CP
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...
128
Voted
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
167
click to vote
AOSD
2011
ACM
14 years 10 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...