排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
针对实时系统在计算机系统应用中的重要性,采用形式化方法是保证实时系统软件开发正确性的一种重要途径,而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了时序逻辑语言XYZ/E的相关介绍,并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。 相似文献
2.
刘珊艳 《云南师范大学学报(自然科学版)》2006,26(4):7-10,59
XYZ/ADL是一种基于时序逻辑语言XYZ/E的可视化体系结构描述语言。文章使用XYZ/ADL对高校选修课管理系统的体系结构、客户端组件及服务器端组件进行了抽象描述,并对服务器组件中选课这一事件进行了详细描述。 相似文献
1