{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T19:40:10Z","timestamp":1748806810341,"version":"3.41.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319312194"},{"type":"electronic","value":"9783319312200"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-31220-0_4","type":"book-chapter","created":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T13:59:52Z","timestamp":1457791192000},"page":"44-56","source":"Crossref","is-referenced-by-count":3,"title":["A GUI-Aided Approach to Formal Specification Construction"],"prefix":"10.1007","author":[{"given":"Shaoying","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"4_CR1","first-page":"337","volume":"24","author":"S Liu","year":"1998","unstructured":"Liu, S., Offutt, A.J., Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: a formal engineering methodology for industrial applications. IEEE Trans. Softw. Eng. 24(1), 337\u2013344 (1998). Special Issue on Formal Methods","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: formal modelling and design aided by UML. ACM Trans. Softw. Eng. Methodol. (TOSEM) 15(1), 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-30482-1_4","volume-title":"Formal Methods and Software Engineering","author":"S Liu","year":"2004","unstructured":"Liu, S.: Formal engineering for industrial software development \u2013 an introduction to the SOFL specification language and method. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 7\u20138. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","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 of the Fourth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 1998), pp. 100\u2013114, Monterey, California, USA, 10\u201314 August 1998. IEEE Computer Society Press (1998)","key":"4_CR4","DOI":"10.1109\/ICECCS.1998.706660"},{"unstructured":"Shen, Y., Chen, H.: Extending SOFL features for AOP modeling. In: Proceedings of 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Presented at the Workshop on SOFL, pp. 14\u201315. IEEE Computer Society Press, Shanghai (2005)","key":"4_CR5"},{"issue":"5","key":"4_CR6","first-page":"9","volume":"22","author":"MM Tanik","year":"1989","unstructured":"Tanik, M.M., Yehissi, R.T.: Rapid prototyping in software development. The Computer 22(5), 9\u201311 (1989)","journal-title":"The Computer"},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1375761.1375762","volume":"15","author":"YK Lim","year":"2008","unstructured":"Lim, Y.K., Erik, S., Josh, T.: The anatomy of prototypes: prototypes as filters, prototypes as manifestations of design ideas. ACM Trans. Comput. Human Interact. 15(2), 7\u201333 (2008)","journal-title":"ACM Trans. Comput. Human Interact."},{"issue":"4","key":"4_CR8","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1109\/TR.2010.2085571","volume":"59","author":"S Liu","year":"2010","unstructured":"Liu, S., McDermid, J.A., Chen, Y.: A rigorous method for inspection of model-based formal specifications. IEEE Trans. Reliab. 59(4), 667\u2013684 (2010)","journal-title":"IEEE Trans. Reliab."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"1271","DOI":"10.1016\/j.jss.2006.12.540","volume":"80","author":"S Liu","year":"2007","unstructured":"Liu, S., Wang, H.: An automated approach to specification animation for validation. J. Syst. Softw. 80, 1271\u20131285 (2007)","journal-title":"J. Syst. Softw."},{"unstructured":"Abdallah, A.E., Bowen, J.P., Barros, A., Barros, J.B.: A provably correct functional programming approach to the prototyping of formal Z specifications. In: Proceedings of ACS\/IEEE International Conference on Computer Systems and Applications (AICCSA 2003), Tunis, Tunisia, 14\u201318 July 2003. IEEE Computer Society Press (2003)","key":"4_CR10"},{"doi-asserted-by":"crossref","unstructured":"Najafi, M., Haghighi, H.: An animation approach to develop c++ code from object-Z specifications. In: CSI International Symposium on Computer Science and Software Engineering (CSSE 2011), pp. 9\u201316. IEEE (2011)","key":"4_CR11","DOI":"10.1109\/CSICSSE.2011.5963990"},{"doi-asserted-by":"crossref","unstructured":"Miller, T., Strooper, P.: Combining the animation and testing of abstract data types. In: Proceedings of Second Asia-Pacific Conference on Quality Software (APAQS 2001), pp. 249\u2013258. IEEE CS Press (2001)","key":"4_CR12","DOI":"10.1109\/APAQS.2001.990027"},{"doi-asserted-by":"crossref","unstructured":"Baumer, D., Bischofberger, W.R., Lichter, H., Zullighoven, H.: User interface prototyping - concepts, tools, and experience. In: 18th International Conference on Software Engineering (ICSE 1996), pp. 532\u2013541, Berlin, 25\u201330 March 1996","key":"4_CR13","DOI":"10.1109\/ICSE.1996.493447"},{"doi-asserted-by":"crossref","unstructured":"Smith, W.R.: Using a prototype-based language for user interface: the Newton project\u2019s experience. In: ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 61\u201372, Austin, 15\u201319 October 1995","key":"4_CR14","DOI":"10.1145\/217838.217844"},{"unstructured":"Memmel, T., Gundelsweiler, F., Reiterer, H., Interfaces, prototyping corporate user : towards a visual specification of interactive systems. In: Second IASTED International Conference on Human Computer Interaction (IASTED-HCI 2007), pp. 177\u2013182, Chamonix, 14\u201316 March 2007","key":"4_CR15"},{"unstructured":"Reza, E.: A GUI Driven Platform for Implementing Evolutionary Algorithms in Java. PhD thesis, Concordia University, 12 September 2014","key":"4_CR16"}],"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-31220-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T19:22:15Z","timestamp":1748805735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31220-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319312194","9783319312200"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31220-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}