摘要
Z语言是一种广泛应用的形式化语言,适合于仿真实时软件系统的需求规格说明.通过微机系统仿真软件的Z规格说明,讨论了Z语言在实时系统开发中使用的一些方法、对典型问题的处理原则以及操作间时序关系的描述.
Z language is a widely used formal specification language and calculated to describe the specification of simulative real-time system. This paper discussed the method of application of Z specification and foundational principle and description of temporal relation in develop of real-time system.
出处
《韶关学院学报》
2004年第9期22-26,共5页
Journal of Shaoguan University
关键词
规格说明
Z模式
仿真
specification
Z schema
simulate