1823 search results - page 195 / 365 » Formal specification: a roadmap |
136
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...
105
click to vote
FLAIRS
2007
15 years 6 months ago
2007
In this paper we discuss a rigorous foundation of similarity reasoning based on the concept of utility. If utility is formulated in mathematical terms it can serve as a formal spe...
154
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the singleagent case, based on the notion of interpretation, to th...
119
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
144
click to vote
ADBIS
2007
Springer
15 years 6 months ago
2007
Springer
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...