6239 search results - page 325 / 1248 » From Zinc to Design Model |
250
Voted
TII
2008
15 years 7 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
208
Voted
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
218
click to vote
EMSOFT
2004
Springer
16 years 26 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
224
click to vote
EDOC
2008
IEEE
15 years 9 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
156
click to vote
WSC
2000
15 years 8 months ago
2000
This paper describes how discrete-event simulation enhanced a traditional process design effort for a new media company in pre-launch mode. Because the company's business mod...