LOTOSphere公司 swMATH ID: 14748 软件作者： T.Bolognesi、J.van de Lagemaat、C.Vissers 描述： LOTOSphere：使用LOTOS进行软件开发。LOTOS（时间顺序规范语言）于1989年成为国际标准，尽管该语言的初步版本应用于通信服务和ISO/OSI系列协议可追溯到1984年。LOTOS的使用历史表明，使用这种形式化描述技术比纯标准参考文件具有更多的优点。LOTOSphere:使用LOTOS的软件开发深入描述了一个为期五年的项目，该项目将LOTOS从ISO塔中转移到软件工程实践中。LOTOS成为一种工具，用于高效但正式的工业软件规范、设计、验证、实现和测试。LOTOSphere：使用LOTOS的软件开发分为六个部分。第一部分向读者介绍LOTOS和LOTOSphere项目。剩下的五个分别使用LOTOS处理软件开发生命周期的重要部分。这是第一本全面介绍在软件工程环境中使用这些形式化描述技术的书。因此，它将为研究人员和软件开发人员提供有价值的参考，也可以用作该主题高级课程的课文。 主页： http://www.springer.com/gp/book/9780792395294 相关软件： LOTOS公司;并发工作台;HOL公司;莫德;XSB公司;腿;欧兹;CADP公司;ELAN公司;伊莎贝尔/HOL;毫升;Coq公司;PVS公司;艾菲尔 引用于： 6文件 全部的 前5名9位作者引用 1 克莱门斯·菲舍尔 1 罗伯托·戈里埃里 1 Shmuel Katz 1 马丁·奥列特，纳西索 1 Dick A.C.Quartel。 1 卡斯滕·苏尔 1 沃特·提乌（Wouter B.Teeuw）。 1 阿尔贝托·维尔德乔 1 克里斯蒂安·范萨里 3篇连载文章中引用 1 计算的形式方面 1 系统设计中的形式化方法 1 理论计算机科学课文。EATCS系列 在2个字段中引用 6 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的引文