{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:07Z","timestamp":1750221127751,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":23,"publisher":"ACM Press","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1145\/3304170.3304173","type":"proceedings-article","created":{"date-parts":[[2019,1,14]],"date-time":"2019-01-14T13:15:25Z","timestamp":1547471725000},"page":"153-246","source":"Crossref","is-referenced-by-count":0,"title":["The use of anna specification technology in ada software development"],"prefix":"10.1145","author":[{"given":"Sriram","family":"Sankar","sequence":"first","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David C.","family":"Luckham","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter R.","family":"Mann","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"key-10.1145\/3304170.3304173-1","unstructured":"Luckham, D. C.Programming with Specifications: An Introduction to Anna, A Language for Specifying Ada Programs.Springer-Verlag Text & Monographs in Computer Science, August, 1990."},{"key":"key-10.1145\/3304170.3304173-2","unstructured":"Luckham, D. C., von Henke, F. W., Krieg-Brückner, B., and Owe, O.Anna --- A Language for Annotating Ada Programs.Springer-Verlag Lecture Notes in Computer Science No. 260."},{"key":"key-10.1145\/3304170.3304173-3","doi-asserted-by":"crossref","unstructured":"D. C. Luckham and F. W. von Henke.An Overview of Anna, A Specification Language for Ada.IEEE Software, 2(2):9--23, March 1985.","DOI":"10.1109\/MS.1985.230345"},{"key":"key-10.1145\/3304170.3304173-4","doi-asserted-by":"crossref","unstructured":"F. W. von Henke, D. C. Luckham, B. Krieg-Brückner, and O. Owe.Semantic Specification of Ada Packages.InAda in User Proceedings of the Ada International Conference, pages 185--196. Cambridge University Press, May 1985.","DOI":"10.1145\/324422.324392"},{"key":"key-10.1145\/3304170.3304173-5","unstructured":"Madhav, N. and Mann, W.A Methodology for Formal Specification and Implementation of Ada Packages Using Anna.In Proceedings of the Computer Software and Applications Conference, 1990. Pages 461--496."},{"key":"key-10.1145\/3304170.3304173-6","doi-asserted-by":"crossref","unstructured":"David C. Luckham, Sriram Sankar and Shuzo Takahashi.Two Dimensional Pinpointing: An Application of Formal Specification to Debugging Packages.IEEE Software, 8(1), January, 1991. Pages 74--84.","DOI":"10.1109\/52.62935"},{"key":"key-10.1145\/3304170.3304173-7","doi-asserted-by":"crossref","unstructured":"Sankar, S.A Note on the Detection of a Compiler Bug while Debugging an Anna Program.ACM SIGPLAN Notices, June 1989. Pages 23--31.","DOI":"10.1145\/71052.71055"},{"key":"key-10.1145\/3304170.3304173-8","doi-asserted-by":"crossref","unstructured":"Neel Madhav and Sriram Sankar.Application of Formal Specification to Software Maintenance.Proceedings of the Conference on Software Maintenance, San Diego, California, November 1990. Pages 230--241.","DOI":"10.21236\/ADA311137"},{"key":"key-10.1145\/3304170.3304173-9","unstructured":"Skakkebaek, J., Walicki, M. and Sankar, S.The Lockheed Ada Style Checker.Forthcoming Technical Report."},{"key":"key-10.1145\/3304170.3304173-10","doi-asserted-by":"crossref","unstructured":"B. Krieg-Brückner.Consistency Checking in Ada and Anna: A Transformational Approach.Ada Letters, 3(2):46--54, September-October 1983.","DOI":"10.1145\/989971.989972"},{"key":"key-10.1145\/3304170.3304173-11","unstructured":"Luckham, D. C., Neff, R., and Rosenblum, D. S.An Environment for Ada Software Development Based on Formal Specification.Technical Report 86--305, Computer Systems Laboratory, Stanford University, August 1986."},{"key":"key-10.1145\/3304170.3304173-12","doi-asserted-by":"crossref","unstructured":"Rosenblum, D. S.A Methodology for the Design of Ada Transformation Tools in a DIANA Environment.IEEE Software, 2(2), pages 24--33, March 1985.","DOI":"10.1109\/MS.1985.230347"},{"key":"key-10.1145\/3304170.3304173-13","unstructured":"Sankar, S.Automatic Runtime Consistency Checking and Debugging of Formally Specified Programs.PhD Thesis, September, 1989. Stanford CSD Technical Report No. STAN-CS-89-1282 and Stanford Computer Systems Laboratory Technical Report No. CSL-TR-89-391."},{"key":"key-10.1145\/3304170.3304173-14","doi-asserted-by":"crossref","unstructured":"Sankar, S Rosenblum, D. S., and Neff, R.An Implementation of Anna.InAda in Use:Proceedings of the Ada International Conference, Paris, May 1985. pages 285--296, Cambridge University Press.","DOI":"10.1145\/324422.324400"},{"key":"key-10.1145\/3304170.3304173-15","unstructured":"Sankar, S., Rosenblum, D. S.The Complete Transformational Methodology for Sequential Runtime Checking of an Anna Subset.Technical Report 86--301, Computer Systems Laboratory, Stanford University, June 1986."},{"key":"key-10.1145\/3304170.3304173-16","doi-asserted-by":"crossref","unstructured":"David S. Rosenblum, Sriram Sankar and David C. Luckham.Concurrent Runtime Checking of Annotated Ada Programs.InProceedings of the 6th Conference on Foundations of Software Technology and Theoretical Computer Science.Springer-Verlag Lecture Notes in Computer Science No. 241, New Delhi, India, December 1986. Pages 10--35,","DOI":"10.1007\/3-540-17179-7_2"},{"key":"key-10.1145\/3304170.3304173-17","unstructured":"Sriram Sankar and Manas Mandal.Concurrent Runtime Monitoring of Formally Specified Programs.Submitted for publication in IEEE Computer. (Also Stanford University Computer Systems Laboratory Technical Report No. 90--425.)"},{"key":"key-10.1145\/3304170.3304173-18","doi-asserted-by":"crossref","unstructured":"Sriram Sankar and David S. Rosenblum.Runtime Checking and Debugging of Formally Specified Programs.Surveyors' Forum, ACM Computing Surveys, 23(1), March, 1991. Pages 125--127.","DOI":"10.1145\/103162.103166"},{"key":"key-10.1145\/3304170.3304173-19","doi-asserted-by":"crossref","unstructured":"Sriram Sankar.Run-Time Consistency Checking of Algebraic Specifications.To be presented at the 1991 Conference on Testing and Verification, Victoria, Canada.","DOI":"10.1145\/120807.120818"},{"key":"key-10.1145\/3304170.3304173-20","unstructured":"Mendal, G., et. al.The Anna-1 User Guide and Installation Manual.Computer Systems Laboratory, Stanford University."},{"key":"key-10.1145\/3304170.3304173-21","unstructured":"Neff, R.Ada\/Anna Specification Analysis.PhD Thesis, December, 1989. Stanford Computer Systems Laboratory Technical Report No. CSL-TR-89-406."},{"key":"key-10.1145\/3304170.3304173-22","unstructured":"Patrick R. H. Place, William G. Wood, David C. Luckham, Walter Mann, Sriram Sankar.Formal Development of Ada Programs Using Z and Anna: A Case Study.Software Engineering Institute, Carnegie-Mellon University, Technical Report CMU\/SEI-91-TR-1, Feburary 1991. (Also numbered ESD-91-TR-1.)"},{"key":"key-10.1145\/3304170.3304173-23","unstructured":"Anna Package Specification Examples.Internal document. Available on request."}],"event":{"number":"1991","acronym":"TRI-Ada '91","name":"Introduction to Ada","start":{"date-parts":[[1991,10,21]]},"theme":"Tri-Ada '91 Tutorial","location":"San Jose, California","end":{"date-parts":[[1991,10,25]]}},"container-title":["Introduction to Ada on Tri-Ada '91 Tutorial - TRI-Ada '91"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3304170.3304173","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=3304173&ftid=2029348&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:20Z","timestamp":1750208540000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=3304170.3304173"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1145\/3304170.3304173","relation":{},"subject":[],"published":{"date-parts":[[1991]]}}}