{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:38Z","timestamp":1725566858380},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_15","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T20:07:39Z","timestamp":1285272459000},"page":"225-234","source":"Crossref","is-referenced-by-count":0,"title":["Retrospect and Prospect of Formal Methods Education in China"],"prefix":"10.1007","author":[{"given":"Baowen","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yingzhou","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanhui","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"15_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/52.57887","volume":"7","author":"J.A. Hall","year":"1990","unstructured":"Hall, J.A.: Seven Myths of Formal Methods. IEEE Software\u00a07(5), 11\u201319 (1990)","journal-title":"IEEE Software"},{"issue":"4","key":"15_CR2","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/54.491236","volume":"12","author":"P.B. Jonathan","year":"1995","unstructured":"Jonathan, P.B.: Seven More Myths of Formal Methods. IEEE Computer\u00a012(4), 34\u201341 (1995)","journal-title":"IEEE Computer"},{"key":"15_CR3","unstructured":"NASA JPL: Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Pasadena , CA , USA. (Manual) - Vol (I) : Planning and Technology Insertion , (NASA2GB2002295), (1995) - Vol (II): A Practitioner\u2019s Companion, (NASA2GB2001297) (1997)"},{"key":"15_CR4","unstructured":"Website, CS Department of Peking University, Beijing, China, \n                  \n                    http:\/\/www.cs.pku.edu.cn\/"},{"key":"15_CR5","unstructured":"Website, CS Department of Nanjing University, Nanjing, China, \n                  \n                    http:\/\/www.cs.nju.edu.cn\/"},{"key":"15_CR6","unstructured":"Website, CS & Engineering School of Beijing University of Aeronautics and Astronautics, Beijing, China, \n                  \n                    http:\/\/scse.buaa.edu.cn\/"},{"key":"15_CR7","unstructured":"Website, CS Department of Shanghai Jiao Tong University, Shanghai, China, \n                  \n                    http:\/\/www.cs.sjtu.edu.cn\/"},{"key":"15_CR8","unstructured":"Website, CS & Technology School of Jilin University, Jilin, China, \n                  \n                    http:\/\/info.jlu.edu.cn\/~cs\/"},{"key":"15_CR9","unstructured":"Website, CS & Engineering Department of Southeast University, Nanjing, China, \n                  \n                    http:\/\/cse.seu.edu.cn\/"},{"issue":"7","key":"15_CR10","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/52.493020","volume":"13","author":"P.G. Larsen","year":"1996","unstructured":"Larsen, P.G., Fitzgerald, J., Brookes, T.: Applying Formal Specification in Industry. IEEE Software\u00a013(7), 48\u201356 (1996)","journal-title":"IEEE Software"},{"key":"15_CR11","first-page":"1","volume-title":"Applications of Formal Methods","author":"M.G. Hinchey","year":"1995","unstructured":"Hinchey, M.G., Bowen, J.P.: Applications of Formal Methods FAQ. In: Applications of Formal Methods, pp. 1\u201315. Prentice Hall, Englewood Cliffs (1995)"},{"key":"15_CR12","unstructured":"Clarke, E., Wing, J.: Formal Methods: State of the Art and Future Directions. CMU Com-puter Science Technical Report CMU 2CS2962178, pp. 1\u201322 (1996)"},{"issue":"3","key":"15_CR13","first-page":"187","volume":"7","author":"H.W. Chen","year":"1996","unstructured":"Chen, H.W., Qi, Z.C., Wang, B.S., Ning, H., Tan, Q.P.: A Framework for Rigorous Software Development (in Chinese). Journal of Software\u00a07(3), 187\u2013193 (1996)","journal-title":"Journal of Software"},{"key":"15_CR14","unstructured":"Fu, Q.: Inquiry Learning under Western and Oriental Cultural Environment (in Chinese). Communications on Education Technology (2003)"}],"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_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:02:29Z","timestamp":1620014549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30472-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236115","9783540304722"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30472-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}