Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Les informations sur les projets et maintenant aussi les résumés de rapports Horizon 2020 sont disponibles sur CORDIS. Tous les projets H2020 peuvent être téléchargés depuis le Portail des données ouvertes de l'UE .

My refinements

Download results of this page

Affiner par:

Type de contenu

Projet (26)


Allemagne (11)
Belgique (9)
Danemark (6)
France (14)
Grèce (3)
Irlande (5)
Italie (12)
Pays-Bas (4)
Royaume-Uni (22)

Advanced search

Rechercher des projets et résultats

Results 1 - 10 of 26
12 3 > 
ID: 792
This project aimed to produce, for inclusion in a support environment, the design of a portable optimising compiler capable of generating code of the highest quality. Therefore the major objective was to study the effectiveness of the Ada compiler optimisations, particularly t...
Programme: PRE-MAP
Record Number: 17321
Last updated on: 1994-01-29
ID: 755
Programme: PRE-MAP
Record Number: 17310
Last updated on: 1994-01-29
ID: 769
MIRA was designed to assist in the transformation of a specification into a reliable software product.
Programme: PRE-MAP
Record Number: 17315
Last updated on: 1994-01-29
ID: 785
The objective of this project was to investigate the feasibility of producing a formal design method with tool support for asynchronous concurrent systems. A further objective was to make the formal method a natural evolution from currently used pragmatic design methods based ...
Programme: PRE-MAP
Record Number: 17319
Last updated on: 1994-01-29
ID: 2564
This project tackled some of the limitations in the current definition of the PCTE. Apart from conceptual studies, prototypes were constructed providing: - Active and deductive features on top of the PCTE Object Data Base, allowing the triggering of actions when certain con...
Programme: PRE-MAP
Record Number: 17311
Last updated on: 1990-11-13
ID: 1023
The project resulted in a practical handbook for use by businessmen, describing, in non-technical terms the problems of maintaining data confidentiality and the requirements of legislation. It included a method of assessing compliance with legislation, and checklists to ens...
Programme: PRE-MAP
Record Number: 17327
Last updated on: 1990-11-13
ID: 1009D
The project treated various aspects of software integrity, including : - software corruption,; - illegal copying; - unauthorized use. The project identified common requirements related to software integrity. A book has been published from the project : SOFTWARE I...
Programme: PRE-MAP
Record Number: 17324
Last updated on: 1990-11-13
ID: 793
The project aimed at combining Ada and formal specification, design and validation (based on the VDM method), providing some prototype tools.
Programme: PRE-MAP
Record Number: 17322
Last updated on: 1994-01-29
ID: 786
Programme: PRE-MAP
Record Number: 17320
Last updated on: 1994-01-29
12 3 > 
List retrieved on: 2017-10-24