Skip to Main Content
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.
Note: The Institute of Electrical and Electronics Engineers, Incorporated is distributing this Article with permission of the International Business Machines Corporation (IBM) who is the exclusive owner. The recipient of this Article may not assign, sublicense, lease, rent or otherwise transfer, reproduce, prepare derivative works, publicly display or perform, or distribute the Article.