2836 search results - page 275 / 568 » Model Checking for Software Architectures |
138
Voted
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
165
click to vote
CODES
1998
IEEE
15 years 9 months ago
1998
IEEE
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
127
Voted
WSC
1998
15 years 6 months ago
1998
The United States Department of Defense's High Level Architecture for Modeling and Simulation (HLA) provides a standardized interface for distributed simulations. The recent ...
125
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
147
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...