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:

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
Order by: Results/page:
12 3 > 
ID: 2566
The aim of the project was to establish a complete design specification for a distributed database system : compatibility of logical models, transnational operation, relationship with current practice.
Programme: PRE-MAP
Record Number: 17330
Last updated on: 1994-01-29
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: 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
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
ID: 778
This was a fairly ambitious project aiming to cover a variety of topics including : specification of high level languages for data definition and data manipulation, studying methods for integrating the DDL's and DML's (data definition languages and data manipulation languages)...
Programme: PRE-MAP
Record Number: 17332
Last updated on: 1994-01-29
12 3 > 
List retrieved on: 2017-11-20
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top