DocumentCode
277535
Title
SPECS methods for FDTs
Author
Reed, Rick
Author_Institution
Telecommun. Software Eng. Ltd., Lutterworth, UK
fYear
1992
fDate
33682
Firstpage
42370
Lastpage
42373
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;
fLanguage
English
Publisher
iet
Conference_Titel
Formal Methods and Notations Applicable to Telecommunications, IEE Tutorial Colloquium on
Conference_Location
London
Type
conf
Filename
170077
Link To Document