From High-Level Behaviour to High-Level Design : Use Case Maps to Specification and Description Language

@inproceedings{Salesisales2000FromHB,
  title={From High-Level Behaviour to High-Level Design : Use Case Maps to Specification and Description Language},
  author={Igor S. Sales-isales and Robert L. Probert-bob},
  year={2000}
}
  • Igor S. Sales-isales, Robert L. Probert-bob
  • Published 2000
The Telecommunications industry's demand hás 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 ofquickly validating high levei designs in SDL against desired abstract behaviours in UCM notation.