Sciweavers

92 search results - page 10 / 19
» uml 2000
Sort
View
ROOM
2000
15 years 1 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
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...
Pascal André, Annya Romanczuk, Jean-Claude ...
FMOODS
2000
15 years 1 months ago
Requirements Level Semantics for UML Statecharts
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
Rik Eshuis, Roel Wieringa
84
Voted
WSC
2000
15 years 1 months ago
Java engine for UML based hybrid state machines
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
Andrei Borshchev, Yuri B. Kolesov, Yuri B. Seniche...
OODBS
2000
147views Database» more  OODBS 2000»
15 years 3 months ago
Towards a Unified Query-by-Example (UQBE): UML as a Basis for a Generic Graphical Query Language
A generic graphical query language for ODMG-compliant object databases is proposed, based on the ideas of Query-By-Example, and using UML-like diagrams as schema notation. Ease of ...
Miguel Ángel Sicilia Urbán, Elena Ga...
ESAW
2000
Springer
15 years 3 months ago
Exploiting UML in the Design of Multi-agent Systems
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
Federico Bergenti, Agostino Poggi