论文部分内容阅读
该文首先给出了将谓词逻辑公式结合进对象中的说明语言ＭＰＩＯ，然后描述了软件系统嵌套设计的过程并验证了其特性。
软件系统嵌套设计的实现与验证
【摘 要】
：
该文首先给出了将谓词逻辑公式结合进对象中的说明语言ＭＰＩＯ，然后描述了软件系统嵌套设计的过程并验证了其特性。
【机 构】
：
师范大学计算机科学系(上海)
【出 处】
：
第六届全国青年计算机工作者会议
【发表日期】
：
1996年期
其他文献
该文介绍嵌入式网络的概念、组成结构；重点说明在开发应用过程中所遇到的难点及解决方法，以便在客车工业中推广和应用。
本文结合天津电视台播控中心的实际情况,阐述了数字播控系统,特别是音频嵌入技术的有关内容.
该文旨在通过剖析作用该人参于设计的一个基于８０３８６ＥＸ的衡器软件系统，殿示高档ＣＰＵ与面向对象语言和实时多任务系统相接合在高档衡器开发上的广阔应用前景。
条形码技术作为一种成熟的信息处理技术已广泛应用于商品流通、自动生产控制、交通运输及社会服务等各个领域。文章详细讨论了利用嵌入式微处理器进行条形码识别的原理，采用嵌
嵌入式系统的广泛应用需要良好的嵌入式应用软件开发环境支持，该文重点研究了一种嵌入式应用软件开发环境DeltaOS/LambdaTool的设计思想，并详细介绍了实时操作系统DeltaOS的结
金秋10月,吕京建等一行三人作为中国微计算机学会的特邀代表,参加了在美国硅谷San Jose市举办的“EmbeddedSystems Conference”。这是一个单片机领域的盛会,来自全世界230多
讨论了基于数据流的嵌查询处理机制，重点阐述了嵌套查询的非嵌套化优化处理，并对嵌套查询中各类型嵌套谓词的转化给出了具体的处理策略。