{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:00Z","timestamp":1750309080313,"version":"3.41.0"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1981,7,1]],"date-time":"1981-07-01T00:00:00Z","timestamp":362793600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[1981,7]]},"DOI":"10.1145\/1010832.1010845","type":"journal-article","created":{"date-parts":[[2004,7,21]],"date-time":"2004-07-21T23:30:10Z","timestamp":1090452610000},"page":"38-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["More thoughts on specification and verification"],"prefix":"10.1145","volume":"6","author":[{"given":"J. A.","family":"Goguen","sequence":"first","affiliation":[{"name":"SRI International"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1981,7]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"{Abriel Schuman & Meyer 79} Abrial J. R. Schuman S. A. and Meyer B. Specification Language (draft). 1979. Cambridge University.  {Abriel Schuman & Meyer 79} Abrial J. R. Schuman S. A. and Meyer B. Specification Language (draft). 1979. Cambridge University."},{"volume-title":"Academic Press","year":"1980","author":"Boyer R.","key":"e_1_2_1_2_1"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"volume-title":"Proc. 5th Int. Joint Confr. on Artificial Intelligence","year":"1977","author":"Burstall R. M.","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification","author":"Burstall R. M.","year":"1980"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/800087.802799"},{"key":"e_1_2_1_7_1","unstructured":"{Gerhard Musser et al 79} Gerhard S. L. Musser D. R. Thompson D. H. Baker D. A. Bates R. W. Erickson R. W. London R. L. Taylor D. G. and Wile D. S. An Overview of AFFIRM: A Specification and Verification System. Technical Report USC Information Sciences Institute Marina del Rey CA 1979.  {Gerhard Musser et al 79} Gerhard S. L. Musser D. R. Thompson D. H. Baker D. A. Bates R. W. Erickson R. W. London R. L. Taylor D. G. and Wile D. S. An Overview of AFFIRM: A Specification and Verification System. Technical Report USC Information Sciences Institute Marina del Rey CA 1979."},{"key":"e_1_2_1_10_1","first-page":"170","volume-title":"Specification of Reliable Software","author":"Goguen J. A.","year":"1979"},{"key":"e_1_2_1_11_1","unstructured":"{Goguen 80} Goguen J. A. Thoughts on Program Specification Design and Verification. Software Engineering Notes 5(3) 1980. Association for Computing Machinery Special Interest Group on Software Engineering.  {Goguen 80} Goguen J. A. Thoughts on Program Specification Design and Verification. Software Engineering Notes 5(3) 1980. Association for Computing Machinery Special Interest Group on Software Engineering."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359666"},{"volume-title":"Univ. of Toronto","year":"1975","author":"Guttag J. V.","key":"e_1_2_1_13_1"},{"volume-title":"Proceedings, 8th International Colloquium on Automata, Languages, and Programming","year":"1981","author":"Moniconi M.","key":"e_1_2_1_15_1"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010832.1010845","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1010832.1010845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:25Z","timestamp":1750286605000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010832.1010845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,7]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1981,7]]}},"alternative-id":["10.1145\/1010832.1010845"],"URL":"https:\/\/doi.org\/10.1145\/1010832.1010845","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[1981,7]]},"assertion":[{"value":"1981-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}