2836 search results - page 37 / 568 » Model Checking for Software Architectures |
161
click to vote
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
152
click to vote
VAMOS
2010
Springer
15 years 4 months ago
2010
Springer
Feature-Oriented Model-Driven Engineering (FOMDE) is an approach that lies at the intersection of two complementary paradigms for software construction, Model Driven Engineering (M...
141
Voted
IEEEPACT
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes a technique for utilizing predication to support software pipelining on EPIC architectures in the presence of dynamic memory aliasing. The essential idea is t...
138
click to vote
RE
2002
Springer
15 years 3 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
132
click to vote
IIWAS
2008
15 years 4 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...