4799 search results - page 124 / 960 » Model Based Requirements Engineering for Embedded Software |
FSTTCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
101
click to vote
ECSA
2010
Springer
14 years 11 months ago
2010
Springer
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
SIGSOFT
1996
ACM
15 years 2 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
107
click to vote
SERA
2010
Springer
14 years 8 months ago
2010
Springer
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
AOSD
2007
ACM
15 years 2 months ago
2007
ACM
The traditional constraints on software development and architectures in the consumer electronics domain, including the low cost of manufacturing of a product, support for familie...