369 search results - page 1 / 74 » Verification of UML Model Elements Using B |
46
Voted
JISE
2006
15 years 13 days ago
2006
127
Voted
JUCS
2002
15 years 4 days 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...
116
Voted
SAC
2006
ACM
15 years 12 days ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
101
click to vote
UML
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
104
Voted
ENTCS
2006
15 years 15 days ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...