形式化描述方法相关论文
随着 3G技术的进一步发展和成熟 ,现在电信和其他数据通信技术面临着一个进一步融合突破的时代。 3G的发展更推动了全球实现无缝漫......
可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法.本......
在层次化有色Petri网的基础上,引入了UML建模技术的类图的概念和方法,提出了一种针对联锁逻辑Petri网的建模方法,并以铁路车站设备......
按照构件层次划分原则，将装备指挥训练任务空间概念模型划分为三个层次：仿真系统层次、仿真应用层次和仿真服务层次；探讨了任务空间概......
