SAM 2004 | Sciweavers

33

SAM
2000

89views Hardware» more SAM 2000»

HyperMSC - a Graphical Representation of TTCN

14 years 1 months ago

Download www.swe.informatik.uni-goettingen.de

The development of an MSC based graphical representation of TTCN is part of the ETSI project STF 156 on 'Specification of a Message Sequence Chart/UML format, including valid...

Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski

claim paper

Read More »

45

click to vote

SAM
2000

102views Hardware» more SAM 2000»

Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications

14 years 1 months ago

Download www.irisa.fr

Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...

Olaf Henniger, Hasan Ural

claim paper

Read More »

34

click to vote

SAM
2000

80views Hardware» more SAM 2000»

SDL for Real-Time: What is Missing?

14 years 1 months ago

Download hal.archives-ouvertes.fr

Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent...

claim paper

Read More »

31

click to vote

SAM
2000

76views Hardware» more SAM 2000»

On the Relationship between use-case maps and Message Sequence Charts

14 years 1 months ago

Download www.irisa.fr

Francis Bordeleau, Donald Cameron

claim paper

Read More »

29

click to vote

SAM
2004

109views Hardware» more SAM 2004»

Guidelines for Using SDL in Product Development

14 years 1 months ago

Download www.site.uottawa.ca

Frank Weil, Thomas Weigert

claim paper

Read More »

24

click to vote

SAM
2004

97views Hardware» more SAM 2004»

SDL in a Changing World

14 years 1 months ago

Download www.site.uottawa.ca

Edel Sherratt

claim paper

Read More »

28

click to vote

SAM
2004

94views Hardware» more SAM 2004»

Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control

14 years 1 months ago

Download www.site.uottawa.ca

Arjan J. Mooij, Nicolae Goga

claim paper

Read More »

32

click to vote

SAM
2004

98views Hardware» more SAM 2004»

Scenario Synthesis from Imprecise Requirements

14 years 1 months ago

Download www.computing.surrey.ac.uk

Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...

Bill Mitchell, Robert Thomson, Paul Bristow

claim paper

Read More »

24

click to vote

SAM
2004

103views Hardware» more SAM 2004»

Early Validation of Deployment and Scheduling Constraints for MSC Specifications

14 years 1 months ago