1527 search results - page 48 / 306 » From Requirements to Design: Formalizing the Key Steps |
190
click to vote
JACM
2002
15 years 5 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
157
click to vote
COLCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. Traditional workflow enactment systems and workflow design processes view the workflow as a one-time interaction with the various data sources, executing a series of step...
162
click to vote
IFIP
2010
Springer
15 years 23 days ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
122
click to vote
ICMENS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper introduces a new microchannel design for magnetohydrodynamic (MHD) flow that maximizes MHD pumping power. An electromagnetic channel (EMC), which has a rectangular cros...
209
click to vote
CMOT
2011
14 years 9 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...