532 search results - page 5 / 107 » The UML as a Formal Modeling Notation |
ROOM
2000
13 years 9 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
ROOM
2000
13 years 9 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
ICALT
2005
IEEE
14 years 1 months ago
2005
IEEE
Up to date, there is no standardized notation scheme for modeling SCORM-conformant contents. It is a time-consuming process to build up a new and widely-acceptable notation scheme...
HASE
1999
IEEE
13 years 12 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
FM
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...