{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:25Z","timestamp":1761597025866},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431664"},{"type":"electronic","value":"9783540456483"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45648-1_9","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T05:26:02Z","timestamp":1180329962000},"page":"162-183","source":"Crossref","is-referenced-by-count":10,"title":["Software Construction by Stepwise Feature Introduction"],"prefix":"10.1007","author":[{"given":"Ralph-Johan","family":"Back","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"9_CR1","volume-title":"Mathematical Centre Tracts","author":"R.J. Back","year":"1980","unstructured":"R.J. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Centre Tracts. Mathematical Centre, Amsterdam, 1980."},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"R.J. Back","year":"1988","unstructured":"R.J. Back. A calculusof refinementsfor program derivations. Acta Informatica, 25:593\u2013624, 1988.","journal-title":"Acta Informatica"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":".R.J. Back. Refinement diagrams. J. M. Morris and R. C. Shaw, editors, 4th Refinement Workshop, pages125\u2013137, Cambridge, UK, January 1991. Springer-Verlag.","DOI":"10.1007\/978-1-4471-3756-6_7"},{"key":"9_CR4","unstructured":"R.J. Back, L. Milovanov, I. Porres-Paltor and V. Preoteasa. A Case Study in Extreme Programming and Stepwise Feature Introduction. TUCS Technical Report, in preparation."},{"key":"9_CR5","unstructured":"R.J. Back, L. Milovanov and V. Preoteasa. Testing layered software. TUCS Technical Report, in preparation."},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/s001650070034","volume":"12","author":"R.J. Back","year":"2000","unstructured":"R.J. Back, A. Mikhajlova and J. von Wright. Class Refinement as Semantics of Correct Object Substitutability. Formal Aspects of Computing, 12: 18\u201340, 2000.","journal-title":"Formal Aspects of Computing"},{"key":"9_CR7","unstructured":"R.J. Back and V. Preoteasa. Layered Specifications: A Case Study. TUCS Technical Report, in preparation."},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BF01214918","volume":"8","author":"R.J. Back","year":"1996","unstructured":"R.J. Back and K. Sere. Superposition Refinement of Reactive Systems. Formal Aspects of Computing, 8(3):324\u2013346, 1996.","journal-title":"Formal Aspects of Computing"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"R.J. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, 1998.","DOI":"10.1007\/978-1-4612-1674-2"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"R. J. Back and J. von Wright. Encoding, decoding, and data refinement. Formal Aspects of Computing, 2000.","DOI":"10.1007\/s001650070008"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"K. Beck. Extreme Programming Explained Addison-Wesley, the XP Series, 1999.","DOI":"10.1109\/TOOLS.1999.779100"},{"key":"9_CR12","unstructured":"G. Booch, J. Rumbaugh and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998."},{"key":"9_CR13","unstructured":"E.W. Dijkstra. Notes on structured programming. In O. Dahl, E.W. Dijkstra, and C.A.R. Hoare, editors, Structured Programming. Academic Press, 1971."},{"key":"9_CR14","unstructured":"M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley Object Technology Series 2000."},{"key":"9_CR15","unstructured":"B. Meyer. Object-Oriented Software Construction, Prentice Hall, second edition, 1997."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"W.P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge Tractsin Theoretical Computer Science 47, 1998.","DOI":"10.1017\/CBO9780511663079"},{"key":"9_CR17","unstructured":"C.C. Morgan. Programming from Specifications. Prentice-Hall, 1990."},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"N. Wirth. Program development by stepwise refinement. Communications of the ACM, 14:221\u2013227, 1971.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","ZB 2002:Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45648-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T01:34:18Z","timestamp":1683855258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45648-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431664","9783540456483"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45648-1_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}