963 search results - page 51 / 193 » Formal Analysis of BPMN Models Using Event-B |
131
click to vote
JUCS
2002
15 years 1 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
122
click to vote
ISSRE
2000
IEEE
15 years 5 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
118
click to vote
ASWEC
2009
IEEE
15 years 8 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
115
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
121
click to vote
IFM
2010
Springer
14 years 12 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...