{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:36Z","timestamp":1725566856253},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236115"},{"type":"electronic","value":"9783540304722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30472-2_7","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T20:07:39Z","timestamp":1285272459000},"page":"107-123","source":"Crossref","is-referenced-by-count":4,"title":["Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods"],"prefix":"10.1007","author":[{"given":"Richard F.","family":"Paige","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan S.","family":"Ostroff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Ambler, S.: Extreme Testing. Software Development 11(5) (June 2003)"},{"key":"7_CR2","unstructured":"Ambler, S.: Agility for Executives. Software Development (September 2003)"},{"key":"7_CR3","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":"7_CR4","unstructured":"Beck, K., Cockburn, A., Jeffries, R., Highsmith, J.: Agile Manifesto (2001), http:\/\/www.agilemanifesto.org\/history.html"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Berry, D.: Formal methods: the very idea \u2013 some thoughts about why they work when they work. Science of Computer Programming\u00a042(1) (2002)","DOI":"10.1016\/S0167-6423(01)00026-0"},{"key":"7_CR6","volume-title":"Balancing Agility and Discipline: a guide for the perplexed","author":"B.W. Boehm","year":"2003","unstructured":"Boehm, B.W., Turner, R.: Balancing Agility and Discipline: a guide for the perplexed. Addison-Wesley, Reading (2003)"},{"key":"7_CR7","unstructured":"Cater, H.: Strategic Command 2, web site at http:\/\/www.battlefront.com (last accessed June 2004)"},{"key":"7_CR8","volume-title":"A Practical Theory of Programming","author":"E.C.R. Hehner","year":"2003","unstructured":"Hehner, E.C.R.: A Practical Theory of Programming, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)","edition":"2"},{"key":"7_CR9","volume-title":"Software Requirements and Specifications","author":"M. Jackson","year":"1995","unstructured":"Jackson, M.: Software Requirements and Specifications. ACM Press, New York (1995)"},{"key":"7_CR10","unstructured":"Ostroff, J.S., Paige, R.F., Makalsky, D., Brooke, P.J.: ETester: an Agent-Based Testing Framework for Eiffel (June 2004) (submitted)"},{"key":"7_CR11","volume-title":"Eiffel: the Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: the Language, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)","edition":"2"},{"key":"7_CR12","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. Extreme Programming 2004","author":"J.S. Ostroff","year":"2004","unstructured":"Ostroff, J.S., Makalsky, D., Paige, R.F.: Agile Specification-Driven Design. In: Proc. Extreme Programming 2004, June 2004. LNCS, Springer, Heidelberg (2004)"},{"key":"7_CR14","unstructured":"Paige, R.F., Ostroff, J.S., Brooke, P.J.: A Test-Based Agile Approach to Checking the Consistency of Class and Collaboration Diagrams. In: Proc. UK Software Testing Workshop, University of York (September 2003)"},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s00165-003-0024-3","volume":"16","author":"R.F. Paige","year":"2004","unstructured":"Paige, R.F., Ostroff, J.S.: ERC: an Object-Oriented Refinement Calculus for Eiffel. Formal Aspects of Computing\u00a016(1), 51\u201379 (2004)","journal-title":"Formal Aspects of Computing"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology\u00a06(1) (1997)","DOI":"10.1145\/237432.237434"}],"container-title":["Lecture Notes in Computer Science","Teaching Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30472-2_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:53:35Z","timestamp":1605761615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30472-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236115","9783540304722"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30472-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}