MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "UML and Concurrency." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

On the Concurrent Object Model of UML
by Iulian Ober, Ileana Stan — 1999 — In Proceedings of EUROPAR’99, LNCS
…On the Concurrent Object Model of UML * Iulian Ober, Ileana Stan INPT-ENSEEIHT, 2, rue Camichel…
Cited by 8 (5 self) – Add To MetaCart

Patterns in Model-Based Development
by D. Sinnig, P. Forbrig, A. Seffah — 2003 — in Position Paper in INTERACT 03 Workshop entitled: Software and
… underlying a generic notation for task patterns. Different views of patterns are suggested using UML…
Cited by 2 (1 self) – Add To MetaCart

The Complicity of Model-Based Approaches and Patterns for UI Engineering
by D. Sinnig, H. Javahery, P. Forbrig, A. Seffah — 2003 — in Proceedings of BIR
… using UML and Concurrent Task Tree notations. A first classification of patterns according to models…
Cited by 6 (2 self) – Add To MetaCart

Validation of UML Models via a Mapping to Communicating Extended Timed Automata
by Iulian Ober, Susanne Graf, Ileana Ober — 2004 — Proc. 11th Int. SPIN Workshop on Model Checking of Software, LNCS 2989, Springer-Verla
… for communication and concurrency. The UML dialect considered here, also includes a set of extensions for expressing…
Cited by 3 (2 self) – Add To MetaCart

Validating timed uml models by simulation and verification
by Iulian Ober, Susanne Graf, Ileana Ober — 2003 — In Workshop SVERTS on
…-tocompletion and concurrency semantics. This is an important point, as many previous approaches applying model checking to UML…
Cited by 22 (11 self) – Add To MetaCart

Automatic Code Generation based on Formally Analyzed UML Statechart Models
by Gergely Pintér, István Majzik — 2003 — In Proc. Workshop on Formal Methods for Railway Operation and Control Systems
… of a state are running concurrently, this way UML concurrent composite states can be modeled by EHA…
Cited by 1 (1 self) – Add To MetaCart

D2.2.2 Tool set for system verification
by Annex Technical Overview, Iulian Ober, Susanne Graf, Ileana Ober
… for communication and concurrency. The UML dialect considered here, also includes a set of extensions for expressing…
Add To MetaCart

Model checking of UML models via a mapping to communicating extended timed automata
by Iulian Ober, Susanne Graf, Ileana Ober — 2004 — In 11th International SPIN Workshop on Model Checking of Software, 2004, volume 2989 of LNCS
… for communication and concurrency. The UML dialect considered here, also includes a set of extensions for expressing…
Cited by 11 (3 self) – Add To MetaCart

An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions
by Ileana Ober — 2003 — Abstract State Machines - Advances in Theory and Applications, 10th International Workshop, ASM 2003
…), etc. The concurrency model that we describe subsequently is inspired by the UML concurrency model we…
Cited by 5 (1 self) – Add To MetaCart

Testing the Consistency of Dynamic UML Diagrams
by Gregor Engels — 2002
… and extension of UML for concurrent object-oriented systems. UML-RT statechart diagrams are translated…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB