Application, Measurement and Dissemination of a Mathematically Formal Methodology

Informations projet

MAFMETH

N° de convention de subvention: 10619

Projet clôturé

Date de début 21 Mars 1994

Date de fin 20 Mai 1995

Financé au titre de

• The ESSI accompanying measure within the framework of the Specific Research and Technological Development programme in the field of Information Technologies, 1990-1994

Coût total € 219 700,00

Contribution de l’UE € 219 700,00

Coordonné par

Bull Information Systems
United Kingdom

Objectif

Apply a complete, mathematically formal methodology to the development of part of a high integrity system.

Measure and evaluate the effectiveness of the methodology in comparison with existing practices.

Publish the results of the project for the benefit of industry and the formal methods community.

Programme(s)

• FP3-ESSI 1 - The ESSI accompanying measure within the framework of the Specific Research and Technological Development programme in the field of Information Technologies, 1990-1994

Thème(s)

• 1 - Accompanying measures for the specific programme of research and technological development in the field of information technologies

Appel à propositions

Data not available

Régime de financement

CSC - Cost-sharing contracts

Coordinateur

Bull Information Systems

• Contribution de l’UE: Aucune donnée
• Adresse: Maxted Road ; HP2 7DZ Hemel Hempstead ; Royaume-Uni
• Coût total: Aucune donnée