You are here: Foswiki>UCM Web>UCMVirtualLibrary>VirLibSbrc2000 (21 Oct 2005, YongHe)Edit Attach


The Telecommunications industry’s demand has grown immensely for cost-effective methods for software validation & verification of mobile products. Semi-formal methods such as Use Case Maps and formal methods such as SDL are starting to be widely used. In this paper we show how to integrate these two techniques in terms of quickly validating high level designs in SDL against desired abstract behaviours in UCM notation.


  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language
Authors I.S. Sales and R.L. Probert
Type Conference
Conference/Journal Title 18th Brazilian Symposium on Computer Networks (SBRC2000)
Month May
Year 2000
Keywords Use Case Maps, SDL, Mobile Systems, Telecommunications Software Engineering
Topic attachments
I Attachment Action Size Date Who Comment
sbrc2000.pdfpdf sbrc2000.pdf manage 166 K 21 Oct 2005 - 16:01 UnknownUser Paper
sbrc2000pres.pdfpdf sbrc2000pres.pdf manage 483 K 21 Oct 2005 - 16:23 UnknownUser Presentation
Topic revision: r1 - 21 Oct 2005, YongHe
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback