唐纳德一世很好
人员信息
其他同名人员
优化列表
1990 – 1999
1991 [第14条] 唐纳德一世很好 , 威廉·D·杨 :
数字系统开发的数学方法。 VDM欧洲(2) 1991 : 406-430
1980 – 1989
1988 [第13条] 唐纳德一世很好 :
计算是一门物理科学(摘要)。 VDM欧洲 1988 : 1-1 1986 [公元11年] 卡尔·E·兰德维尔 , 苏珊·L·格哈特 , 约翰·D·麦克林 , 唐纳德一世很好 , 南茜·勒弗森 :
NRL测试和证明邀请研讨会:两种保证方法。 ACM SIGSOFT软件。 工程注释 11 ( 5 ) : 63-85 ( 1986 ) 1985 [公元10年] 丹·克雷根 , 唐纳德一世很好 :
验证系统概述。 ACM SIGSOFT软件。 工程注释 10 ( 4 ) : 1 ( 1985 ) [公元9年] 唐纳德一世很好 , 罗伯特·博伊尔 , J斯特罗瑟·摩尔 :
第二代验证环境。 ACM SIGSOFT软件。 工程注释 10 ( 4 ) : 48 ( 1985 ) 1981 [j8] 威廉·D·杨 , 唐纳德一世很好 :
Steelman和(初步)ADA的可验证性。 ACM SIGPLAN通知 16 ( 2 ) : 113-119 ( 1981 ) [j7] 阿南德·特里帕蒂(Anand R.Tripathi) , 威廉·D·杨 , 唐纳德一世很好 , 詹姆斯·布朗 :
HAL/S/V:HAL/S的可验证子集。 ACM SIGPLAN通知 16 ( 三 ) : 102-112 ( 1981 ) [j6] 唐纳德一世很好 :
朝向经过验证的安全系统。 ACM SIGSOFT软件。 工程注释 6 ( 三 ) : 4-8 ( 1981 ) [j5] 迈克尔·史密斯 , 安·西伯特 , 贝内代托·迪维托 , 唐纳德一世很好 :
经过验证的加密数据包接口。 ACM SIGSOFT软件。 工程注释 6 ( 三 ) : 13-16 ( 1981 ) 1980 [第12条] 阿南德·特里帕蒂(Anand R.Tripathi) , 威廉·D·杨 , 唐纳德一世很好 :
Ada可验证性的初步评估。 ACM年会 1980 : 218-224 [第11条] 威廉·D·杨 , 唐纳德一世很好 :
Ada中的泛型和验证。 SIGPLAN(SIGPLAN) 1980 : 123-127
1970 – 1979
1979 [第10条] 唐纳德一世很好 , 理查德·科恩 , 詹姆斯·基顿-威廉姆斯 :
吉普赛人证明程序正确的原则。 POPL公司 1979 : 42-52 1978 【c9】 唐纳德一世很好 , 理查德·科恩 , 劳伦斯·亨特 :
吉普赛人发展报告。 ACM年会(1) 1978 : 116-122 【c8】 唐纳德一世很好 :
超越阶乘(表示摘要)。 AFIPS全国计算机会议 1978 : 667-668 1977 【j4】 唐纳德一世很好 :
构建经过验证的可靠通信处理系统。 ACM SIGSOFT软件。 工程注释 2 ( 5 ) : 8-13 ( 1977 ) 1976 【c7】 唐纳德一世很好 , 劳埃德·福斯迪克 :
SICSOFT(教程)。 ACM年会 1976 : 520 【c6】 唐纳德一世很好 , 劳埃德·福斯迪克 :
SIGSOFT程序验证教程(教程)。 ACM年会 1976 : 521-522 1975 [j3] 唐纳德一世很好 , 拉尔夫·L·伦敦 , W.W.Bledsoe公司 :
交互式程序验证系统。 IEEE传输。 软件工程。 1 ( 1 ) : 59-67 ( 1975 ) 【c5】 唐纳德一世很好 :
可证明的编程。 可靠的软件 1975 : 411-419 【c4】 唐纳德一世很好 , 拉尔夫·L·伦敦 , W.W.Bledsoe公司 :
交互式程序验证系统。 可靠的软件 1975 : 482-492 1974 【c3】 唐纳德一世很好 :
可证明的程序和处理器。 AFIPS全国计算机会议 1974 : 357-363 1973 [注2] 拉里·拉格兰 , 唐纳德一世很好 :
n个整数和乘数的最大公因数(算法386的证明)。 Commun公司。 ACM公司 16 ( 4 ) : 257 ( 1973 ) 【c2】 雷蒙德·T·耶 , 唐纳德一世很好 , 大卫·R·穆瑟 :
计算机科学基础教学的新方向——离散结构和计算分析。 SIGCSE公司 1973 : 60-67 1972 [c1] E.M.格林纳瓦特 , 唐纳德一世很好 :
MIX电脑作为一种教育工具。 ACM年会(1) 1972 : 302-309 1970 [j1] 唐纳德一世很好 , 拉尔夫·L·伦敦 :
计算机区间算术:正确实现的定义和证明。 美国临床医学杂志 17 ( 4 ) : 603-612 ( 1970 )