10263 search results - page 15 / 2053 » From Use Cases to System Operation Specifications |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
ENVSOFT
2007
13 years 7 months ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...
EUROMICRO
2000
IEEE
13 years 12 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
POS
1998
Springer
13 years 11 months ago
1998
Springer
The Object Management Group (OMG) have defined mechanisms to support the persistence of CORBA objects with both the now deprecated Persistent Object Service (POS) and the new Pers...
AI
2003
Springer
14 years 22 days ago
2003
Springer
The problem of repair and maintenance of complex systems, such as aircraft, cars and trucks is certainly a nontrivial task. Maintenance technicians must use a great amount of knowl...