The Human in Formal Methods
The Human in Formal Methods
复制标题
形式化方法中的人类
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Tim Nelson
中科院分区：
文献类型：
--
作者：
S. Krishnamurthi;Tim Nelson
正式方法对于关于复杂系统的推理是无价的。随着这些技术和工具在表现力和规模上有所改善，它们的采用迅速增长。然而，维持这种增长不仅需要注意技术，而且还需要人类方面的关注。在本文（以及随附的谈话）中，我们讨论了正式方法中人为因素的一些挑战和机会。
Formal methods are invaluable for reasoning about complex systems. As these techniques and tools have improved in expressiveness and scale, their adoption has grown rapidly. Sustaining this growth, however, requires attention to not only the technical but also the human side. In this paper (and accompanying talk), we discuss some of the challenges and opportunities for human factors in formal methods.
软件技术：应用程序和基础
DOI：
10.1007/978-3-319-74730-9_6
发表时间：
2018
期刊：
--
影响因子：
--
作者：
Burdusel A
通讯作者：
Burdusel A
DOI：
10.1145/3291279.3339416
发表时间：
2019
期刊：
ICER '19 Proceedings of the 2019 ACM Conference on International Computing Education Research
影响因子：
--
作者：
Wrenn, John;Krishnamurthi, Shriram
通讯作者：
Krishnamurthi, Shriram
原则模型查找器输出的用户研究
DOI：
10.1007/978-3-319-66197-1_11
发表时间：
2017
期刊：
Lecture notes in computer science
影响因子：
--
作者：
Danas, Natasha;Nelson, Tim;Harrison, Lane;Krishnamurthi, Shriram;Dougherty, Daniel J.
通讯作者：
Dougherty, Daniel J.