571 search results - page 6 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
DAC
1997
ACM
13 years 11 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
OTM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Model Driven Engineering (MDE) aims to help software deto abstract the system implementations by means of models and meta-models. In Web-based Collaborative Information S...
ICSEA
2006
IEEE
14 years 1 months ago
2006
IEEE
In recent years component-based development has in resent years become an established approach. Component-based Software Engineering (CBSE) that deals with the entire lifecycle of ...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
AUTONOMICS
2008
ACM
13 years 9 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...