|
| - 一个集成形式化模型及其操作语义
- 作者：匡春临 匡国防 来源期刊：洛阳师范学院学报 年卷号：2011,30(2).-72-75
- 摘要：形式化方法在程序验证、模型检测的研究有着重要作用，集成形式化方法是形式化方法发展的一个方向．BCCS模型是集成B方法和进程代数CCS构建的一个混成模型，模型中给出了一个轻量级的描述语言，但缺少语义的支持．为了保证这个描述语言的完备性和一致性，本文则在传值CCS操作语义的基础上，结合B方法对抽象数据结构的定义、系统的...
-
- 新一个集成形式化模型及其操作语义
- 作者：匡春临 匡国防 来源期刊：洛阳师范学院学报 年卷号：2011,30(2).-72-75
- 摘要：形式化方法在程序验证、模型检测的研究有着重要作用，集成形式化方法是形式化方法发展的一个方向．BCCS模型是集成B方法和进程代数CCS构建的一个混成模型，模型中给出了一个轻量级的描述语言，但缺少语义的支持．为了保证这个描述语言的完备性和一致性，本文则在传值CCS操作语义的基础上，结合B方法对抽象数据结构的定义、系统的...
-
- 新基于Web的辅助教学及测试系统设计
- 作者：高永惠 来源期刊：怀化学院学报 年卷号：2011,30(2).-60-62
- 摘要：结合高等学校实际情况，提出了一个基于Web的辅助教学及测试系统，重点介绍了该系统的设计方案，所采用的主要技术，以及该系统所能实现的主要功能．
-
- 基于Web的辅助教学及测试系统设计
- 作者：高永惠 来源期刊：怀化学院学报 年卷号：2011,30(2).-60-62
- 摘要：结合高等学校实际情况，提出了一个基于Web的辅助教学及测试系统，重点介绍了该系统的设计方案，所采用的主要技术，以及该系统所能实现的主要功能．
-
- 基于JavaSocket的SCPI命令解释器研究与实现
- 作者：冯玉光 尹洪伟 吴亮 李双明 来源期刊：国外电子测量技术 年卷号：2011,30(2).-57-60
- 摘要：针对基于LAN的程控仪器SCPI命令解释器问题,引入了JavaSocket技术。在嵌入式Linux系统工业主板PC104/LX-804B上进行了SCPI（standard command for programmable instrument）命令解释器的设计和编程,解决了自动测试系统中控制设备和仪器设备之间的通信...
-
|