Formal Modeling in a Commercial Setting: A Case Study
| dc.creator | Wong, A. | |
| dc.creator | Chechik, M. | |
| dc.date | 1999-06-29 | |
| dc.date.accessioned | 2026-07-07T03:24:11Z | |
| dc.date.available | 2026-07-07T03:24:11Z | |
| dc.description | This paper describes a case study conducted in collaboration with Nortel to demonstrate the feasibility of applying formal modeling techniques to telecommunication systems. A formal description language, SDL, was chosen by our qualitative CASE tool evaluation to model a multimedia-messaging system described by an 80-page natural language specification. Our model was used to identify errors in the software requirements document and to derive test suites, shadowing the existing development process and keeping track of a variety of productivity data. | |
| dc.description | 18 pages, 5 figures, to appear in Proceedings of FM'99: World Congress on Formal Methods, September 1999 | |
| dc.identifier | https://arxiv.org/abs/cs/9906032 | |
| dc.identifier | http://arxiv.org/abs/cs/9906032 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/33230 | |
| dc.subject | Software Engineering | |
| dc.subject | F.3.1;K.6.3;D.2.7;D.2.5;D.2.1;C.3;D.2.4 | |
| dc.title | Formal Modeling in a Commercial Setting: A Case Study | |
| dc.type | text |