{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:54Z","timestamp":1725663114034},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:11:49Z","timestamp":1330193509000},"page":"231-245","source":"Crossref","is-referenced-by-count":0,"title":["Program development and documentation by informal transformations and derivations"],"prefix":"10.1007","author":[{"given":"Giovanna","family":"Petrone","sequence":"first","affiliation":[]},{"given":"Luigi","family":"Petrone","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"15_CR1","unstructured":"Baase S. |1978| Computer Algorithms: introduction to Design and Analysis. Addison-Wesley."},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TSE.1981.230814","volume":"SE-7","author":"R. Balzer","year":"1981","unstructured":"Balzer R. |1981| Transformational Implementation: an example. IEEE Trans. on Soft. Eng., Vol SE-7, 3\u201314.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"15_CR3","unstructured":"Bauer F.L. |1976| Programming as an evolutionary process. Proc. 2-nd Int. Conf. on Soft. Eng., San Francisco, 223\u2013234."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Bauer F.L. and W\u00f6ssner H. |1982| Algorithmic Language and Program Development. Springer Verlag.","DOI":"10.1007\/978-3-642-61807-9"},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"Burstall R.M. and Darlington J.A. |1977| A transformation system for developing recursive programs. J. ACM 24, 44\u201367.","journal-title":"J. ACM"},{"key":"15_CR6","unstructured":"Darlington J.A. |1976| A synthesis of several sorting algorithms. Res. Rep. N.23, Dpt. of A.I., Un. of Edinburgh."},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22\u20135","author":"R. A. Millo De","year":"1979","unstructured":"De Millo R.A., Lipton R.J. and Perlis A.J. |1979| Social processes and proofs of theorems and programs. Comm.s ACM, Vol 22\u20135, 271\u2013280.","journal-title":"Comm.s ACM"},{"key":"15_CR8","unstructured":"Dijkstra E.W. |1972| Notes on structured programming in Structured Programming, Academic Press."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Gerhart S.L. and Yelowitz L. |1976| Control Structure abstractions of the Backtracking Programming Technique. IEEE Trans. on Soft Eng.","DOI":"10.1109\/TSE.1976.233834"},{"key":"15_CR10","unstructured":"Manna Z. |1976| Mathematical Theory of Computation. MC Graw-Hill."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Manna Z. and Waldinger R. |1979| Synthesis: dreams = programs. IEEE Trans. Soft. Eng., SE-5.","DOI":"10.1109\/TSE.1979.234198"},{"key":"15_CR12","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF01934408","volume":"22","author":"P. Naur","year":"1982","unstructured":"Naur P. |1982| Formalization in program development. Bit, 22, 437\u2013453.","journal-title":"Bit"},{"key":"15_CR13","unstructured":"Petrone L. et alii |1982| DUAL: an interactive tool for developing documented programs by step-wise refinements. Proc. 6-th Int. Conf. Soft. Eng., Tokyo, 350\u2013357."},{"key":"15_CR14","unstructured":"Petrone L. et alii |1983| Program development and documentation by step-wise transformations: an interactive tool. Proc. Int. Comp. Symp. N\u00fcrnberg."},{"key":"15_CR15","unstructured":"Scherlis W.L. and Scott D.S. |1983| First steps towards inferential programming. IFIP Congress, 199\u2013212."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Waters R.C. |1979| A Method for analyzing loop programs. IEEE Trans. Soft. Eng., 5.","DOI":"10.1109\/TSE.1979.234185"},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"Wirth N. |1971| Program development by step-wise refinements. Comm. ACM, 14, 221\u2013227.","journal-title":"Comm. ACM"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:07Z","timestamp":1605643687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}