{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:35:38Z","timestamp":1725885338393},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319577074"},{"type":"electronic","value":"9783319577081"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57708-1_5","type":"book-chapter","created":{"date-parts":[[2017,4,20]],"date-time":"2017-04-20T12:03:37Z","timestamp":1492689817000},"page":"74-84","source":"Crossref","is-referenced-by-count":3,"title":["A Case Study of a GUI-Aided Approach to Constructing Formal Specifications"],"prefix":"10.1007","author":[{"given":"Fumiko","family":"Nagoya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoying","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,21]]},"reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1142\/S2301385014300029","volume":"2","author":"H Lin","year":"2014","unstructured":"Lin, H.: Mission accomplished: an introduction to formal methods in mobile robot motion planning and control. Unmanned Syst. 2(2), 201\u2013216 (2014)","journal-title":"Unmanned Syst."},{"key":"5_CR2","doi-asserted-by":"publisher","unstructured":"Seshia, S.A., Sadigh, D., Sastry, S.S.: Formal methods for semi-autonomous driving. In: Proceedings of the 52nd Annual Design Automation Conference, pp. 1\u20135. ACM (2015)","DOI":"10.1145\/2744769.2747927"},{"key":"5_CR3","series-title":"Undergraduate Topics in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-018-2","volume-title":"Rigorous Software Development: An Introduction to Program Verification","author":"JB Almeida","year":"2011","unstructured":"Almeida, J.B., Frade, M.J., Pinto, J.S., Melo de Sousa, S.: Rigorous Software Development: An Introduction to Program Verification. Undergraduate Topics in Computer Science. Springer, London (2011)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-319-31220-0_4","volume-title":"Structured Object-Oriented Formal Language and Method","author":"S Liu","year":"2016","unstructured":"Liu, S.: A GUI-aided approach to formal specification construction. In: Liu, S., Duan, Z. (eds.) SOFL+MSVL 2015. LNCS, vol. 9559, pp. 44\u201356. Springer, Cham (2016). doi:\n10.1007\/978-3-319-31220-0_4"},{"key":"5_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07287-5","volume-title":"Formal Engineering for Industrial Software Development","author":"S Liu","year":"2004","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development. Springer, Heidelberg (2004)"},{"key":"5_CR6","unstructured":"Liu, S., Hayashi, T., Takahashi, K., Kimura, K., Nakayama, T., Nakajima, S.: Automatic transformation from formal specifications to functional scenario forms for automatic test case generation. In: Proceedings of the 2010 Conference on New Trends in Software Methodologies, Tools and Techniques, pp. 383\u2013397. IOS Press (2010)"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Liu, S., Asuka, M., Komaya, K., Nakamura, Y.: An approach to specifying and verifying safety-critical systems with practical formal method SOFL. In: Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No. 98EX193), Monterey, CA, pp. 100\u2013114. IEEE (1998)","DOI":"10.1109\/ICECCS.1998.706660"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1109\/TSC.2012.22","volume":"6","author":"W Miao","year":"2013","unstructured":"Miao, W., Liu, S.: A formal engineering framework for service-based software modeling. IEEE Trans. Serv. Comput. 6, 536\u2013550 (2013)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"Nagoya, F., Liu, S.: Development of a web-based conference management system using SOFL. In: Proceedings of the 2015 Conference on Research in Adaptive and Convergent Systems, RACS, pp. 337\u2013342. ACM, New York (2015)","DOI":"10.1145\/2811411.2811502"},{"key":"5_CR10","unstructured":"Merck: The merck manuals. \nhttp:\/\/www.merckmanuals.com\/home"},{"key":"5_CR11","unstructured":"WebMD: Webmd symptom checker. \nhttp:\/\/www.symptoms.webmd.com\/"},{"key":"5_CR12","unstructured":"Infermedica: Symptomate. \nhttps:\/\/symptomate.com\/"},{"key":"5_CR13","unstructured":"Google: Google official blog. \nhttps:\/\/googleblog.blogspot.jp\/2015\/02\/health-info-knowledge-graph.html"},{"key":"5_CR14","unstructured":"IBM: Ibm watson health. \nhttp:\/\/www.ibm.com\/watson\/health\/"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1005959.1005964","volume":"8","author":"H Gomaa","year":"1983","unstructured":"Gomaa, H.: The impact of rapid prototyping on specifying user requirements. SIGSOFT Softw. Eng. Notes 8, 17\u201327 (1983). ACM, New York","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"5_CR16","doi-asserted-by":"publisher","unstructured":"Liu, S., Nakajima, S.: A decompositional approach to automatic test case generation based on formal specifications. In: Fourth International Conference on Secure Software Integration and Reliability Improvement, Singapore, pp. 147\u2013155. IEEE (2010)","DOI":"10.1109\/SSIRI.2010.11"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57708-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,4,20]],"date-time":"2017-04-20T12:05:09Z","timestamp":1492689909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57708-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319577074","9783319577081"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57708-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}