Title :
Software engineering using SDL
Author_Institution :
BT Labs., BT Networks & Services, Ipswich, UK
Abstract :
For the past five years the Protocol Interworking group within BT has been responsible for the design and implementation of telecommunications products. These products are used to integrate peripheral equipment into the telecom network and to solve protocol interworking problems as part of the offering of commercial telecom services. The development of these products has been achieved by adopting a software development process based around the formal language SDL
Keywords :
formal languages; formal specification; formal verification; protocols; specification languages; telecommunication computing; telecommunication equipment; telecommunication services; Protocol Interworking group; SDL formal language; commercial telecom services; peripheral equipment integration; protocol interworking problems; software development process; software engineering; telecom network; telecommunications product design; telecommunications product implementation;
Conference_Titel :
Practical Application of Formal Methods, IEE Colloquium on
Conference_Location :
London
DOI :
10.1049/ic:19950711
