摘要
摘要
英国标准M04 Baar T、Strohmeier A、Moreira A、Mellor S（2004）UML 2004。 收录：计算机科学课堂讲稿，第3273卷。 柏林施普林格 谷歌学者 
BW99型 Barr M，Wells C（1999），计算机科学的范畴理论。 地点：蒙特勒大学数学研究中心 谷歌学者 鲍99 Baumeister H（1999）《关联抽象数据类型和Z模式》。 In：程序。 99年WADT。 计算机科学课堂讲稿，第1827卷。 柏林施普林格，第366–382页 谷歌学者 第67页 Bérnabou J（1967）《双分类导论》。 In：编程语言语义的补充定义。 LNM第42卷。 柏林施普林格，第1-77页 谷歌学者 博尔99 Borzyszkowski T（1999）结构化规范的高阶逻辑和定理证明。 In：程序。 99年WADT。 计算机科学课堂讲稿，第1827卷。 柏林施普林格 谷歌学者 BM00型 Z中模式的演算 J Symb计算机 2000 30 1 63 91 962.68112 1770880 2006年10月10日/jsco.1999.0347 谷歌学者 数字图书馆 
布吉04 Bujorianu MC（2004）使用视点集成规范语言。 In：程序。 IFM’04的。 计算机科学课堂讲稿，第2999卷。 柏林施普林格 谷歌学者 盖M12 Castro PF、Aguirre N、Lopez Pombo CG、Maibaum TSE（2012）构建和推广Z规范的分类方法。 In：程序。 FACS’12。 计算机科学课堂讲稿，第7684卷。 柏林施普林格 谷歌学者 CK90型 Chang CC，Keisler HJ（1990）模型理论。 第3版。 纽约州北荷兰 谷歌学者 直径08 制度依赖模型理论 2008 巴塞尔 Birkhä用户Verlag 1144.03001 谷歌学者 交叉引用 
结束01 Enderon H（2001）《逻辑的数学导论》。 第二版，都柏林学术出版社 谷歌学者 国际汽联04 软件工程类别 2004 柏林 施普林格 谷歌学者 数字图书馆 FM92系列 时间理论作为并发系统规范的模块化单元 表单Asp计算 1992 4 三 239 272 746.68031 2007年10月10日/BF01212304 谷歌学者 数字图书馆 FKNG92型 视点：在系统开发中集成多个视角的框架 国际J软件工程知识工程 1992 2 1 31 57 10.1142/S0218194092000038号 谷歌学者 交叉引用 图97 Fischer C（1997）结合CSP和Z技术报告，奥尔登堡大学 谷歌学者 GB92标准 机构：规范和编程的抽象模型理论 美国临床医学杂志 1992 39 1 95 146 799.68134 1147298 10.1145/147508.147524 谷歌学者 数字图书馆 HR99a型 修改Z：第一部分逻辑和语义 表单Asp计算 1999 11 4 359 380 955.68077 2007年10月17日/001650050038 谷歌学者 数字图书馆 HR99b型 修改Z：第二部分-逻辑发展 表单Asp计算 1999 11 4 381 401 955.68078 10.1007/s001650050039 谷歌学者 数字图书馆 HJ98型 Hoare CAR，Jifeng H（1998）统一规划理论。 英格尔伍德悬崖普伦蒂斯·霍尔学院分部 谷歌学者 日本97 Z的方法，形式化方法的实用编程 1997 剑桥 剑桥大学出版社 谷歌学者 09车道 Lano K（2009）使用UML和java进行模型驱动软件开发。 课程技术 谷歌学者 Mac98电脑 MacLane S（1998）工作数学家分类。 第2版。 柏林施普林格 谷歌学者 梅伊00 面向对象的软件构造 2000 恩格尔伍德克利夫斯 普伦蒂斯·霍尔 谷歌学者 数字图书馆 2007年3月 Mossakowski T、Maeder C、Lüttich K（2007）《异构工具集》（hets）。 In：程序。 关于CADE-21的第四次国际核查研讨会。 http://CEUR-WS.org 谷歌学者 尼克95 Nicholls J（1995）Z符号：1.2版。 Z标准面板 谷歌学者 MTP97型 Mossakowski T，Tarlecki A.Pawlowski W（1997）组合和表示逻辑系统。 In：程序。 类别理论和计算机科学97。 计算机科学课堂讲稿，第1290卷。 柏林施普林格 谷歌学者 MR06型 Mossakowski T、Roggenbach M（2006）《结构化CSP——作为机构的过程代数》。 In：程序。 2006年瓦特。 计算机科学课堂讲稿，第4409卷。 柏林施普林格 谷歌学者 华侨城09 马戏团的UTP语义 表单Asp计算 2009 21 2 三 32 1165.68048 2007年10月7日/00165-007-0052-5 谷歌学者 数字图书馆 第72段 关于将系统分解为模块的标准 Commun公司。 ACM公司 1972 15 12 1053 1058 10.1145/361598.361623 谷歌学者 数字图书馆 第85段 复杂系统的模块化结构 IEEE Trans软件工程 1985 11 三 259 266 10.1109/TSE.1985.232209 谷歌学者 数字图书馆 风险63 风险！ 游戏规则（1963）帕克兄弟 谷歌学者 螺纹84 Spivey JM（1984）《Z表示法的形式语义》。 牛津大学计算实验室，T.M.PRG-41 谷歌学者 斯皮88 Spivey JM（1988）理解Z：一种规范语言及其形式语义。 剑桥理论计算机科学丛书 谷歌学者 Spi92系列 Spivey JM（1992）Z符号：参考手册。 英格伍德悬崖普伦蒂斯·霍尔 谷歌学者 塔尔95 Tarlecki A（1995）在逻辑系统之间移动。 In：程序。 1995年ADT/COMPASS。 计算机科学课堂讲稿，第1130卷。 柏林施普林格 谷歌学者 网络96 Webber M（1996）结合状态图和Z设计安全关键控制系统。 In：程序。 FME’96标准。 计算机科学课堂讲稿，第1051卷。 柏林施普林格 谷歌学者 伍90 Woodcock J（1990）《作为管理工具的数学：晋升证明规则》。 In：大型软件系统的软件工程。 施普林格，荷兰 谷歌学者 96岁以下 使用Z：规范、细化和证明 1996 恩格尔伍德克利夫斯 普伦蒂斯·霍尔 855.68060 谷歌学者 数字图书馆 伍01 Woodcock J，Cavancanti A（2001）《马戏团：一种并发精炼语言》。 技术报告，英国牛津大学计算实验室 谷歌学者
