Reliable Software 1975:美国加利福尼亚州洛杉矶
马丁·肖曼 , 雷蒙德·T·耶 :
1975年可靠软件国际会议记录,美国加利福尼亚州洛杉矶,1975年4月21日至23日。 ACM公司 1975 ,国际标准图书编号 978-1-4503-7385-2 露丝·M·戴维斯 :
软件可靠性游戏。 1 Edsger W.Dijkstra :
程序派生的保护命令、非确定性和微积分。 2 R.D.威廉姆斯 :
管理可靠软件的开发。 3-8 维克托·维索斯基 :
大型可靠软件:贝尔实验室的近期经验。 9 约翰·甘农 , 詹姆斯·霍宁 :
语言设计对可靠软件生产的影响。 10-22 尼克劳斯·沃斯 :
对编程语言PASCAL的评估。 23-30 查尔斯·盖斯克 , 詹姆斯·米切尔 :
关于数据结构的统一引用问题。 31-42 A.Cicu公司 , 马可·麦奥奇 , 罗伯托·波利洛 , A.萨多尼 :
在软件进化过程中组织测试。 43-50 小爱德华·米勒。 , R.A.梅尔顿 :
自动生成测试用例数据集。 51-58 利昂·G·斯塔基 , 加里·福西 :
用于自我度量软件验证的新断言概念。 59-71 芭芭拉·利斯科夫 , 斯蒂芬·齐勒斯 :
数据抽象的规范技术。 72-87 苏珊·L·格哈特 :
课程知识:模型和案例研究。 88-95 劳里安·M·奇里卡 , 大卫·F·马丁 :
一种实现编译器正确性的方法。 96-103 J.-C.劳尔 :
设计验证技术-审查。 104 巴里·博姆 , 罗伯特·麦克莱恩 , D.B.Urfrig公司 :
一些自动化辅助设计大型可靠软件的经验。 105-113 弗兰克·德雷默 , 汉斯·科隆 :
大型编程与小型编程。 114-121 威廉·A·伍尔夫 :
可靠的硬件-软件架构。 122-130 唐纳德·雷弗 :
自动辅助fob可靠的软件。 131-142 Shmuel Katz先生 , 佐哈尔·曼纳 :
实现程序的自动调试。 143-155 弗里德里希·冯·亨克 , 大卫·C·勒克姆 :
验证程序的方法。 156-164 米歇尔·卡普兰 :
寻找用于证明程序的不变量断言。 165-171 F.特里·贝克 :
生产编程环境中的结构化编程。 172-185 L.M.辣椒 :
可靠工程软件系统。 186-192 小弗雷德里克·布鲁克斯。 :
神话般的人月。 193 宫本义郎 :
“在线实时环境中的软件可靠性”。 194-203 贝夫·利特伍德 :
马尔可夫结构软件的可靠性模型。 204-207 阿肖克·特里维迪 , 马丁·肖曼 :
用于估计和预测计算机软件性能参数的多状态马尔可夫模型。 208-220 彼得·亨德森 :
程序开发中的有限状态建模。 221-227 詹姆斯·C·金 :
一种新的程序测试方法。 228-233 罗伯特·博伊尔 , 伯纳德·埃尔斯帕 , 卡尔·莱维特 :
SELECT—通过符号执行测试和调试程序的正式系统。 234-245 雷蒙德·鲁比 :
软件验证的定量方面。 246-251 威廉·林奇 , 约翰·兰纳 , 马文·施瓦茨 :
具有Chi/OS的可靠性经验。 252-259 D.E.W.布彻 :
维护计算机科学远程处理系统。 260-266 劳伦斯·罗宾逊 , 卡尔·莱维特 , 彼得·G·诺依曼 , 阿肖克·R·萨克塞纳 :
获得安全操作系统的可靠软件。 267-284 肯尼思·沃尔特 , 塞缪尔·沙恩 , 威廉·奥格登 , 威廉·C·罗兹 , D.G.Shumway公司 , D.D.谢弗 , K.J.比巴 , 弗兰克林·布拉德肖 , S.R.艾姆斯 , J.M.吉利根 :
安全内核的结构化规范。 285-293 杰拉尔德·波佩克 , 查尔斯·克莱恩 :
可验证的保护系统。 294-304 佩尔·汉森 :
并发Pascal的目的。 305-309 阿肖克·R·萨克塞纳 , 托马斯·布雷特 :
分层操作系统的结构化规范。 310-318 米歇尔·辛佐夫 , 阿克塞尔·范·兰斯韦德 :
构建正确高效的并发程序。 319-326 阿尔伯特·恩德斯 :
分析系统程序中的错误及其原因。 327-336 诺曼·施奈德温 :
计算机软件中错误过程的分析。 337-346 马丁·肖曼 , M.I.博尔斯基 :
编程错误的类型、分布、测试和纠正时间。 347-357 大卫·洛格·帕纳斯 :
软件结构对可靠性的影响。 358-362 哈兰·D·米尔斯 :
如何编写正确的程序并了解它。 363-370 A.O.布达 , A.A.格拉诺瓦基 , 安德烈·埃尔肖夫 :
Alpha-6编程系统的实现。 371-381 拉马穆尔蒂 , 萧伯富豪(Siu-Bun F.Ho) :
使用自动化软件评估系统测试大型软件。 382-394 洛伦·卡彭特 , 伦纳德·L·特里普 :
软件设计验证工具。 395-400 N.P.爱德华兹 :
某些模块化设计原则对可测试性的影响。 401-410 唐纳德一世很好 :
可证明的编程。 411-419 马克·拉文塔尔 :
验证操作数据结构的程序。 420-426 R.婴儿 , U.蒙塔尼亚 :
逐级证明结构化程序的正确性。 427-436 布莱恩·兰德尔 :
软件容错的系统结构。 437-449 斯蒂芬·S·尤 , R.C.Cheung先生 :
自检软件的设计。 450-455 阿尔吉达斯·阿维齐尼斯 :
容错和容错:可靠计算的补充方法。 458-464 罗德·M·伯斯托尔 , 约翰·达林顿 :
开发递归程序的一些转换。 465-472 铃木Norihisa :
通过代数和逻辑约简验证程序。 473-481 唐纳德一世很好 , 拉尔夫·L·伦敦 , W.W.Bledsoe公司 :
一种交互式程序验证系统。 482-492 约翰·B·古迪纳夫 , 苏珊·L·格哈特 :
走向测试数据选择的理论。 493-510 赫尔曼·科佩兹 :
变量范围与控制结构测试之间的关系。 511-517 约翰·R·布朗 , 迈伦·利波 :
软件可靠性测试。 518-527 C.A.R.霍尔 :
数据可靠性。 528-533 拉尔夫·L·伦敦 :
程序验证视图。 534-545 Edsger W.Dijkstra :
正确性问题,以及为什么他们会被怨恨。 546