This page intentionally left blank. REQUIREMENTS FOR TELECOMMUNICATIONS SERVICES: AN ATTACK ON COMPLEXITY
Download:
|
|
by Pamela Zave, Michael Jackson
http://www.research.att.com/~pamela/re97.ps.gz
Add To MetaCart
Abstract:
In engineering the requirements for a telecommunications system, the greatest obstacle to be overcome is the sheer complexity of the required behavior. We present several ways of managing and minimizing this complexity, all of proven effectiveness. Most of the specification techniques result from specific application of general requirements principles to the telecommunications domain. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Citations
| 7 | A rely and guarantee method for Timed CSP: A specification and design of a telephone exchange – Kay, Reed - 1993 |
| 7 | SDL-CCITT Specification and Description Language – Rockstroem, Saracco - 1982 |
| 3 | Introduction to HOL. Cambridge – Gordon, Gordon, et al. - 1993 |
