More thoughts on specification and verification
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Goguen, J. A.
- 卷第6卷
- 期第3期
- 印刷ISSN0163-5948
- 文件大小331.09KB
- 发表时间1981-07-01
- DOI10.1145/1010832.1010845
- 页码38-41
An experiential learning theory of high level wellness: Australian salutogenic researchAllen, Connie; Boddy, Jennifer; Kendall, Elizabeth · Health Promotion International · 2018
The isomerization of ClOOCl: high level ab initio and density functional theory analysisAbraham F Jalbout · 2002
One- and three-parameter density functional theory and high level ab initio theory study of the CH+CH disproportionation reactionB.S. Jursic · 2000
Comparison of the Transition Dipole Moments Calculated by TDDFT with High Level Wavefunction TheoryRobinson, David · Journal of Chemical Theory and Computation · 2018
Tautomeric Study of Neutral, Protonated and Deprotonated Isorhodanine Based on High Level Density Functional TheorySafi, Zaki · Oriental Journal of Chemistry · 2016
Computer simulation and high level virial theory of Saturn-ring or UFO colloidsBates, Martin A.; Dennison, Matthew; Masters, Andrew · The Journal of Chemical Physics · 2008
On the HNO→HON isomerization mechanism: high level ab initio and density functional theory studyA.F. Jalbout; A.M. Darwish; H.Y. Alkahby · 2002
A High Level Treatment of the Mathematics Behind Probability Theory-"Stochastic Processes"by J. L. DoobReview by: Richard Cook · Mathematics Magazine · 1953
AFFIRM summaryGerhart, Susan L. · ACM SIGSOFT Software Engineering Notes · 1981
Two recent books on programmingGerhart, Susan L. · ACM SIGSOFT Software Engineering Notes · 1982
Proof Theory of Partial Correctness Verification SystemsGerhart, Susan L. · SIAM Journal on Computing · 1976
Toward a theory of test data selectionGoodenough, John B.; Gerhart, Susan L. · IEEE Transactions on Software Engineering · 1975
Prolog technology as a basis for verification systemsGerhart, Susan L. · ACM SIGSOFT Software Engineering Notes · 1985
A proposal for publication and exchange of program proofsGerhart, Susan L. · ACM SIGSOFT Software Engineering Notes · 1978
Correction to "toward a theory of test data selection"Goodenough, John B.; Gerhart, Susan L. · IEEE Transactions on Software Engineering · 1975
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