You are here: UCM Web>UCMVirtualLibrary>VirLibSbrc2000 (21 Oct 2005)


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.

Form For Virtual Library 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
pdfpdf sbrc2000.pdf manage 166.2 K 21 Oct 2005 - 16:01 Unknown User Paper
pdfpdf sbrc2000pres.pdf manage 483.7 K 21 Oct 2005 - 16:23 Unknown User Presentation
Topic revision: r1 - 21 Oct 2005 - 16:03:39 - Yong He?
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