| 期刊全稱 | Applied Formal Methods - FM-Trends 98 | | 期刊簡稱 | International Worksh | | 影響因子2023 | Dieter Hutter,Werner Stephan,Markus Ullmann | | 視頻video | http://file.papertrans.cn/160/159815/159815.mp4 | | 發(fā)行地址 | Includes supplementary material: | | 學(xué)科分類 | Lecture Notes in Computer Science | | 圖書封面 |  | | 影響因子 | This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware development. As a consequence, almost all major companies have now set up departments or groups to work with formal methods and many European countries face a severe labour shortage in this new field. Tony Hoare‘s prediction of the art of software (and hardware) development becoming a proper engineering science with its own body of tools and techniques is now becoming a reality. So the focus of this application oriented workshop was not so much on spe- cial academic topics but rather on the many practical aspects of this emerging new technology: verification and validation, and tool support and integration into the software life-cycle. By evaluating the state of the art with respect to industrial applications a discussion emerged among scientists, pr | | Pindex | Conference proceedings 1999 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-25 05:54
發(fā)表于 2025-3-21 19:42:01
