{"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":1725566856742},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_8","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T16:07:39Z","timestamp":1285258059000},"page":"124-139","source":"Crossref","is-referenced-by-count":2,"title":["Integrating Formal Specification and Software Verification and Validation"],"prefix":"10.1007","author":[{"given":"Roger","family":"Duke","sequence":"first","affiliation":[]},{"given":"Tim","family":"Miller","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Strooper","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Bloesch, A., Kazmierczak, E., Kearney, P., Staples, J., Traynor, O., Utting, M.: A formal reasoning environment for Sum - a Z based specification language. Technical Report 95-02, Software Verification Research Centre (1995)"},{"issue":"2","key":"8_CR2","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1002\/1099-1689(200006)10:2<111::AID-STVR204>3.0.CO;2-P","volume":"10","author":"D. Carrington","year":"2000","unstructured":"Carrington, D., MacColl, I., McDonald, J., Murray, L., Strooper, P.: From Object-Z specifications to ClassBench test suites. Journal on Software Testing, Verification and Reliability\u00a010(2), 111\u2013137 (2000)","journal-title":"Journal on Software Testing, Verification and Reliability"},{"key":"8_CR3","volume-title":"Formal Object-Oriented Specification Using Object-Z","author":"R. Duke","year":"2000","unstructured":"Duke, R., Rose, G.: Formal Object-Oriented Specification Using Object-Z. MacMillan Press Limited, London (2000)"},{"issue":"3-4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0950-5849(95)99361-P","volume":"37","author":"D. Garlan","year":"1995","unstructured":"Garlan, D.: Making formal methods education effective for professional software engineers. Information and Software Technology\u00a037(3-4), 261\u2013268 (1995)","journal-title":"Information and Software Technology"},{"issue":"4","key":"8_CR5","first-page":"29","volume":"29","author":"D. Gries","year":"1996","unstructured":"Gries, D.: The need for education in useful formal logic. IEEE Computer\u00a029(4), 29\u201330 (1996)","journal-title":"IEEE Computer"},{"key":"8_CR6","unstructured":"Habrias, H., Faucou, S.: Some reflections on the teaching of formal methods. In: Teaching Formal Methods: Practice and Experience (2003), \n                  \n                    http:\/\/wwwcms.brookes.ac.uk\/tfm2003"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/APSEC.1997.640160","volume-title":"Proceedings Asia-Pacific Software Engineering Conference and International Computer Science Conference","author":"D. Hazel","year":"1997","unstructured":"Hazel, D., Strooper, P., Traynor, O.: Possum: An animator for the sum specification language. In: Proceedings Asia-Pacific Software Engineering Conference and International Computer Science Conference, pp. 42\u201351. IEEE Computer Society, Los Alamitos (1997)"},{"key":"8_CR8","first-page":"302","volume-title":"Proceedings 13th IEEE International Conference on Automated Software Engineering","author":"D. Hazel","year":"1998","unstructured":"Hazel, D., Strooper, P., Traynor, O.: Requirements engineering and verification using specification animation. In: Proceedings 13th IEEE International Conference on Automated Software Engineering, pp. 302\u2013305. IEEE Computer Society, Los Alamitos (1998)"},{"issue":"4","key":"8_CR9","first-page":"18","volume":"29","author":"M.G. Hinchey","year":"1996","unstructured":"Hinchey, M.G., Bowen, J.P.: To formalize or not to formalize. IEEE Computer\u00a029(4), 18\u201319 (1996)","journal-title":"IEEE Computer"},{"key":"8_CR10","unstructured":"King, S.: The assessment of students on FM courses: A position paper. In: Teaching Formal Methods: Practice and Experience (2003), \n                  \n                    http:\/\/wwwcms.brookes.ac.uk\/tfm2003"},{"key":"8_CR11","volume-title":"Concurrency: State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. Wiley, Chichester (1999)"},{"key":"8_CR12","unstructured":"Maharaj, S.: Formal methods teaching at the University of Stirling. In: Teaching Formal Methods: Practice and Experience (2003), \n                  \n                    http:\/\/wwwcms.brookes.ac.uk\/tfm2003"},{"key":"8_CR13","unstructured":"Miller, T., Strooper, P.: A framework for the systematic testing of model-based specifications. ACM Transactions on Software Engineering and Methodology (2004) (to appear)"},{"issue":"3","key":"8_CR14","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0164-1212(97)00166-0","volume":"40","author":"D.L. Parnas","year":"1998","unstructured":"Parnas, D.L.: \u201cformal methods\u201d technology transfer will fail. Journal of Systems and Software\u00a040(3), 195\u2013198 (1998)","journal-title":"Journal of Systems and Software"},{"key":"8_CR15","first-page":"72","volume-title":"Proceedings 10th International Conference on the Z Formal Method","author":"M. Saaltink","year":"1997","unstructured":"Saaltink, M.: The Z\/EVES system. In: Proceedings 10th International Conference on the Z Formal Method, pp. 72\u201388. Springer, Heidelberg (1997)"},{"key":"8_CR16","volume-title":"The B-Method: An Introduction","author":"S. Schneider","year":"2001","unstructured":"Schneider, S.: The B-Method: An Introduction. Palgrave, Oxford (2001)"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/CSEE.2000.827022","volume-title":"Proceedings Thirteenth Conference on Software Engineering Education & Training","author":"A. Sobel","year":"2000","unstructured":"Sobel, A., Saiedian, S., Stavely, A., Henderson, P.: Teaching formal methods early in the software engineering curriculum. In: Proceedings Thirteenth Conference on Software Engineering Education & Training, p. 55. IEEE Computer Society, Los Alamitos (2000)"},{"issue":"11","key":"8_CR18","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/32.553698","volume":"22","author":"P. Stocks","year":"1996","unstructured":"Stocks, P., Carrington, D.: A framework for specification-based testing. IEEE Transactions on Software Engineering\u00a022(11), 777\u2013793 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"8_CR19","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1002\/stvr.223","volume":"11","author":"M. Utting","year":"2001","unstructured":"Utting, M., Reeves, S.: Teaching formal methods lite via testing. Software Testing, Verification and Reliability\u00a011(3), 181\u2013195 (2001)","journal-title":"Software Testing, Verification and Reliability"}],"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_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:02:31Z","timestamp":1620000151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30472-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236115","9783540304722"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30472-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}