期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述

The formal specification of railway crossing system based on Real-Time Object-Z
下载PDF
导出
摘要 形式化语言Object-Z的实时扩展Real-Time Object-Z可以对实时系统进行形式化描述.以铁路交叉道口系统的应用证明了这一点. Real-Time Object-Z is a real-time extension of Object-Z and it can easily specify concurrent sys- tems and real-time systems. The application of taking railway crossing system had proved this.
作者 魏艳鸣
机构地区 河南经贸职业学院信息管理系
出处 《郑州轻工业学院学报（自然科学版）》 CAS 2009年第3期32-36,共5页 Journal of Zhengzhou University of Light Industry:Natural Science
关键词 REAL-TIME OBJECT-Z 铁路交叉道口系统 形式化描述 Real-Time Object-Z railway crossing system formal specification
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献6

  • 1张广泉.关于软件形式化方法[J].重庆师范学院学报（自然科学版）,2002,19(2):1-4. 被引量：16
  • 2Smith G.The Object-Z Specification Language[M].Holand:Kluwer Academic Publishers,2000.
  • 3Smith G.A fully abstract semantics of classes for object-Z[J].Formal Aspects of Computing,1995,7(3):289.
  • 4MahonY B P,Hayes I J.A case-study in timed refinement:a mine pump[J].IEEE Transactions on Software Engineering,1992,18 (9):817.
  • 5Fidge C J,Hayes I.1,Martin A P,et al.A set-theoretic model for real-time specification and reaso-ning[C]// Mathematics of Program Constructing(MPC' 98) Lecture Notes in Computer Science,Berlin:Springer-Verlag,1998:188.
  • 6Smith G,Hayes I.An introduction to real-time object-Z[J].Formal Aspects of Computing,2002,13(2):128.

二级参考文献1

  • 1张广泉.广义反应系统形式化方法研究[M].重庆:重庆大学的计算机学院,1999..

共引文献15

郑州轻工业学院学报（自然科学版）
2009年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部