×

在一个失败的范例中对精细化的分析。 (英语) Zbl 1105.68070号


MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
第68季度55 计算理论中的语义学

软件:

Z轴
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abrial JR(1996)《B-Book》。剑桥大学出版社
[2] Azada D,Muenchaisri P,(编辑)(2003)APSEC 2003:第十届亚太软件工程会议,泰国清迈,2003年12月10日至12日。诉讼程序。IEEE计算机学会出版社
[3] Bowen JP,Dunne SE,Galloway A,King S(ed.)(2000)ZB 2000:Z和B中的形式规范和开发,第一届B和Z用户国际会议,英国约克,2000年8月29日至9月2日,《计算机科学讲稿》第1878卷,会议记录。施普林格,柏林-海德堡-纽约
[4] Boiten EA,de Roever WP(2003)《关系精化的底层:关系和正确性,部分和全部》。在:Berghamer R,Möller B,(编辑)RelMiCS 7:第七届计算机科学关系方法国际研讨会,德国马伦特,5月12-17日,会议记录。第82–88页基尔大学
[5] Bolton C、Davies J、Woodcock JCP(1999),关于数据类型和过程的细化和模拟。收录:荒木K、加洛韦A、田口K(编辑)。集成形式化方法(IFM’99)。施普林格,柏林-海德堡-纽约
[6] Bowen JP、Fett A、Hinchey MG(eds)(1998)ZUM'98:Z形式规范符号,第11届Z用户国际会议,德国柏林,1998年9月24日至26日,《计算机科学讲稿》第1493卷,会议记录。施普林格,柏林-海德堡-纽约
[7] Björner D,Hoare CAR,Langmaack H(1990)(eds)VDM’90,VDM and Z–软件开发中的形式化方法,第三届VDM欧洲国际研讨会,基尔,FRG,1990年4月17日至21日,会议录,计算机科学讲稿第428卷。施普林格,柏林-海德堡-纽约·Zbl 0746.68006号
[8] Back RJR,von Wright J(1998)《精化微积分:系统介绍》。施普林格,柏林-海德堡-纽约·Zbl 0949.68094号
[9] Cavalcanti ALC,Woodcock JCP(1997)《Z.技术专著PRG-TR-16-97的最弱前提语义》。牛津大学计算实验室
[10] Derrick J,Boiten EA(1999)计算基于状态规范的向上和向下模拟。Inf Softw Technol公司41:917–923·doi:10.1016/S0950-5849(99)00044-0
[11] Derrick J,Boiten EA(2001)Z和Object-Z中的精炼:基础和高级应用。计算和信息技术的正式方法–FACIT。施普林格,柏林-海德堡-纽约·Zbl 0982.68086号
[12] Derrick J,Boiten EA(eds)(2005)REFINE 2005国际研讨会,理论计算机科学电子笔记。BCS-FACS系统·Zbl 1273.68027号
[13] Bert D、Bowen JP、King S、Waldén M(eds)(2003)ZB 2003:Z和B中的正式规范和开发,第三届B和Z用户国际会议,芬兰图尔库,2003年6月4日至6日,会议记录,计算机科学讲稿第2651卷。施普林格,柏林-海德堡-纽约·1020.00016兹罗提
[14] Derrick J(2000)Z.逻辑计算10(5):663–675的单一完整精化规则·Zbl 0966.68141号 ·doi:10.1093/log.com/10.5.663
[15] Deutsch M(2002)《点火条件》。埃塞克斯大学,技术报告CSM-386
[16] Deutsch M(2005)《部分关系语义的全正确性精化模型分析》。埃塞克斯大学博士论文
[17] Deutsch M,Henson MC(2003)部分关系语义的反向模拟数据重定义分析。在:美国证券交易委员会2003年AM03,第38-48页
[18] Deutsch M,Henson MC(2003)正向模拟数据细化分析。收录:ZB 2003[DBKW03,第148-167页·Zbl 1028.68542号
[19] Deutsch M,Henson MC(2003)部分关系语义的全正确性精化模型分析II。逻辑J IGPL 11(3):319–352·Zbl 1051.03028号 ·doi:10.1093/jigpal/111.3.319
[20] Deutsch M,Henson MC(2003)反向模拟数据重新定义的四种理论。摘自:Muntean,T,Sere K(eds)RCS’03–第二届关键系统优化国际研讨会:方法、工具和开发。芬兰图尔库阿瓦博学院
[21] Deutsch M,Henson MC(2005)《一种失败范式中的操作精细化分析》。包含:REFINE 2005[DB05·Zbl 1276.68056号
[22] Deutsch M,Henson MC,Reeves S(2003)部分关系语义的全正确性精化模型分析I.逻辑J IGPL 11(3):287–317·Zbl 1050.03024号
[23] Deutsch M、Henson MC、Reeves S(2003)《Z中的模块化推理:审查单调性和精细化》。埃塞克斯大学,技术报告CSM-407(正在考虑FACJ)
[24] Diller A(1994)Z:形式方法导论,第2版。威利纽约·Zbl 0834.68074号
[25] de Roever WP,Engelhardt K(1998)《数据精化:面向模型的证明方法及其比较》。新泽西州普伦蒂斯·霍尔国际·Zbl 0955.68076号
[26] Fischer C(1998)《如何将Z与过程代数结合起来》。收录:ZUM’98 BFJ98,第5–23页
[27] Gardiner P(2003)功率模拟及其与跟踪和故障细化的关系。计算机科学理论309(1):157–176·Zbl 1070.68103号 ·doi:10.1016/S0304-3975(03)00200-7
[28] Gardiner PHB,Morgan CC(1993)数据细化的单一完整规则。正式方面计算5:367–382·兹比尔0774.68081 ·doi:10.1007/BF01212407
[29] Grundy J(1993)一种程序优化方法。剑桥大学博士论文·Zbl 0804.76012号
[30] He J,Hoare CAR(1990)预规范和数据细化。在:分类设置中的数据精炼,技术专著PRG-90。牛津大学计算实验室
[31] He J,Hoare CAR,Sanders JW(1986)数据细化。收录:Goos G、Hartmanis J(编辑)《欧洲编程研讨会》(ESOP’86),《计算机科学讲稿》第213卷。施普林格,柏林-海德堡-纽约,第187-196页
[32] He J、Hoare CAR、Sanders JW(1987)《数据精化预规范》。Inf Proces Lett新闻稿25(2):71–76·Zbl 0624.68027号 ·doi:10.1016/0020-0190(87)90224-9
[33] Hayes IJ、Jones CB、Nicholls JE(1993)《了解VDM和Z之间的差异》,技术报告UMCS-93-8-1。曼彻斯特大学计算机科学系
[34] Henson MC,Kajtazi B(2005)规范逻辑vZs。包含:REFINE 2005[DB05
[35] Hoare CAR(1972)数据表示正确性的证明。信息学报1:271–281·Zbl 0244.68009号 ·doi:10.1007/BF00289507
[36] Henson MC,Reeves S(1999)修订Z:I-逻辑和语义。形式方面计算11(4):359–380·Zbl 0955.68077号 ·doi:10.1007/s001650050038
[37] Henson MC,Reeves S(1999)修订Z:II–逻辑发展。形式方面计算11(4):381–401·Zbl 0955.68078号 ·doi:10.1007/s001650050039
[38] Henson MC,Reeves S(2000)《研究Z逻辑计算》10(1):43–73·Zbl 0949.68107号 ·doi:10.1093/logcom/10.1.43
[39] Henson MC,Reeves S(2000)模式演算中的程序开发和规范细化。In:ZB 2000[BDGKB00],第344–362页
[40] Henson MC,Reeves S(2003)基于模式的程序开发逻辑。计算的形式方面,15(1):84-992003·Zbl 1093.68604号
[41] Henson MC、Reeves S、Bowen JP(2003)Z逻辑及其后果。计算机信息22(4):381–415·Zbl 1104.68361号
[42] Jones CB(1990)《使用VDM的系统软件开发》,第2版。新泽西州普伦蒂斯·霍尔国际·Zbl 0743.68048号
[43] Josephs MB(1991)《Z技术专著PRG-TR-19-91中规定反应系统》。牛津大学计算实验室
[44] Manna Z(1974)计算数学理论。计算机科学系列。McGraw-Hill,纽约·Zbl 0353.68066号
[45] Métayer C,Abrial JR,Voisin L(2005)Event-B语言。RODIN可交付成果3.2。复杂系统的严格开放开发环境–RODIN
[46] Miarka R、Boiten EA、Derrick J(2000)《Z中的防护装置、前提条件和改进》。in:ZB 2000[BDGK00],第286–303页
[47] Milner AJRG(1971)程序间模拟的代数定义。附:第二届人工智能联合会议记录,第481-489页
[48] Morgan CC(1988)规范声明。ACM跨程序语言系统10:403–419·Zbl 0825.68302号 ·doi:10.1145/44501.44503
[49] Nipkow T(1986)《非确定性数据类型:模型和实现》。学报信息22(6):629–661·Zbl 0577.68039号 ·doi:10.1007/BF00263649
[50] Prehn S,Toetenel WJ(eds)(1991)VDM’91–正式软件开发,第四届VDM欧洲国际研讨会,荷兰诺德威克霍特,1991年10月21日至25日,会议录,第2卷:教程,计算机科学讲稿第552卷。施普林格,柏林-海德堡-纽约·Zbl 0825.00109号
[51] 施耐德S(2001)《B-Method–简介》。计算Palgrave的正确性
[52] Stepney S、Cooper D、Woodcock JCP(1998)《更强大的Z数据精炼:推动工业精炼的最先进状态》。包含:ZUM'98[BFH98],第284–307页
[53] Stepney S、Cooper D、Woodcock JCP(2000)《电子钱包:规范、精致和证明》。技术专著PRG-126。牛津大学计算实验室
[54] Strulo B(1995)激发条件如何帮助继承。收录:Bowen JP,Hinchey MG(eds)ZUM’95:Z形式规范符号,第九届Z用户国际会议,limerick,爱尔兰,1995年9月7日至9日,计算机科学讲义第967卷。施普林格,柏林-海德堡-纽约pp 264–275
[55] Toyn I(ed)(1999)Z符号:最终委员会草案,CD 13568.2。Z标准面板
[56] Woodcock JCP,Davies J(1996)使用Z:规范、精炼和证明。新泽西州Prentice Hall·Zbl 0855.68060号
[57] Woodcock JCP,Morgan CC(1990),基于状态的并发系统的优化。包含:VDM’90[NHL90],第340–351页
[58] Woodcock JCP(1991)《Z.in精炼简介:VDM’91(第2卷)》[BT91b],第96–117页
[59] Woodcock JCP(1991)《精化演算》。收录:VDM’91(第2卷)[PTP91b],第80–95页
[60] Wordsworth JB(1992)《软件开发与Z——软件工程中形式化方法的实用方法》,国际计算机科学丛书。Addison Wesley,雷丁
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。