The usage of MSC with uBET-toolsupport in the software development process

S. Mauw, B.T. Knaack

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

32 Downloads (Pure)

Abstract

The usage of formal methods and design tools in the software development process is becoming a key issue in the industrial software development world. In this light we studied the Lucent Technologies software design process. We describe the MSC-requirements description method and investigate how the usage of MSC an aid in the software design process. Furthermore we look at the uBET-tool for the support of MSC deployment and compare the uBET syntax and semantics with the formal MSC definition.
Original languageEnglish
Title of host publicationInternational call processing symposium
PublisherLucent Technologies
Publication statusPublished - 1999
Eventconference; International call processing symposium -
Duration: 1 Jan 1999 → …

Conference

Conferenceconference; International call processing symposium
Period1/01/99 → …
OtherInternational call processing symposium

Fingerprint

Dive into the research topics of 'The usage of MSC with uBET-toolsupport in the software development process'. Together they form a unique fingerprint.

Cite this