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)

Country

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
Results/page:
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