【摘 要】
：
通信软件工程包括系统建模和设计实现两大阶段,分别采用非形式化技术与形式化技术.定义了从非形式化的面向对象的图形语言UML,到形式化的文本规范语言ESTELLE的完备的转换规
【机 构】
：
中国科学技术大学,中国科学技术大学六系
【基金项目】
：
国家高技术研究发展计划(863计划)
论文部分内容阅读
通信软件工程包括系统建模和设计实现两大阶段,分别采用非形式化技术与形式化技术.定义了从非形式化的面向对象的图形语言UML,到形式化的文本规范语言ESTELLE的完备的转换规则,并简要介绍了一个支持转换的软件工具的设计与实现,最后给出一个转换实例.此工作的完成,使通信系统图形化的面向对象模型可直接转换为面向实现的形式化规范,在整个开发周期中得到应用,建立起了一套完整的通信软件工程体系.
其他文献
在C／C＋＋语言程序中．指针的使用使代码灵活、简便．但所带来的类似内存泄漏、内存写溢出等的内存使用的错误却很难分析和消除．针对这些容易出现的内存使用错误．提出了Linux平台下一种
经济责任审计工作在山西焦煤集团公司及各子分公司内部已开展多年,取得了一定的成绩。笔者就其实施过程中的一些问题及其解决方法进行了探讨。
基于路由网络代数(Routing network algebra简称RNA)给出路由联盟的代数模型.通过分析路由联盟代数表达式的"活锁"与路由振荡的对应关系,明确"活锁"是产生路由震荡的根源.在
由于移动Ad Hoc网络自身的特点和特殊的应用环境,出现了许多新的问题,其中节点间的协作性问题得到越来越多人的关注.本文通过基于NS-2的仿真实验,分析了节点的协作性对整个网
近日,由滨州市农机局、滨州市文明办、滨州市总工会联合开展的“滨州市最美农机人”评选活动最终名单揭晓.阳信县开源农机专业合作社理事长张风霞是唯一一名榜上有名的女性农
在司法案件审理中,常常遇到民间借贷纠纷与诈骗案件区分把握不准的情况,往往在罪与非罪之间难以决断,在实际审理中关键是要区分行为人主观上是否具有非法占有财物之目的,而要
在高职高专的教学活动中，实践是一个非常重要的内容。而会计学由于其学科特点。实践更是成为其必不可少的一个环节。这个环节能否顺利进行并如何进行效果评价，构建一个科学合理
'五四运动'的起因是第一次世界大战结束后,1919年1月战胜国在巴黎召开和平会议,中国作为战胜国参会,要求取消列强在华的各项特权,取消日本帝国主义与袁世凯签订的