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:

Advanced search

Search projects and results

Results 1 - 10 of 392
Order by: Results/page:
12 3 4 5 6 7 8 9 10 > >| 
ID: FP4_23855
Start date: 1997-04-01, End date: 1998-06-30
TSc is a supplier of international telecommunications equipment which contain elements of integrated hardware, software and mechanical engineering. The software element continues to grow in importance and size and is often now the only differentiator in the market. With this i...
Programme: FP4-ESSI 2
Record Number: 36616
Last updated on: 2012-07-24
ID: FP4_24362
Start date: 1997-03-01, End date: 1998-02-28
The main business of TeSSA is "giving extensive and unlimited support for building business solutions". A great part of these solutions are IT solutions. The core activities in TeSSA are developing AND implementing quality software systems. We are aware that testing procedures...
Programme: FP4-ESSI 2
Record Number: 35824
Last updated on: 2012-07-24
ID: FP4_21433
Start date: 1996-01-01, End date: 1997-06-30
This ESSI Process Improvement Experiment (PIE) is aimed at improving the current Space Software Italy's (SSI) Configuration Management (CM) practices with the support of the CCC/Harvest tool during an industrial software development project. As a direct result of the experimen...
Programme: FP4-ESSI 2
Record Number: 33709
Last updated on: 2012-07-19
ID: 23873
Start date: 1997-03-03, End date: 1999-03-02
SPIRE's objectives are to lower the barriers preventing SSDs from successful participation in SPI by: raising awareness of SPI benefits among decision makers and change agents in SSDs educating participating SSD managers and staff in practical SPI skills helping SSDs to maint...
Programme: FP4-ESSI 2
Record Number: 35778
Last updated on: 2002-11-20
ID: 21375
Start date: 1996-01-01, End date: 1997-09-30
To allay the apprehensions of organisations considering using formal methods, possibly for the first time, by providing them with information based on experience to date which will help in their decisions processes and strategy formation. This will be done by setting up inform...
Programme: FP4-ESSI 2
Record Number: 33702
Last updated on: 2002-10-21
ID: FP4_21377
Start date: 1996-06-15, End date: 1997-12-14
The objective of this project is to increase the awareness of organisations developing software of the existence, potential benefits, and state-of-the-art of formal methods. The seminars are intended to teach the situations in which the application of formal methods is appropr...
Programme: FP4-ESSI 2
Record Number: 33781
Last updated on: 2002-10-21
ID: 21641
Start date: 1996-01-01, End date: 1996-12-31
The airlines in the network are locked into legacy operational systems vital to their businesses, but prohibitively costly to migrate. They need to define a generic migration approach which each airline can use as a template when subsequently migrating from a legacy environmen...
Programme: FP4-ESSI 2
Record Number: 33733
Last updated on: 2002-10-21
ID: 21694
Start date: 1996-09-01, End date: 1998-02-28
Software process improvements have not achieved the desired improvements in product quality. This project raises awareness of quality issues in software products, and work in product evaluation leading to improving the quality of products.
Programme: FP4-ESSI 2
Record Number: 33635
Last updated on: 2002-10-21
ID: 21813
Start date: 1996-01-01, End date: 1997-06-30
- To provide the European User Community and Industry with a picture of what is being successfully experimented and consolidated in the international software market with regard to organisation and processes, methods and standards, and technologies and tools. - To establish a ...
Programme: FP4-ESSI 2
Record Number: 33749
Last updated on: 2002-10-21
ID: 21703
Start date: 1996-01-01, End date: 1997-03-31
We propose video and multimedia Management guide-books on formal methods. Formal methods are particularly appropriate for use in high integrity systems and others, such as high volume applications, where the cost of malfunction is high. They have recently been used in industri...
Programme: FP4-ESSI 2
Record Number: 33813
Last updated on: 2002-10-21
12 3 4 5 6 7 8 9 10 > >| 
List retrieved on: 2018-04-22
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top