([shulhqfhviurpp8vlqjj06&80/dqgg6'/lqqwkh'hyhorsphqw Riiwkhh)$0((&rppxqlfdwlrqq0dqdjhu 2xwolqhhri'hyhorsphqw 2.1 System to Be Developed


This paper presents experiences from using formal description techniques and the CASE-tool SDT in the development of a communication manager. UML use-case and class diagrams together with MSCs were used for requirements capture. The design specification was written in SDL and C. The final implementation in C was to a large extent generated automatically… (More)


1 Figure or Table