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