369 search results - page 8 / 74 » Verification of UML Model Elements Using B |
154
Voted
AAMAS
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conc...
134
click to vote
STTT
2010
14 years 11 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
128
click to vote
ASM
2008
ASM
15 years 7 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
150
click to vote
ISORC
2000
IEEE
15 years 8 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
158
Voted
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class...