DocumentCode
277534
Title
IEE Tutorial Colloquium on `Formal Methods and Notations Applicable to Telecommunications´ (Digest No.061)
fYear
1992
fDate
33682
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;
fLanguage
English
Publisher
iet
Conference_Titel
Formal Methods and Notations Applicable to Telecommunications, IEE Tutorial Colloquium on
Conference_Location
London
Type
conf
Filename
170075
Link To Document