{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:34:56Z","timestamp":1725903296361},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319623917"},{"type":"electronic","value":"9783319623924"}],"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-62392-4_20","type":"book-chapter","created":{"date-parts":[[2017,7,4]],"date-time":"2017-07-04T22:34:09Z","timestamp":1499207649000},"page":"273-283","source":"Crossref","is-referenced-by-count":2,"title":["A Comparative Study of a GUI-Aided Formal Specification Construction Approach"],"prefix":"10.1007","author":[{"given":"Fumiko","family":"Nagoya","sequence":"first","affiliation":[]},{"given":"Shaoying","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,6]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Law, E.L.C., Roto, V., Hassenzahl, M., Vermeeren, A.P., Kort, J.: Understanding, scoping and defining user experience: a survey approach. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2009, New York, NY, USA, ACM (2009) 719\u2013728","DOI":"10.1145\/1518701.1518813"},{"key":"20_CR2","series-title":"Advances in Human Factors and Ergonomics Series","volume-title":"Advances in the Human Side of Service Engineering","year":"2012","unstructured":"Spohrer, J.C., Freund, L.E. (eds.): Advances in the Human Side of Service Engineering. Advances in Human Factors and Ergonomics Series. CRC Press, Boca Raton (2012)"},{"key":"20_CR3","unstructured":"Axure Software Solutions Inc.: Axure RP. \nhttps:\/\/www.axure.com\/"},{"key":"20_CR4","unstructured":"Balsamiq Studios LLC.: Balsamiq mockups. \nhttps:\/\/balsamiq.com\/"},{"key":"20_CR5","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":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-319-57708-1_5","volume-title":"Structured Object-Oriented Formal Language and Method","author":"F Nagoya","year":"2017","unstructured":"Nagoya, F., Liu, S.: A case study of a GUI-Aided approach to constructing formal specifications. In: Liu, S., Duan, Z., Tian, C., Nagoya, F. (eds.) SOFL+MSVL 2016. LNCS, vol. 10189, pp. 74\u201384. Springer, Cham (2017). doi:\n10.1007\/978-3-319-57708-1_5"},{"key":"20_CR7","doi-asserted-by":"crossref","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)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"20_CR8","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","volume-title":"Advances in Computer Science and Information Technology. Computer Science and Information Technology","year":"2012","unstructured":"Meghanathan, N., Chaki, N., Nagamalai, D. (eds.): CCSIT 2012. LNICSSITE, vol. 86. Springer, Heidelberg (2012)"},{"key":"20_CR9","doi-asserted-by":"crossref","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":"20_CR10","doi-asserted-by":"crossref","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":"20_CR11","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1109\/TR.2015.2456853","volume":"65","author":"M Li","year":"2016","unstructured":"Li, M., Liu, S.: Integrating animation-based inspection into formal design specification construction for reliable software systems. IEEE Trans. Reliab. 65, 88\u2013106 (2016)","journal-title":"IEEE Trans. Reliab."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Liu, S., Nakajima, S.: A decompositional approach to automatic test case generation based on formal specifications. In: Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, IEEE Computer Society, Washington, DC, pp. 147\u2013155 (2010)","DOI":"10.1109\/SSIRI.2010.11"},{"key":"20_CR13","volume-title":"Systematic Software Development Using VDM","author":"CB Jones","year":"1986","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Prentice Hall International (UK) Ltd., Upper Saddle River (1986)"},{"key":"20_CR14","volume-title":"Structured Analysis and System Specification","author":"T DeMarco","year":"1979","unstructured":"DeMarco, T.: Structured Analysis and System Specification. Prentice Hall PTR, Upper Saddle River (1979)"},{"key":"20_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. Springer, New York (1985)"},{"key":"20_CR16","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1145\/223500.223514","volume":"3","author":"J Rudd","year":"1996","unstructured":"Rudd, J., Stern, K., Isensee, S.: Low vs. high-fidelity prototyping debate. Interactions 3, 76\u201385 (1996)","journal-title":"Interactions"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Carter, A.S., Hundhausen, C.D.: How is user interface prototyping really done in practice? A survey of user interface designers. In: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 207\u2013211 (2010)","DOI":"10.1109\/VLHCC.2010.36"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Myers, B., Park, S.Y., Nakano, Y., Mueller, G., Ko, A.: How designers design and program interactive behaviors. In: Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, VLHCC 2008. IEEE Computer Society, Washington, DC pp. 177\u2013184 (2008)","DOI":"10.1109\/VLHCC.2008.4639081"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62392-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,4]],"date-time":"2017-07-04T22:44:13Z","timestamp":1499208253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-62392-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319623917","9783319623924"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62392-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}