3828 search results - page 151 / 766 » Proof-Based System Engineering Using a Virtual System Model |
155
click to vote
WSC
1997
15 years 7 months ago
1997
We describe our experiences designing and implementing a virtual PNNI network testbed. The network elements and signaling protocols modeled are consistent with the ATM Forum PNNI ...
143
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
170
click to vote
SEM
2004
Springer
15 years 11 months ago
2004
Springer
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...
136
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
198
click to vote
ADAEUROPE
2007
Springer
16 years 13 days ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...