Bookbot

Applied formal methods - FM trends 98

Meer over het boek

This volume features contributions from the International Workshop on Current Trends in Applied Formal Methods, held from October 7-9, 1998, in Boppard, Germany. The workshop aimed to address key issues in the practical application of formal methods in industry, especially as safety and security concerns increasingly hinder software and hardware development. Major companies have established departments focused on formal methods, while many European countries are experiencing a labor shortage in this emerging field. Tony Hoare's vision of software and hardware development evolving into a proper engineering science is now materializing. The workshop emphasized practical aspects of this technology, including verification, validation, and tool integration within the software life-cycle, rather than purely academic topics. Participants evaluated the current state of industrial applications, fostering discussions among scientists, engineers, and regulatory bodies about future needs and developments. These discussions resulted in roadmaps outlining the future of the field, tool support, and potential application areas. Contributions from industry representatives and national security bureaus were particularly valuable and well-received.

Een boek kopen

Applied formal methods - FM trends 98, Dieter Hutter

Taal
Jaar van publicatie
1999
Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief