Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

Informacje o projektach programu „Horyzont 2020” , a teraz także streszczenia sprawozdań , są dostępne w serwisie CORDIS. Wszystkie projekty H2020 można pobrać z Portalu Otwartych Danych UE .

My refinements


Download results of this page


Filtruj wg:

Rodzaj treści

Projekt (26)

Kraj

Belgia (9)
Dania (6)
Francja (14)
Grecja (3)
Irlandia (5)
Niderlandy (4)
Niemcy (11)
Włochy (12)
Zjednoczone Królestwo (22)

Advanced search

Wyszukiwanie projektów i wyników

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
[PROJEKT] 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: 2017-12-15
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę