论文部分内容阅读
本文讨论了形式化描述的评价标准,介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LO-TOS、Z、SDL、ESTEREL和MSCs,及情景表示方法Use Case Maps(UCM),并对它们进行了评价.
通信软件系统开发的形式化描述技术与评价
【摘 要】
：
本文讨论了形式化描述的评价标准,介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LO-TOS、Z、SDL、ESTEREL和MSCs,及情景表示方法Use Case Maps(UCM),并对它们进行
【机 构】
：
合肥工业大学计算机与信息学院
【出 处】
：
安徽省电机工程学会首届青年科技学术交流会
【发表日期】
：
2001年期
其他文献
船闸管理是保证航运安全的重要手段之一，加强船闸技术管理能够更好的提高我国的航运事业，促进我国社会经济的进步和发展。结合作者多年的工作实践，通过对船闸管理技术进行探析论
本文论述了在局域网上基于IP技术设计和实施具有监控功能的桌面多媒体视频会议系统,着重介绍了企业视频会议系统应实现的功能.
随着混凝土施工技术的不断发展,尤其是现浇钢筋混凝土施工技术的进步与应用,我国建筑施工进度与施工质量逐渐提升.所以为了有效的提高混凝土的施工质量,就必须对其施工过程进
介绍了宣城电网无线电负荷管理系统在建情况,它基于负控系统如何适应当今电力市场,使“负荷控制”上升演变为“负荷管理”,新增了远方抄表、用电信息发布、防窃电等拓展功能,
一个已定义的软件过程是一个一致的框架,有助于软件从业人员从事他们的工作并且改进他们的工作方式.一个建模的整体框架简化了软件过程模型的生成,能够调整它们以适应各自不
针对钢模板在施工中暴露出的一些不足,近年来在火电工程中通常使用木质木模板取代定型钢模板,本文就大模板施工中的缺点提出了一些改进措施.
在生活质量有了较大提升的今天,人们对于建筑性能的要求也发生了较大的变化,提升建筑的环保性、实用性、安全性、抗震性都成为了建筑施工人员研究的方向.就建筑给排水施工而
本文结合参与淮北发电厂MIS建设经验,对MIS建设过程中平台的选型依据与方法进行了探讨,并以淮北电厂MIS系统平台选型为例进一步说明了平台选型的重要性,希望能对在建或准备MI
随着我国经济的不断发展,合理利用土地资源已经成为急需的问题,土地整理已经成为提高耕地质量、新增耕地面积、提高土地利用率的一项重要措施.简要的分析可以看出测绘工作对