Search Sciweavers | Sciweavers

101 search results - page 6 / 21

» Symbolic message sequence charts

120

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 7 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 6 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 6 months ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

101

Voted

MODELLIERUNG
2008

91views Software Engineering» more MODELLIERUNG 2008»

Transforming Message Sequence Charts for Testing

15 years 4 months ago

Download subs.emis.de

Oscar Slotosch

claim paper

Read More »

101

click to vote

FORTE
2003

104views Formal Methods» more FORTE 2003»

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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers