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.
|Title of host publication||International call processing symposium|
|Publication status||Published - 1999|
|Event||conference; International call processing symposium - |
Duration: 1 Jan 1999 → …
|Conference||conference; International call processing symposium|
|Period||1/01/99 → …|
|Other||International call processing symposium|