Search Sciweavers | Sciweavers

177 search results - page 4 / 36

» Formal agent-oriented modeling with UML and graph transforma...

click to vote

FASE
2001
Springer

91views Software Engineering» more FASE 2001»

Strengthening UML Collaboration Diagrams by State Transformations

14 years 1 days ago

Download www.cs.pitt.edu

Abstract. Collaboration diagrams as described in the oﬃcial UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...

Reiko Heckel, Stefan Sauer

claim paper

Read More »

click to vote

JUCS
2002

146views more JUCS 2002»

A Framework for Semantics of UML Sequence Diagrams in PVS

13 years 7 months ago

Download www.jucs.org

: 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...

Demissie B. Aredo

claim paper

Read More »

click to vote

ACSC
2004
IEEE

114views Theoretical Computer Science» more ACSC 2004»

Formalization of UML Statechart Models Using Concurrent Regular Expressions

13 years 11 months ago

Download crpit.com

The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...

S. Jansamak, A. Surarerks

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

14 years 14 days ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »