532 search results - page 1 / 107 » The UML as a Formal Modeling Notation |
UML
1998
Springer
13 years 9 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
SIGSOFT
2001
ACM
14 years 5 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...
ACSD
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
JUCS
2002
13 years 4 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...
ITNG
2008
IEEE
13 years 11 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...