面向非形式化工程师的形式化方法：研讨会建议
软件工程
2021-04-05 v1 人工智能
机器学习
编程语言
其他定量生物学
摘要
形式化方法面向非形式化工程师（FMIE）是 2021 年在麻省理工学院与哈佛大学的 Broad 研究所举办的一场研讨会，旨在探索经验证软件在生物医学软件生态系统中的潜在作用。组织 FMIE 的动机在于认识到生命科学和医学正从软件与 AI/ML 技术的被动消费者，转变成为新平台（包括那些需具备任务与安全关键性的平台）的根本驱动者。基于研讨会前及期间的讨论，我们提出五条具体建议，以帮助软件负责人将形式化方法的工具、技术与视角有机地纳入其项目规划与开发轨迹中。
引用
@article{arxiv.2104.00739,
title = {Formal Methods for the Informal Engineer: Workshop Recommendations},
author = {Gopal Sarma and James Koppel and Gregory Malecha and Patrick Schultz and Eric Drexler and Ramana Kumar and Cody Roux and Philip Zucker},
journal= {arXiv preprint arXiv:2104.00739},
year = {2021}
}
备注
6 pages