963 search results - page 60 / 193 » Formal Analysis of BPMN Models Using Event-B |
102
click to vote
SAFECOMP
1998
Springer
15 years 5 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
ICFCA
2009
Springer
15 years 8 months ago
2009
Springer
This paper revisits the lattice-based thesaurus models which Margaret Masterman used for machine translation in the 1950’s and 60’s. Masterman’s notions are mapped onto moder...
110
click to vote
INTERACT
2003
15 years 2 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
100
click to vote
IAT
2003
IEEE
15 years 6 months ago
2003
IEEE
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...