安东尼奥·塞隆（编辑）；马可·罗维里（编辑） 软件工程和形式化方法。2017年SEFM并置研讨会：2017年9月4日至5日，意大利特伦托，DataMod、FAACS、MSE、CoSim-CPS和FOCLASA。修订了选定的论文。 （英语） Zbl 1461.68007号 计算机科学课堂讲稿10729.查姆：施普林格（ISBN 978-3-319-74780-4/pbk；978-3-3169-74781-1/电子书）。x、 第592页。（2018）。 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。SEFM 2017会议记录见[兹比尔1369.68017].索引文章：露西娅·纳斯蒂；保罗·米拉佐，社交网络中网络成瘾现象的计算模型，86-100[Zbl 1461.91231号]伊利亚扎基尔扎诺夫；安纳托利·沙利托；弗拉基米尔·乌尔扬采夫，找到与给定示例一致的所有最小尺寸DFA：基于SAT的方法，117-131[Zbl 1461.68110号]亚历山德罗·比安奇；塞巴斯蒂亚诺（Sebastiano）皮苏蒂罗（Pizzutilo）；根纳罗·韦西奥，拦截MANET中的黑洞攻击：基于ASM的模型，137-152[Zbl 1461.68047号]安德烈亚·布加；索拉娜·塔尼亚，使用抽象状态机规范化大规模分布式系统的监控过程，153-167[Zbl 1461.68035号]卡米利，马蒂奥；卡洛·贝莱蒂尼；洛伦佐·卡普拉；蒙加，马蒂亚，用于指定和验证基于微服务的流程流的正式框架，187-202[Zbl 1461.68112号]查马拉、哈维尔；彭文新；大卫·加兰（David Garlan）；施梅尔·布拉德利，关于自我适应决策中感知不确定性的推理，523-540[Zbl 1461.68228号]洪伟江；Nawaz，M.Saqib；张西岳；李毅；孙孟，使用Coq对定时连接器进行正式建模和验证，558-573[Zbl 1461.68056号] MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 68新元 软件理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1369.68017号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cerone}（编辑）和\textit{M.Roveri}（主编），软件工程和形式化方法。2017年SEFM并置研讨会：2017年9月4-5日，意大利特伦托，DataMod、FAACS、MSE、CoSim-CPS和FOCLASA。修改选定的论文。查姆：斯普林格（2018；Zbl 1461.68007） 全文： DOI程序