Verification technology and the A1 criteria
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Benzel, Terry C. Vickers
- 卷第10卷
- 期第4期
- 印刷ISSN0163-5948
- 文件大小175.33KB
- 发表时间1985-08-01
- DOI10.1145/1012497.1012543
Views of Our ReadersFrancis G. Dunn, R. B. Coleman, Jr., William S. Flittie, Frederick W. Turnbull, Lawrence H. Brand, J. Russell Swanson, Paul L. Latham, Augustus T. Graydon, Joseph Paul Kelly, Jay G. Foonberg, J. C. H. Davies, Will Bernard, Marvin Zevin, Byron F. Lindsley, Lawrence M. O'Donnell, John F. Lindley, Oliver B. Chamberlin, Peter J. Petkas, E. J. Geary, Jr., Morris L. Ernst, Jesse S. Hogg and Ben R. Miller · American Bar Association Journal · 1970
Book reviewsLawrence J. Brandt; Richard D. Farmer; James L. Achord; Lawrence S. Friedman; Cynthia I. Powers; Nancy J. Dorman; Donna C. Sullivan; Hussein M. El-Newihi; Simmy Bank; John Ahn; Kenneth DeVault; Eapen Thomas · 1995
Letters to the EditorClark Holloway, David R. Howes, G. Nagase, K. S. Banerjee, Nathan Mantel, Lawrence L. Kupper, Anthony J. McMichael, Robert Spirtas, J. H. Maindonald, John J. Gart, M. R. Heyworth, W. K. Chiu, K. Lam, Lawrence Klimko, Paul Nelson, R. R. Hocking and F. M. Speed · The American Statistician · 1976
Book reviewsJulia F. Morton; Lawrence Kaplan; T. Delevoryas; J. E. Chambers; Daniel E. Wujek; Howard L. Clark; L. Erbe; Chr Sybesma; W. J. Cody · 1967
ProblemsL. Matthew Christophe, Jr., G. A. Edgar, David Callan, Roger L. Creech, L. Kuipers, Norman Schaumberger, M. S. Klamkin, Lawrence J. Wallen, Paul Erdos, Jerrold W. Grossman, William Staton, Themistocles M. Rassias, Peter L. Montgomery, William A. Newcomb, B. Landman, J. Layman, B. Klein, Hisashi Yokota, H. Roelants, Michael Vowe, Vania D. Mascioni, Robert E. Shafer and L. Kuipers · Mathematics Magazine · 1985
Universal WBC reductionRobert L. Thurer; Naomi L.C. Luban; James P. AuBuchon; Herbert Silver; Leo J. McCarthy; Sunny Dzik; Christopher P. Stowell; S. Breanndan Moore; Eleftherios C. Vamvakas; Will Armstrong; Michael H. Kanter; Elaine Jeter; Joanne Becker; Martha Higgins; Susan Galel; Steven Kleinman; Carol S. Marshall; Richard Newman; Jose A. Ocaríz; Douglas Blackall; Lawrence D. Petz; Pearl Toy; Harold Oberman; Don L. Siegel; Thomas H. Price; Sherrill J. Slichter; Terry Gernsheimer; Paul Mintz; Lawrence Tim Goodnough; Edward H. Lipford; Marcus B. Simpson · 2000
Book reviewsO. A. Val'dner; A. K. Gus'kova; P. A. Yakovleva; U. L. Lawrence; C. Lancros; R. W. Christy; A. Pytte; I. Ebert; G. Seifert; J. W. Emsley; J. Feeney; L. H. Suttcliffe; Eckart vom Braum; Yu. V. Sivintsev; E. Bagge; J. Meissner; A. S. Zaimovskii; V. V. Kalashnikov; I. S. Tolovnii; L. P. Kimel'; V. P. Mashkovich · 1967
Study Designs for Effectiveness and Translation Research: Identifying Trade-offsShawna L. Mercer; Barbara J. DeVinney; Lawrence J. Fine; Lawrence W. Green; Denise Dougherty · 2007
Reusability assessment for software componentsSharma, Arun; Grover, P. S.; Kumar, Rajesh · ACM SIGSOFT Software Engineering Notes · 2009
Compiler verificationDave, Maulik A. · ACM SIGSOFT Software Engineering Notes · 2003
Safeware: System Safety and ComputersNeumann, Peter · ACM SIGSOFT Software Engineering Notes · 1995
A survey of software inspection checklistsBrykczynski, Bill · ACM SIGSOFT Software Engineering Notes · 1999
Principles of survey researchKitchenham, Barbara; Pfleeger, Shari Lawrence · ACM SIGSOFT Software Engineering Notes · 2002
Principles of survey researchKitchenham, Barbara A.; Pfleeger, Shari Lawrence · ACM SIGSOFT Software Engineering Notes · 2002
Principles of survey researchPfleeger, Shari Lawrence; Kitchenham, Barbara A. · ACM SIGSOFT Software Engineering Notes · 2001
Principles of survey research part 6Kitchenham, Barbara; Pfleeger, Shari Lawrence · ACM SIGSOFT Software Engineering Notes · 2003