Title :
SPECS methods for FDTs
Author_Institution :
Telecommun. Software Eng. Ltd., Lutterworth, UK
Abstract :
The Research and development in Advanced Communications technologies in Europe (RACE) programme recognised that an improved programming infrastructure (PI) would be needed for integrated broadband communications (IBC). Within this context the specification and programming environment for communication software (SPECS) project defines advanced methods and tools to provide maximum automation and optimization of the software engineering of IBC software from requirements and specification through design, implementation, test, execution, maintenance and adaptation. The author outlines SPECS methods for telecommunications software which utilise formal description techniques (FDTs) as a key element of the engineering process
Keywords :
formal specification; research initiatives; telecommunications computing; FDT; RACE; SPECS methods; adaptation; design; execution; formal description techniques; implementation; integrated broadband communications; maintenance; programming infrastructure; software engineering; specification and programming environment for communication software; telecommunications software; test;
Conference_Titel :
Formal Methods and Notations Applicable to Telecommunications, IEE Tutorial Colloquium on
Conference_Location :
London
