next up previous

Final Report of the COST-247 Action


EXPERIENCE OF USING SDL IN ISKRATEL

Ana Robnik

ISKRATEL
Ljubljanska c. 24a, SI-4000 Kranj, Slovenia
Email: robnik@iskratel.si
Tel: +386 64 272-686
Fax: +386 64 221-525

Abstract:

This paper summarises the experience of introducing SDL and MSC and also reflects recent and future work in the ISKRATEL company. ISKRATEL SDL Methodology (ISDLM) and prototype development CASE Study are briefly reviewed here. The extended and added features during the design, simulation and implementation phases are described in detail. The final results of the prototype and products development are being discussed here. Finally, the experience of using SDL-88 and the GEODE tool is mentioned, as are our future plans and expectations.

This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).

COST-247 Working Group(s): 4


This Page was prepared by Mark Jorgensen.


Back to the VASY Home page