Affordable Access

Publisher Website

SPECS: Formal methods and techniques for telecommunications software development

Authors
Journal
Microprocessing and Microprogramming
0165-6074
Publisher
Elsevier
Publication Date
Volume
35
Identifiers
DOI: 10.1016/0165-6074(92)90304-p
Disciplines
  • Communication
  • Linguistics

Abstract

Abstract The SPECS project, part of the RACE Programme of the EEC, has defined an open methodology and an open support architecture for the rapid and cost-effective development of the software for the IBC, the future European broadband communications network. The SPECS methodology recommends the extensive use of formal specification languages as a basis for maximum automation. Through the concept of semantic integration, the SPECS architecture provides support for several specification languages, including the possibility to mix them in a given system description. The SPECS approach is being validated by a pilot case study that uses prototype implementation of the SPECS architecture, supporting the standardised specification languages SDL and LOTOS.

There are no comments yet on this publication. Be the first to share your thoughts.