1525 search results - page 21 / 305 » Formal Models for Communication-Based Design |
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
86
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
115
click to vote
DAC
1997
ACM
15 years 4 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...
107
click to vote
FMCO
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
120
click to vote
JUCS
2000
15 years 8 days ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...