{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:32:17Z","timestamp":1720625537774},"reference-count":8,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5323,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s1571-0661(04)00132-x","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T05:34:35Z","timestamp":1075959275000},"page":"62-72","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Formal Methods in Practice"],"prefix":"10.1016","volume":"25","author":[{"given":"Wolfgang","family":"Polak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4es","key":"10.1016\/S1571-0661(04)00132-X_NEWBIB1","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","article-title":"Formal methods: State of the art and future directions","volume":"28","author":"Edmund Clarke","year":"1996","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S1571-0661(04)00132-X_NEWBIB2","unstructured":"Henson Graves. Interactive design in LEAP. In Proc. 91 AAAI workshop on Automating Software Design, 1991."},{"issue":"6","key":"10.1016\/S1571-0661(04)00132-X_NEWBIB3","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/64.180405","article-title":"Lockheed environment for automatic programming","volume":"7","author":"Graves","year":"1992","journal-title":"IEEE Expert"},{"key":"10.1016\/S1571-0661(04)00132-X_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Henson Graves, Joe Louie, and Tracy Mullen. A code synthesis experiment. In 7th Knowledge-Based Software Engineering Conference (KBSE-92). IEEE Computer Society Press, September 1992.","DOI":"10.1109\/KBSE.1992.252913"},{"key":"10.1016\/S1571-0661(04)00132-X_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Henson Graves and Wolfgang Polak. Common intermediate design language. In Hawaii International Conference on System Sciences, January 1992.","DOI":"10.1109\/HICSS.1992.183264"},{"issue":"3","key":"10.1016\/S1571-0661(04)00132-X_NEWBIB6","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual approach to complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)00132-X_NEWBIB7","doi-asserted-by":"crossref","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, and A. Shtul-Trauring. STATEMATE; a working environment for the development of complex reactive systems. In Proceedings of the 10th International Conference on Software Engineering, pages 396\u2013406, Singapore, April 1988. IEEE Computer Society Press.","DOI":"10.1109\/ICCSSE.1988.72235"},{"key":"10.1016\/S1571-0661(04)00132-X_NEWBIB8","doi-asserted-by":"crossref","unstructured":"J. Williamson, P. Jensen, L. Ogata, and H Graves. Automatic programming technologies for avionics software (APTAS). In Proceedings of the 9th Digital Avionics Systems Conference, pages 101\u2013106. IEEE, 1990.","DOI":"10.1109\/DASC.1990.111269"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610400132X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610400132X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T01:57:11Z","timestamp":1550195831000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610400132X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":8,"alternative-id":["S157106610400132X"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00132-x","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}