2836 search results - page 239 / 568 » Model Checking for Software Architectures |
166
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
This paper focuses on in-process measurements during requirements definition where measurements of processes and products are relatively difficult. However, development processes ...
130
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
133
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
125
click to vote
CASES
2003
ACM
15 years 9 months ago
2003
ACM
The Single Instruction Multiple Data (SIMD) model for fine-grained parallelism was recently extended to support SIMD operations on disjoint vector elements. In this paper we demon...
154
click to vote
JUCS
2008
15 years 4 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...