Z模式相关论文
Z语言是一种广泛应用的形式化语言,适合于仿真实时软件系统的需求规格说明.通过微机系统仿真软件的Z规格说明,讨论了Z语言在实时系......
如今，大多数中高端主板都配置了UEFI BIOS，特别是Win8／Win10普及后，几乎所有主板都配置了UEFIBIOS且默认以UEFI方式启动操作系统。作为......
阐述了并发Z语言是一类适合于并发实时软件系统设计的规格说明语言,其基本语义是Z语义的并发和实时扩展,提出了对这些扩展方法的分......
非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求。Z语言是一种基于集合和一阶谓词逻辑的模式规......
