THE EUROPEAN TELECOMMUNICATIONS RESEARCH-AND-DEVELOPMENT PROGRAM RACE AND ITS SOFTWARE PROJECT SPECS

被引：1
|
作者：
DAUPHIN, M
MARQUES, MM
MULLERY, AP
RODIER, P
机构：
[1] INST ENGN SISTEMAS & COMP,COMMUN SOFTWARE ENGN GRP,P-1000 LISBON,PORTUGAL
[2] IBM CORP,CTR ETUD & RECH,RACE EUROPEAN TELECOM PROJECTS,F-06610 LA GARDE,FRANCE
[3] CO IBM FRANCE,F-92066 PARIS 50,FRANCE
来源：
IBM SYSTEMS JOURNAL | 1992年 / 31卷 / 04期
关键词：
D O I：
10.1147/sj.314.0649
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：649 / 667
页数：19
相关论文
共 50 条
  • [11] EUROPEAN RESEARCH-AND-DEVELOPMENT PROJECTS AND INITIATIVES
    不详
    JOURNAL OF THE SOCIETY OF DYERS AND COLOURISTS, 1992, 108 (7-8): : 298 - 299
  • [12] CHEMISTRY AND THE 4TH EUROPEAN-UNION RESEARCH-AND-DEVELOPMENT PROGRAM
    QUIVORON, C
    ACTUALITE CHIMIQUE, 1995, (03): : 11 - 14
  • [13] THE ICARUS RESEARCH-AND-DEVELOPMENT PROGRAM AND RESULTS
    BENETTI, P
    CALLIGARICH, E
    DOLFINI, R
    BERZOLARI, AG
    MAURI, F
    MAZZONE, L
    MONTANARI, C
    PIAZZOLI, A
    RAPPOLDI, A
    RASELLI, GL
    SCANNICCHIO, D
    BETTINI, A
    CASAGRANDE, F
    CASOLI, P
    CENTRO, S
    DAINESE, B
    DEVECCHI, C
    GASPARINI, F
    MURATORI, G
    PEPATO, A
    PIETROPAOLO, F
    ROSSI, P
    SUZUKI, S
    VENTURA, S
    CAVANNA, F
    MORTARI, GP
    CENNINI, P
    CITTOLIN, S
    RUBBIA, C
    CHENG, M
    CLINE, D
    OTWINOWSKI, S
    ZHOU, M
    FORTSON, L
    PICCHI, P
    WANG, H
    PERIALE, L
    NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 1993, 327 (01): : 173 - 177
  • [14] RESEARCH-AND-DEVELOPMENT SOFTWARE USERS DEFINE THEIR NEEDS
    RUSSELL, CH
    RESEARCH & DEVELOPMENT, 1985, 27 (12): : 46 - 49
  • [15] PROJECT-PLANNING IN SOVIET RESEARCH-AND-DEVELOPMENT
    FORTESCUE, S
    RESEARCH POLICY, 1985, 14 (05) : 267 - 282
  • [16] ELECTRONIC PROJECT NOTEBOOKS AT PILLSBURY RESEARCH-AND-DEVELOPMENT
    TCHOBANOFF, JB
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1993, 206 : 38 - CINF
  • [17] ARE RESEARCH-AND-DEVELOPMENT PROJECT TERMINATION FACTORS UNIVERSAL
    BALACHANDRA, R
    BROCKHOFF, K
    RESEARCH-TECHNOLOGY MANAGEMENT, 1995, 38 (04) : 31 - 36
  • [18] EUROPEAN COMMUNITIES POLICY IN THE SPHERE OF RESEARCH-AND-DEVELOPMENT
    TIKAL, S
    EKONOMICKY CASOPIS, 1993, 41 (11-12): : 815 - 830
  • [19] EUROPEAN COMMUNITY GUIDES PHOTONICS RESEARCH-AND-DEVELOPMENT
    不详
    PHOTONICS SPECTRA, 1990, 24 (12) : 72 - 72
  • [20] LARGE EUROPEAN MANUFACTURERS AND THE MANAGEMENT OF RESEARCH-AND-DEVELOPMENT
    DEMEYER, A
    R & D MANAGEMENT, 1986, 16 (02) : 81 - 88
12345