Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
SAM
2000
89views Hardware» more  SAM 2000»
11 years 6 months ago
HyperMSC - a Graphical Representation of TTCN
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
SAM
2000
102views Hardware» more  SAM 2000»
11 years 6 months ago
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications
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
SAM
2000
80views Hardware» more  SAM 2000»
11 years 6 months ago
SDL for Real-Time: What is Missing?
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent...
SAM
2004
97views Hardware» more  SAM 2004»
11 years 6 months ago
SDL in a Changing World
Edel Sherratt
SAM
2004
98views Hardware» more  SAM 2004»
11 years 6 months ago
Scenario Synthesis from Imprecise Requirements
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
SAM
2004
103views Hardware» more  SAM 2004»
11 years 6 months ago
Early Validation of Deployment and Scheduling Constraints for MSC Specifications
Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao...
SAM
2004
93views Hardware» more  SAM 2004»
11 years 6 months ago
Validating Wireless Protocol Conformance Test Cases
Paresh Jain, Amresh Paresh Jain
books