Community Research and Development Information Service - CORDIS

Horizon 2020 project information and now also report summaries are available on CORDIS. All H2020 projects can be downloaded from the EU Open Data Portal .

My refinements

Download results of this page

Refine by:

Content type

Project (26)


Belgium (9)
Denmark (6)
France (14)
Germany (11)
Greece (3)
Ireland (5)
Italy (12)
Netherlands (4)
United Kingdom (22)

Advanced search

Search projects and results

Results 1 - 10 of 26
12 3 > 
ID: 761B
The prime aim of the project was to validate the formal solutions identified in MAP 761 in a series of studies and experiments.
Programme: PRE-MAP
Record Number: 17333
Last updated on: 1990-11-16
ID: 773B
The prime aim of the project was to implement the chosen architecture in a series of industrial prototypes and evaluate these.
Programme: PRE-MAP
Record Number: 17334
Last updated on: 1994-01-29
[PROJECT] DIADEM - Ada on a Distributed Target
ID: 770
The aim of the project was to experiment with the implementation of a microprocessor architecture with a distributed run-time system supporting Ada and reconfiguration.
Programme: PRE-MAP
Record Number: 17316
Last updated on: 1994-01-29
ID: 755
With support from Olivetti, one of the partners in the Portable Ada Programming System (PAPS) project carried out under the 1979-1983 part of the MAP/Ada programme (Olivetti was one of the organisations involved in the ESPRIT project that defined the PCTE (Portable Common To...
Programme: PRE-MAP
Record Number: 17310
Last updated on: 1990-11-13
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: 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
12 3 > 
List retrieved on: 2018-04-20
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top