1239 search results - page 102 / 248 » Applying Model Checking to Concurrent UML Models |
CAV
2010
Springer
14 years 24 days ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
PKDD
2000
Springer
14 years 16 days ago
2000
Springer
Although there is a growing need for multi-relational data mining solutions in KDD, the use of obvious candidates from the field of Inductive Logic Programming (ILP) has been limit...
FASE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
GC
2004
Springer
14 years 2 months ago
2004
Springer
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statechar...
BIRTHDAY
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...