306 search results - page 10 / 62 » UML Semantics FAQ |
124
Voted
TAMODIA
2007
15 years 3 months ago
2007
Many model-based approaches for user interface design start from a task model, for which the ConcurTaskTrees notation is frequently used. Despite this popularity and the importance...
144
Voted
JOT
2008
15 years 2 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
132
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
128
Voted
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
142
Voted
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...