Search Sciweavers | Sciweavers

101 search results - page 6 / 21

» Symbolic message sequence charts

click to vote

ICFEM
1998
Springer

98views Software Engineering» more ICFEM 1998»

Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts

15 years 1 months ago

Download www4.in.tum.de

We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...

Manfred Broy, Ingolf Krüger

claim paper

Read More »

click to vote

ICSE
2000
IEEE-ACM

81views Software Engineering» more ICSE 2000»

Inference of message sequence charts

15 years 1 months ago

Download spic.kaist.ac.kr

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis

claim paper

Read More »

click to vote

MFCS
2000
Springer

77views Theoretical Computer Science» more MFCS 2000»

Regular Collections of Message Sequence Charts

15 years 1 months ago

Download www.comp.nus.edu.sg

Jesper G. Henriksen, Madhavan Mukund, K. Narayan K...

claim paper

Read More »

click to vote

MODELLIERUNG
2008

91views Software Engineering» more MODELLIERUNG 2008»

Transforming Message Sequence Charts for Testing

14 years 11 months ago

Download subs.emis.de

Oscar Slotosch

claim paper

Read More »

click to vote

FORTE
2003

104views Formal Methods» more FORTE 2003»

Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers