Search Sciweavers | Sciweavers

18

SDL
2007

171views Hardware» more SDL 2007»

Model Driven Development and Code Generation: An Automotive Case Study

13 years 7 months ago

Describing an application as a simple composition of services allows advanced features that exploit diﬀerent platforms to be conceived e formalized at a high abstraction level. S...

Michele Banci, Alessandro Fantechi, Stefania Gnesi...

claim paper

Read More »

16

click to vote

FMOODS
2003

129views Formal Methods» more FMOODS 2003»

Engineering the SDL Formal Language Definition

13 years 7 months ago

Download www.iis.nsk.su

Andreas Prinz, Martin von Löwis

claim paper

Read More »

10

click to vote

FORTE
1994

112views Formal Methods» more FORTE 1994»

An attempt to embed a restricted version of SDL as a target language in Focus

13 years 7 months ago

Download www4.in.tum.de

Eckhardt Holz, Ketil Stølen

claim paper

Read More »

18

click to vote

SDL
2001

78views Hardware» more SDL 2001»

Using Message Sequence Charts to Accelerate Maintenance of Existing Systems

13 years 7 months ago

Download panda.ispras.ru

In this paper we describe our experiences in building tools for accelerating maintenance of existing large telecommunications software. We discuss how various maintenance activitie...

Nikolai Mansurov, Djenana Campara

claim paper

Read More »

14

click to vote

FORTE
1996

187views Formal Methods» more FORTE 1996»

Combined Application of SDL-92, OMT, MSC and TTCN

13 years 7 months ago

Download paginas.fe.up.pt

The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...

Eurico Inocêncio, Manuel Ricardo, Hitoshi Sa...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers