Sciweavers

2 search results - page 1 / 1
» Why Timed Sequence Diagrams Require Three-Event Semantics
Sort
View
DAGSTUHL
2003
13 years 5 months ago
Why Timed Sequence Diagrams Require Three-Event Semantics
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...
Øystein Haugen, Knut Eilif Husa, Ragnhild K...
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
13 years 11 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...