5525 search results - page 291 / 1105 » Verification of Model Transformations |
122
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we aug...
168
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
173
click to vote
ROOM
2000
15 years 7 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
130
Voted
AMAI
2002
Springer
15 years 6 months ago
2002
Springer
Argumentation is a reasoning model based on the construction of arguments and counterarguments (defeaters) then the selection of the most acceptable of them. In this paper, we pro...
157
Voted
DATE
2008
IEEE
16 years 18 days ago
2008
IEEE
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...