{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T19:05:02Z","timestamp":1649012702359},"reference-count":13,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1985,2,1]],"date-time":"1985-02-01T00:00:00Z","timestamp":476064000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1985,2]]},"DOI":"10.1016\/0164-1212(85)90009-3","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:49:55Z","timestamp":1060318195000},"page":"81-88","source":"Crossref","is-referenced-by-count":3,"title":["Stepwise refinement revisited"],"prefix":"10.1016","volume":"5","author":[{"given":"Vaclav","family":"Rajlich","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(85)90009-3_BIB1","series-title":"Knowledge-Based Program Construction","author":"Barstow","year":"1979"},{"key":"10.1016\/0164-1212(85)90009-3_BIB2","unstructured":"T. E. Cheatham Jr., G. H. Holloway and J. A. Townsley, Program refinement by transformation Proc. 5th Conference on Software Engineering, San Diego, pp. 430\u2013437."},{"key":"10.1016\/0164-1212(85)90009-3_BIB3","series-title":"Problem Solving and Structured Programming in Pascal","author":"Coffman","year":"1981"},{"key":"10.1016\/0164-1212(85)90009-3_BIB4","series-title":"Structured Programming","article-title":"Notes on structured programming","author":"Dijkstra","year":"1972"},{"key":"10.1016\/0164-1212(85)90009-3_BIB5","article-title":"An overview of the Gandalf project","author":"Habermann","year":"1979"},{"key":"10.1016\/0164-1212(85)90009-3_BIB6","unstructured":"Hans-Ludwig Hansen and Monica Mullerburg, Conspectus of software engineering environments, in Tutorial: Software Development Environments, A. J. Wasserman, ed., IEEE Catalog No. EMO 187-5, pp. 462\u2013476."},{"key":"10.1016\/0164-1212(85)90009-3_BIB7","series-title":"Proc. COMPSAC 82 Conf.","first-page":"611","author":"Lyon","year":"1982"},{"key":"10.1016\/0164-1212(85)90009-3_BIB8","unstructured":"L. Petrone, A. DiLeva and F. Sirovich, DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements Proc. 6th International Conference on Software Engineering, IEEE Catalog No. 82CH1795-4, pp. 350\u2013357."},{"key":"10.1016\/0164-1212(85)90009-3_BIB9","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/358746.358755","article-title":"The Cornell program synthesizer: a syntax-directed programming environment","volume":"24","author":"Teitelbaum","year":"1982","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(85)90009-3_BIB10","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","article-title":"Program development by stepwise refinement","author":"Wirth","year":"1971","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(85)90009-3_BIB11","series-title":"Algortihms + Data Structures = Programs","author":"Wirth","year":"1976"},{"key":"10.1016\/0164-1212(85)90009-3_BIB12","author":"ADA","year":"1980"},{"key":"10.1016\/0164-1212(85)90009-3_BIB13","unstructured":"R. A. Snowdon, P. Henderson, The TOPD system for computer-aided system development, reprinted in A. I. Wasserman, Tutorial: Software Development Environments, pp. 241\u2013262."}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121285900093?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121285900093?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T02:54:39Z","timestamp":1552618479000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121285900093"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,2]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,2]]}},"alternative-id":["0164121285900093"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(85)90009-3","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1985,2]]}}}