Search Sciweavers | Sciweavers

9

click to vote

SDL
2003

100views Hardware» more SDL 2003»

A Real-Time Profile for UML and How to Adapt It to SDL

13 years 6 months ago

Download www-verimag.imag.fr

Susanne Graf, Ileana Ober

claim paper

Read More »

16

click to vote

SDL
2003

158views Hardware» more SDL 2003»

Automatic Formal Model Generation and Analysis of SDL

13 years 6 months ago

Download www.kolumbus.fi

A tool for veriﬁcation of distributed systems deﬁned using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...

Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi

claim paper

Read More »

15

click to vote

SDL
2003

147views Hardware» more SDL 2003»

Modelling and Evaluation of a Network on Chip Architecture Using SDL

13 years 6 months ago

Download hem.hj.se

Network on Chip (NoC) is a new paradigm for designing large and complex systems on chips (SoCs). In this paradigm, a packet switched network is provided for on-chip communication. ...

Rickard Holsmark, Magnus Högberg, Shashi Kuma...

claim paper

Read More »

13

click to vote

FMOODS
2003

129views Formal Methods» more FMOODS 2003»

Engineering the SDL Formal Language Definition

13 years 6 months ago

Download www.iis.nsk.su

Andreas Prinz, Martin von Löwis

claim paper

Read More »

10

click to vote

SEFM
2003
IEEE

82views Software Engineering» more SEFM 2003»

Architecting Specifications for Test Case Generation

13 years 10 months ago

Download www.nesc.ac.uk

The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...

Richard O. Sinnott

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers