Why Timed Sequence Diagrams Require Three-Event Semantics
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Why Timed Sequence Diagrams Require Three-Event SemanticsLecture Notes in Computer Science, 2005
- Specifying and executing behavioral requirements: the play-in/play-out approachSoftware and Systems Modeling, 2003
- STAIRS – Steps To Analyze Interactions with Refinement SemanticsLecture Notes in Computer Science, 2003
- MSC-2000 interaction diagrams for the new millenniumComputer Networks, 2001
- Specification and Development of Interactive SystemsPublished by Springer Science and Business Media LLC ,2001
- Lsc’s: Breathing Life Into Message Sequence ChartsPublished by Springer Science and Business Media LLC ,1999
- A Hierarchy of Communication Models for Message Sequence ChartsPublished by Springer Science and Business Media LLC ,1997