10159 search results - page 286 / 2032 » System Design Validation Using Formal Models |
116
click to vote
FASE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
116
Voted
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
In the development of bus-based systems and individual PCB boards interfacing to a bus, the simulation usually requires a specific test bench or creation of quite complex stimuli....
150
click to vote
JCIT
2008
15 years 3 months ago
2008
The main objective of design methodology of a controller for forecasting cardiac arrest using fuzzy logic approach is to provide the prediction of period of life time for the pati...
116
click to vote
EWSA
2005
Springer
15 years 9 months ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
112
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
The recent release of UML 2.0 has corrected a lot of design diffi