{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T20:10:27Z","timestamp":1736107827002,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019418","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:18:27Z","timestamp":1132640307000},"page":"333-349","source":"Crossref","is-referenced-by-count":0,"title":["The application of formal specifications to software documentation and debugging"],"prefix":"10.1007","author":[{"given":"Anoop","family":"Goyal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sriram","family":"Sankar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"R. W. Floyd. Assigning meanings to programs. In Proceedings of a Symposium in Applied Mathematics of the American Mathematical Society, volume 19, pages 19\u201332. American Mathematical Society, 1967.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"J. B. Goodenough and S. L. Gerhart. Towards a theory of test data selection. In Proceedings of the International Conference on Reliable Software, pages 493\u2013510, April 1975.","DOI":"10.1145\/800027.808473"},{"key":"22_CR3","unstructured":"C. Green, D. Luckham, R. Balzer, T. Cheatham, and C. Rich. Report on a knowledge based software assistant. Technical report, Kestrel Institute, 1983."},{"issue":"5","key":"22_CR4","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/MS.1985.231756","volume":"2","author":"J. V. Guttag","year":"1985","unstructured":"J. V. Guttag, J. J. Horning, and J. M. Wing. The Larch family of specification languages. IEEE Software, 2(5):24\u201336, September 1985.","journal-title":"IEEE Software"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"D. P. Helmbold and D. C. Luckham. Runtime detection and description of deadness errors in Ada tasking. Technical Report 83-249, Computer Systems Laboratory, Stanford University, November 1983. (Program Analysis and Verification Group Report 22).","DOI":"10.21236\/ADA142239"},{"key":"22_CR6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF00260923","volume":"10","author":"W. E. Howden","year":"1978","unstructured":"W. E. Howden. Algebraic program testing. Acta Informatica, 10:53\u201366, 1978.","journal-title":"Acta Informatica"},{"key":"22_CR7","unstructured":"B. Krieg-Br\u00fcckner. Transformation of interface specifications, 1985. PROSPECTRA Study Note M.1.1.S1-SN-2.0."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"R. L. London. A view of program verification. In Proceedings of the International Conference on Reliable Software, pages 534\u2013545, April 1975.","DOI":"10.1145\/800027.808477"},{"issue":"1","key":"22_CR9","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/52.62935","volume":"8","author":"D. C. Luckham","year":"1991","unstructured":"D. C. Luckham, S. Sankar, and S. Takahashi. Two dimensional pinpointing: An application of formal specification to debugging packages. IEEE Software, 8(1):74\u201384, January 1991. (Also Stanford University Technical Report No. CSL-TR-89-379.).","journal-title":"IEEE Software"},{"issue":"2","key":"22_CR10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/MS.1985.230345","volume":"2","author":"D. C. Luckham","year":"1985","unstructured":"D. C. Luckham and F. W. von Henke. An overview of Anna, a specification language for Ada. IEEE Software, 2(2):9\u201323, March 1985.","journal-title":"IEEE Software"},{"key":"22_CR11","unstructured":"David C. Luckham. Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs. Texts and Monographs in Computer Science. Springer-Verlag, October, 1990."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Br\u00fcckner, and Olaf Owe. ANNA, A Language for Annotating Ada Programs, volume 260 of Lecture Notes in Computer Science. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17980-1"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"N. Madhav and W. R. Mann. A methodology for formal specification and implementation of Ada packages using Anna. In Proceedings of the Computer Software and Applications Conference, 1990, pages 491\u2013496. IEEE Computer Society Press, 1990. (Also Stanford University Computer Systems Laboratory Technical Report No. 90-438).","DOI":"10.1109\/CMPSAC.1990.139414"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"N. Madhav and S. Sankar. Application of formal specification to software maintenance. In Proceedings of the Conference on Software Maintenance, pages 230\u2013241. IEEE Computer Society Press, November 1990.","DOI":"10.21236\/ADA311137"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Walter Mann. The Anna package specification analyzer user's guide. Technical Note CSL-TN-93-390, Computer Systems Lab, Stanford University, January 1993.","DOI":"10.21236\/ADA311118"},{"key":"22_CR16","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988."},{"key":"22_CR17","unstructured":"S. Sankar. Automatic Runtime Consistency Checking and Debugging of Formally Specified Programs. PhD thesis, Stanford University, August 1989. Also Stanford University Department of Computer Science Technical Report No. STAN-CS-89-1282, and Computer Systems Laboratory Technical Report No. CSL-TR-89-391."},{"issue":"6","key":"22_CR18","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/71052.71055","volume":"24","author":"S. Sankar","year":"1989","unstructured":"S. Sankar. A note on the detection of an Ada compiler bug while debugging an Anna program. ACM SIGPLAN Notices, 24(6):23\u201331, 1989.","journal-title":"ACM SIGPLAN Notices"},{"key":"22_CR19","unstructured":"S. Sankar and D. S. Rosenblum. The complete transformation methodology for sequential runtime checking of an Anna subset. Technical Report 86-301, Computer Systems Laboratory, Stanford University, June 1986. (Program Analysis and Verification Group Report 30)."},{"key":"22_CR20","first-page":"123","volume-title":"Run-time consistency checking of algebraic specifications","author":"S. Sankar","year":"1991","unstructured":"Sriram Sankar. Run-time consistency checking of algebraic specifications. In Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4), pages 123\u2013129, Victoria, Canada, October 1991. ACM Press."},{"key":"22_CR21","unstructured":"Sriram Sankar, Anoop Goyal, and Prakash Sikchi. Software testing using algebraic specification based test oracles. Forthcoming Stanford University Technical Report, April 1993."},{"key":"22_CR22","unstructured":"J. M. Spivey. Understanding Z, A Specification Language and its Formal Semantics. Cambridge Unversity Press, 1988. Tracts in Theorectical Computer Science, Volume 3."},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"L. G. Stucki and G. L. Foshee. New assertion concepts for self-metric software validation. In Proceedings of the International Conference on Reliable Software, pages 59\u201365, April 1975.","DOI":"10.1145\/800027.808425"}],"container-title":["Lecture Notes in Computer Science","Automated and Algorithmic Debugging"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019418.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:57:06Z","timestamp":1736107026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019418"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0019418","relation":{},"subject":[]}}