Industrial seminars on formal methods

Projektinformationen

FMEINDSEM

ID Finanzhilfevereinbarung: FP4_21377

Projekt abgeschlossen

Startdatum 15 Juni 1996

Enddatum 14 Dezember 1997

Finanziert unter

• Software Best Practice initiative within the framework of the specific research and technological development programme in the field of Information Technologies, 1994-1998

Gesamtkosten

€ 175 140,00

EU-Beitrag

€ 175 140,00

Koordiniert durch

Instituttet for Anvendt Datateknik
Denmark

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Verwertbare Ergebnisse

Potential benefits and state-of-the-art formal methods for European software developers

A series of seminars helped raise awareness amongst European software developers of the potential benefits and state-of-the-art in formal methods. Formal methods are mathematically-based approaches to software and system development that support the rigorous specification, design and verification of computer systems. Typical formal methods include VDM, Z, RAISE and LOTOS. They play a major part in ensuring confidence in functional correctness during different phases of software development. Despite their advantages, the penetration of these techniques into industry has been slower than some people had hoped. One reason is the lack of easily accessible information about the tools available, their ease of use and applicability for different purposes. A series of seminars held across the European Union (EU), helped increase awareness of the potential benefits of formal methods amongst software developers. The industrial seminars introduced participants to the key issues in the use of formal techniques so that they were equipped to find out more detailed technical information or make contacts with existing practitioners. The seminars were presented at management level rather than at a detailed technical level. They taught the situations in which the application of formal methods is appropriate and most beneficial and what the benefits are. Attendees acquired a clear understanding of the initial investment necessary for a successful use of formal development methods. The seminars also provided pointers to information on further applications, teaching resources and course material, and where tools could be obtained.