刘少英（编辑）;段振华（编辑）;田聪（编辑）;富美子名古屋（编辑） 结构化面向对象形式语言和方法。2016年11月15日，第六届国际研讨会，SOFL+MSVL 2016，日本东京。修改选定的论文。 （英语） Zbl 1460.68011号 计算机科学课堂讲稿10189.查姆：施普林格（ISBN 978-3-319-57707-4/pbk；978-3-3169-57708-1/电子书）。x、 239页。(2017). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独进行审查。有关前面的研讨会，请参阅[Zbl 1460.68010号].索引文章：你，珍；薛、缙云，Apla+语言中的编排组合符，3-14[Zbl 1461.68050号]王玉伟；陶秀婷；李国强，关于嵌套可更新时间自动机的终止性和有界性，15-31[Zbl 1461.68108号]徐庆国；苗、淮口；罗伯特·德·西蒙（Robert de Simone）；朱利安·德安东尼，无限逻辑时钟的基于瞬时和基于状态的分析，32-51[Zbl 1461.68123号]钱，林；段振华；张楠；田聪，Coq中MSVL程序的证明系统，121-143[Zbl 1461.68058号]王晓兵；刘东苗；赵亮；薛，伊娜，三值PPTL的运行时验证监控器构建，144-159[Zbl 1461.68122号]Doan，Ha Thi Thu；弗朗索瓦邦内；Kazuhiro绪方，移动机器人永久探索算法的模型检查，201-219[Zbl 1461.68231号]舒新丰；李超；刘，张，MSVL的可视化建模语言，220-237[Zbl 1461.68120号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68甲15 编程语言理论 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 00B25型 杂项特定利益的会议记录 引文：Zbl 1460.68010号 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}（编辑）等，结构化面向对象形式语言和方法。2016年11月15日，第六届国际研讨会，SOFL+MSVL 2016，日本东京。修订了选定的论文。查姆：斯普林格（2017；Zbl 1460.68011） 全文： 内政部