853 search results - page 1 / 171 » A supporting system for verification among models of the UML |
SCJAPAN
2002
13 years 5 months ago
2002
JUCS
2002
13 years 5 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...
JOT
2008
13 years 6 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
SIGSOFT
2001
ACM
14 years 6 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...