{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T13:34:03Z","timestamp":1770298443224,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540221371","type":"print"},{"value":"9783540248538","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24853-8_12","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T18:24:28Z","timestamp":1281291868000},"page":"104-112","source":"Crossref","is-referenced-by-count":8,"title":["Agile Specification-Driven Development"],"prefix":"10.1007","author":[{"given":"Jonathan S.","family":"Ostroff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Makalsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard F.","family":"Paige","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Test-driven Development: by example","author":"K. Beck","year":"2003","unstructured":"Beck, K.: Test-driven Development: by example. Addison-Wesley, Reading (2003)"},{"key":"12_CR2","unstructured":"Beck, K., Cockburn, A., Jeffries, R., Highsmith, J.: Agile Manifesto (2001), www.agilemanifesto.org\/history.html"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0167-6423(01)00026-0","volume":"42","author":"D.M. Berry","year":"2002","unstructured":"Berry, D.M.: Formal methods: the very idea \u2014 Some thoughts about why they work when they work. Science of Computer Programming\u00a042(1), 11\u201327 (2002)","journal-title":"Science of Computer Programming"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44870-5_32","volume-title":"Extreme Programming and Agile Processes in Software Engineering","author":"Y. Feldman","year":"2003","unstructured":"Feldman, Y.: Extreme Design by Contract. In: Marchesi, M., Succi, G. (eds.) XP 2003. LNCS, vol.\u00a02675, Springer, Heidelberg (2003)"},{"key":"12_CR5","volume-title":"Refactoring","author":"M. Fowler","year":"1999","unstructured":"Fowler, M., Beck, K.: Refactoring. Addison-Wesley, Reading (1999)"},{"key":"12_CR6","unstructured":"Gamma, E., Beck, K.: JUnit: A cook\u2019s tour. Java Report, pp. 27\u201338 (1999)"},{"key":"12_CR7","volume-title":"OOPSLA 2000 Companion","author":"G.T. Leavens","year":"2000","unstructured":"Leavens, G.T., Leino, K.R.M., Poll, E., Ruby, C., Jacobs, B.: JML: notations and tools supporting detailed design in Java. In: OOPSLA 2000 Companion, ACM, New York (2000)"},{"key":"12_CR8","unstructured":"Makalsky, D.: ETester Unit Testing Framework (2004), Available at www.cs.yorku.ca\/eiffel\/etester"},{"key":"12_CR9","volume-title":"Agile software development","author":"R.C. Martin","year":"2003","unstructured":"Martin, R.C.: Agile software development. Pearson Education, London (2003)"},{"key":"12_CR10","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs (1997)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Practice to Perfect: the Quality-First Model. IEEE Computer\u00a030(5) (1997)","DOI":"10.1109\/2.589917"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-44880-2_22","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"A.R. Meyer","year":"2003","unstructured":"Meyer, A.R.: Towards practical proofs of class correctness. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 359\u2013387. Springer, Heidelberg (2003)"},{"key":"12_CR13","unstructured":"Meyer, B.: Personal communication (June 2003)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Paige, R., Ostroff, J.S.: The Single Model Principle. Journal of Object Oriented Technology\u00a01(5) (2002)","DOI":"10.5381\/jot.2002.1.5.c6"},{"issue":"6","key":"12_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/MC.2003.1204373","volume":"36","author":"L. Williams","year":"2003","unstructured":"Williams, L., Cockburn, A.: Agile Software Development: It\u2019s about Feedback. Computer\u00a036(6), 39\u201343 (2003)","journal-title":"Computer"}],"container-title":["Lecture Notes in Computer Science","Extreme Programming and Agile Processes in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24853-8_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:57:52Z","timestamp":1605743872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24853-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221371","9783540248538"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24853-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}