Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I.

Emil Sekerinski,Nelma Moreira,José N. Oliveira,Daniel Ratiu,Riccardo Guidotti,Marie Farrell,Matt Luckcuck,Diego Marmsoler,José Creissac Campos,Troy Astarte,Laure Gonnord,Antonio Cerone, Luis Couto,Brijesh Dongol,Martin Kutrib,Pedro Monteiro,David Delmas

International Symposium on Formal Methods（2019）

引用 2|浏览14

暂无评分

摘要

This talk builds on Berry’s personal professional history as it attempts to explain why formal methods are not being used to develop large-scale software-intensive computer-based systems by appealing to the Reference Model for Requirements and Specifications by Gunter, Gunter, Jackson, and Zave.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要