发帖
雷达卡
摘要翻译：
非正式工程师的正式方法(FMIE)是2021年在麻省理工学院布罗德研究所和哈佛大学举办的一个研讨会，旨在探索验证软件在生物医学软件生态系统中的潜在作用。组织FMIE的动机是认识到生命科学和医学正在从软件和AI/ML技术的被动消费者过渡到新平台的基本驱动力，包括那些需要对任务和安全至关重要的平台。根据研讨会之前和研讨会期间的对话，我们提出了五个具体的建议，以帮助软件领导者将正式方法中的工具、技术和观点有机地纳入他们的项目规划和开发轨迹。
---
英文标题：
《Formal Methods for the Informal Engineer: Workshop Recommendations》
---
作者：
Gopal Sarma, James Koppel, Gregory Malecha, Patrick Schultz, Eric
Drexler, Ramana Kumar, Cody Roux, and Philip Zucker
---
最新提交年份：
2021
---
分类信息：
一级分类：Computer Science 计算机科学
二级分类：Software Engineering 软件工程
分类描述：Covers design tools, software metrics, testing and debugging, programming environments, etc. Roughly includes material in all of ACM Subject Classes D.2, except that D.2.4 (program verification) should probably have Logics in Computer Science as the primary subject area.
涵盖设计工具、软件度量、测试和调试、编程环境等。大致包括ACM所有主题课程D.2的材料，除了D.2.4（程序验证）可能应该有计算机科学中的逻辑作为主要主题领域。
--
一级分类：Computer Science 计算机科学
二级分类：Artificial Intelligence 人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--
一级分类：Computer Science 计算机科学
二级分类：Machine Learning 机器学习
分类描述：Papers on all aspects of machine learning research (supervised, unsupervised, reinforcement learning, bandit problems, and so on) including also robustness, explanation, fairness, and methodology. cs.LG is also an appropriate primary category for applications of machine learning methods.
关于机器学习研究的所有方面的论文（有监督的，无监督的，强化学习，强盗问题，等等），包括健壮性，解释性，公平性和方法论。对于机器学习方法的应用，CS.LG也是一个合适的主要类别。
--
一级分类：Computer Science 计算机科学
二级分类：Programming Languages 程序设计语言
分类描述：Covers programming language semantics, language features, programming approaches (such as object-oriented programming, functional programming, logic programming). Also includes material on compilers oriented towards programming languages; other material on compilers may be more appropriate in Architecture (AR). Roughly includes material in ACM Subject Classes D.1 and D.3.
涵盖程序设计语言语义，语言特性，程序设计方法（如面向对象程序设计，函数式程序设计，逻辑程序设计）。还包括面向编程语言的编译器的材料；关于编译器的其他材料可能在体系结构(AR)中更合适。大致包括ACM主题课程D.1和D.3中的材料。
--
一级分类：Quantitative Biology 数量生物学
二级分类：Other Quantitative Biology 其他定量生物学
分类描述：Work in quantitative biology that does not fit into the other q-bio classifications
不适合其他q-bio分类的定量生物学工作
--
---
英文摘要：
Formal Methods for the Informal Engineer (FMIE) was a workshop held at the Broad Institute of MIT and Harvard in 2021 to explore the potential role of verified software in the biomedical software ecosystem. The motivation for organizing FMIE was the recognition that the life sciences and medicine are undergoing a transition from being passive consumers of software and AI/ML technologies to fundamental drivers of new platforms, including those which will need to be mission and safety-critical. Drawing on conversations leading up to and during the workshop, we make five concrete recommendations to help software leaders organically incorporate tools, techniques, and perspectives from formal methods into their project planning and development trajectories.
---
PDF链接：
https://arxiv.org/pdf/2104.00739
京公网安备 11010802022788号
