Title :
IEE Tutorial Colloquium on `Formal Methods and Notations Applicable to Telecommunications´ (Digest No.061)
Abstract :
The following topics were dealt with: formal description techniques; abstract syntax notation one (ASN.1); specification and description language (SDL); hypertext; MASCOT 3 modular software construction; object oriented analysis; and configuration management
Keywords :
formal specification; hypermedia; object-oriented programming; software engineering; specification languages; telecommunications computing; ASN.1; MASCOT 3; SDL; abstract syntax notation one; configuration management; formal description techniques; hypertext; modular software construction; object oriented analysis; specification and description language; telecommunications software;
Conference_Titel :
Formal Methods and Notations Applicable to Telecommunications, IEE Tutorial Colloquium on
Conference_Location :
London
