Search Sciweavers | Sciweavers

361 search results - page 24 / 73

» Message Sequence Charts

click to vote

AAAI
2000

129views Intelligent Agents» more AAAI 2000»

The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite

13 years 9 months ago

Download www.aaai.org

or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...

K. Suzanne Barber, Thomas J. Graser, Paul Grisham,...

claim paper

Read More »

click to vote

CORR
2010
Springer

176views Education» more CORR 2010»

Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification

13 years 7 months ago

Download www.ijcim.th.org

Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...

Kamrul Hasan Talukder

claim paper

Read More »

click to vote

ISOLA
2010
Springer

161views Formal Methods» more ISOLA 2010»

Analysing Message Sequence Graph Specifications

13 years 5 months ago

Download drona.csa.iisc.ernet.in

We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...

Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar

claim paper

Read More »

click to vote

MFCS
1999
Springer

79views Theoretical Computer Science» more MFCS 1999»

Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces

13 years 11 months ago