261 search results - page 4 / 53 » Formal Proof from UML Models |
COMPSAC
2002
IEEE
13 years 11 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
ICSM
2005
IEEE
13 years 12 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
JOT
2010
13 years 4 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
CAISE
2000
Springer
13 years 10 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
ASM
2003
ASM
13 years 11 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...