The European telecommunications research and development program RACE and its software project SPECS

This paper presents the RACE program and the objectives and achievements of SPECS, a representative RACE project. The European Commission has set up the research and development program RACE for the preparation and promotion of an integrated broadband communication system in Europe. The SPECS project develops methods and techniques for the development of the complex software needed by this communication system. Its approach is the use of formal methods and maximum automation. A unique feature of this approach is the support of multiple specification languages, including the ability to mix specification languages within a given system design.