652 search results - page 40 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
ISBI
2002
IEEE
15 years 3 months ago
2002
IEEE
We have previously shown a new method of merging a direct view of the patient with an ultrasound image displayed in situ within the patient, using a half-silvered mirror. We call ...
73
Voted
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
76
Voted
UML
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
104
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...