|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Escort: An Environment for Specifying Communication Requirements
March/April 1989 (vol. 6 no. 2)
pp. 38-43
| ASCII Text | x | ||
| Yasushi Wakahara, Yoshiaki Kakuda, Atsushi Ito, Eiji Utsunomiya, "Escort: An Environment for Specifying Communication Requirements," IEEE Software, vol. 6, no. 2, pp. 38-43, March/April, 1989. | |||
| BibTex | x | ||
| @article{ 10.1109/52.23128, author = {Yasushi Wakahara and Yoshiaki Kakuda and Atsushi Ito and Eiji Utsunomiya}, title = {Escort: An Environment for Specifying Communication Requirements}, journal ={IEEE Software}, volume = {6}, number = {2}, issn = {0740-7459}, year = {1989}, pages = {38-43}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.23128}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Escort: An Environment for Specifying Communication Requirements IS - 2 SN - 0740-7459 SP38 EP43 EPD - 38-43 A1 - Yasushi Wakahara, A1 - Yoshiaki Kakuda, A1 - Atsushi Ito, A1 - Eiji Utsunomiya, PY - 1989 KW - Escort; communication requirements; prototype specification support system; telecommunications software specifications; Unix; operating system; specification errors; grammar; specification language; syntax errors; logical errors; semantic errors; syntax analysis; validation; verification; grammars; program verification; programming environments; software tools; specification languages; telecommunications computing; Unix VL - 6 JA - IEEE Software ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.23128
A prototype specification support system, Escort, is described that incorporates novel validation, verification, and simplification methods for telecommunications software specifications. Unix was adapted as the operating system for Escort, and many of Escort's tools were designed and implemented by making full use of the Unix facilities. Escort identifies three kinds of specification errors: errors in the grammar of the specification language, called syntax errors; those that degrade consistency and completeness, called logical errors; and those that degrade correctness, called semantic errors. It detects these errors using syntax analysis, validation, and verification, respectively.
Index Terms:
Escort; communication requirements; prototype specification support system; telecommunications software specifications; Unix; operating system; specification errors; grammar; specification language; syntax errors; logical errors; semantic errors; syntax analysis; validation; verification; grammars; program verification; programming environments; software tools; specification languages; telecommunications computing; Unix
Citation:
Yasushi Wakahara, Yoshiaki Kakuda, Atsushi Ito, Eiji Utsunomiya, "Escort: An Environment for Specifying Communication Requirements," IEEE Software, vol. 6, no. 2, pp. 38-43, March-April 1989, doi:10.1109/52.23128
Usage of this product signifies your acceptance of the Terms of Use.