1 ABRIAL,J.-R.和SCHUMAN,S.A.非确定性系统规范。 在并发计算的语义中,G.Kahn(Ed.)。 Springer-Verlag,纽约,1979年,第34-50页。 谷歌学者 2 ACZEL,P.关于程序验证的说明。 私人通信,1982年1月。 谷歌学者 三 APT,K.R.,FRANCEZ,N.和DE ROEVER,W.P.,一个用于通信顺序过程的证明系统。 ACM事务处理。 程序。 语言系统。 第2、3页(1980年7月),第359-385页。 谷歌学者 4 BURSTALL,R.M.程序证明是手动模拟,只需一点归纳。 1974年IFIP大会会议记录。 ELsevier North-Holland,纽约,1974年,第308-312页。 谷歌学者 5 DIJKSTRA,E.W.编程学科。 Prentice-HaU,新泽西州恩格尔伍德克利夫斯,1976年。 谷歌学者 6 DIJKSTRA,E.W.,LAMPORT,L.,MARTIN,A.J.,SCHOLTEN,C.S.,AND STEFFENS,E.F.M.《空中垃圾收集:合作行动》。 Commun公司。 ACM 21,11(1978年11月),966-975。 谷歌学者 7 FLOYD,R.W.为程序指定含义。 第19届应用数学研讨会论文集。 美国数学学会,普罗维登斯,R.I.,1967年,第19-31页。 谷歌学者 8 FRANCEZ,N.,ANn PNUELI,A.循环程序的一种证明方法。 《学报》第9期、第2期(1978年4月),第133-157页。 谷歌学者 9 HAILPERN,B.和OWICKI,S.使用时序逻辑验证网络协议。 私人通信,1981年。 谷歌学者 10 HOARE,C.A.R.传达顺序过程。 Commun公司。 ACM21,8(1978年8月),666-677。 谷歌学者 11 HOARE,C.A.R.Monitors:操作系统结构概念。 Commun公司。 ACM 17,10(1974年10月),549-557。 谷歌学者 12 HOARE,C.A.R.数据表示正确性的证明。 《学报》第1期、第4期(1972年11月),第271-281页。 谷歌学者 13 HOARE,C.A.R.程序证明:FIND。 Commun公司。 ACM 14,1(1971年1月),39-45。 谷歌学者 14 计算机编程的公理基础。 Commun公司。 ACM 12,10(1969年10月),576-580583。 谷歌学者 15 杰克逊,系统开发硕士。 Prentice HaU International,新泽西州恩格尔伍德悬崖,1982年。 谷歌学者 16 包括干扰概念的计算机程序开发方法。 技术代表PRG 25,编程研究小组,牛津大学,牛津,工程,1981年。 谷歌学者 17 走向更正式的规范。 在软件工程师~Entwurf und Specifikation中,C.Floyd和H.Kopetz(编辑)。 B.G.Teubner,西德斯图加特,1981年,第14-45页。 谷歌学者 18 软件开发:严格的方法。 普伦蒂斯·霍尔国际公司,新泽西州恩格尔伍德克利夫斯,1980年。 谷歌学者 19 JONES,C.B.构建数据结构理论以帮助程序开发。 Acta Inf.11,2(1979年1月),119-137。 谷歌学者 20 JONES,C.B.程序的正式开发。 技术代表TR 12.117,IBM Hursley实验室,英国,1973年6月。 谷歌学者 21 JONES,C.B.正确算法的形式化开发:基于Earley识别器的示例。 《美国医学会关于证明有关项目断言的会议记录》(新墨西哥州拉斯克鲁塞斯,1972年1月6日至7日)。 合并发行:SIGPLAN通知(ACM)7、1(1972年1月)和SIGACT新闻14(1972年2月),150-169。 谷歌学者 22 KAHN,G.并行程序的初步理论。 技术代表6,IRIA,Le Chesnay,France,1973年。 谷歌学者 23 LAMPORT,L.并发程序的“Hoare逻辑”。 《学报》第14期,第1期(1980年6月),第21-37页。 谷歌学者 24 LAUR,P.E.编程语言语义的一致形式理论。 技术代表TR25.121,IBM维也纳实验室,1971年11月。 谷歌学者 25 LEVIN,G.M.和GRIES,D.通信顺序过程的证明技术。 Acta Inf.15,3(1981年6月),281-302。 谷歌学者 26 程序的性质和一阶谓词演算。 J.ACM 16,2(1969年4月),244-255。 谷歌学者 27 MANNA,Z.和PNUELI,A.程序的模态逻辑。 《第六届国际人工语言与程序设计会议论文集》(1979年7月,奥地利格拉茨),第385-409页。 谷歌学者 28 MILNER,R.通信系统微积分。 Springer-Verlag,纽约,1980年。 谷歌学者 29 MrLNER,R.程序间模拟的代数定义。 技术代表AIM-142,加利福尼亚州斯坦福大学计算机科学系,1971年2月。 谷歌学者 30 MORRIS,J.H.,JR。使用递归定义函数的正确性证明。 《编程语言的形式语义》,R.Rustin(Ed.)。 普伦蒂斯·霍尔,新泽西州恩格尔伍德克利夫斯,1972年。 谷歌学者 31 NAUR,P.通过一般快照证明算法。 第6位(1966年),310-316。 谷歌学者 32 OWICRI,S.S.并行程序公理证明技术。 技术代表TR 75-251,康奈尔大学计算机科学系,纽约州伊萨卡,1975年。 谷歌学者 33 OwxcKI,S.,AND GRXES,D.验证并行程序的属性:一种公理化方法。 Commun公司。 ACM 19、5(1976年5月),279-285。 谷歌学者 34 PLOTKIN,G.D.电力领域建设。 SIAMJ公司。 计算。 第5、3页(1976年9月),第452-487页。 谷歌学者 35 并发程序的时间语义。 在并发计算的语义中,G.Kahn(Ed.)。 Springer-Verlag,纽约,1979年,第1-20页。 谷歌学者 36 SMYTH,M.B.电力领域。 J.计算。 系统。 科学。 16(1978),第23-36页。 谷歌学者 37 美国国防部。 Ada编程语言参考手册(拟议标准文件)。 1980年7月。 谷歌学者 38 VON LAMSWEERDE,A.和SINTZOFF,M.强正确并行程序的形式化推导。 技术代表R338,比利时MBLE,1976年10月。 谷歌学者 39 WIRTH,N.通过逐步完善进行程序开发。 Commun公司。 ACM 14,4(1971年4月),第221-227页。 谷歌学者 40 ZHOU,C.C.和HOARE,C.A.R.通信顺序过程的部分正确性。 《第二届分布式计算系统国际会议论文集》(1981年4月)。 谷歌学者 41 ZHOU,C.C.,A~D HOARE,C.A.R.通信过程和协议的部分正确性。 技术代表PRG-20,编程研究小组,牛津大学,牛津,工程,1981年。 谷歌学者
索引术语
干扰程序开发方法的初步步骤
建议
婴儿步骤:BabyCenter.com上的敏捷转型 作者描述了BabyCenter.com从混乱到相对成熟的敏捷组织的四年历程。 从承担比开发人员更多项目任务的工程团队来看,交付日期早于项目范围确定或人员配备,并且。。。