{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T04:24:13Z","timestamp":1754195053942},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319901039"},{"type":"electronic","value":"9783319901046"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-90104-6_12","type":"book-chapter","created":{"date-parts":[[2018,4,17]],"date-time":"2018-04-17T12:53:22Z","timestamp":1523969602000},"page":"187-199","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Software Tool to Support Scenario-Based Formal Specification for Error Prevention"],"prefix":"10.1007","author":[{"given":"Siyuan","family":"Li","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":[[2018,4,18]]},"reference":[{"issue":"8","key":"12_CR1","first-page":"1100","volume":"35","author":"S Liu","year":"2012","unstructured":"Liu, S., Chen, Y., Nagoya, F., McDermid, J.: Formal specification-based inspection for verification of programs. IEEE Trans. Softw. Eng. 35(8), 1100\u20131122 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-319-57708-1_10","volume-title":"Structured Object-Oriented Formal Language and Method","author":"J Luo","year":"2017","unstructured":"Luo, J., Liu, S., Wang, Y., Zhou, T.: Applying SOFL to a railway interlocking system in industry. In: Liu, S., Duan, Z., Tian, C., Nagoya, F. (eds.) SOFL\u2009+\u2009MSVL 2016. LNCS, vol. 10189, pp. 160\u2013177. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57708-1_10"},{"issue":"4","key":"12_CR3","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., 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."},{"unstructured":"Liu, S.: Capturing complete and accurate requirements by refinement. In: Proceedings of 8th IEEE International Conference on Engineering of Complex Computer Systems. IEEE Computer Society Press, Greenbelt, 2\u20134 December (2002)","key":"12_CR4"},{"key":"12_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07287-5","volume-title":"Formal Engineering for Industrial Software Development Using the SOFL Method","author":"S Liu","year":"2004","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Spinger, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Li, M., Liu, S.: Automated functional scenarios-based formal specification animation. In: Software Engineering Conference (APSEC), Hong Kong, China (2012)","key":"12_CR6","DOI":"10.1109\/APSEC.2012.115"},{"doi-asserted-by":"crossref","unstructured":"Liu, S., NaKajima, S.: A decompositional approach to automatice test case generation based on formal specifications. In: Secure Software Integration and Reliability Improvement, Singapore (2010)","key":"12_CR7","DOI":"10.1109\/SSIRI.2010.11"},{"unstructured":"Martin, S., Rudy, S., Josep, H.: Enhanced latent semantic analysis by considering mistyped words in automated essay scoring. In: Informatics and Computing (ICIC), Mataram, Indonesia (2017)","key":"12_CR8"},{"unstructured":"Sahand, S., Mehrnaz, A., Bijan, A.: Systematic approximate logic optimization using don\u2019t care conditions. In: Quality Electronic Design (ISQED), Santa Clara, CA, USA (2017)","key":"12_CR9"},{"unstructured":"Senem, K., Bahar, K., Tank, K.: Attribute value-range detection in identification of paraphrase sentence pairs. In: Signal Processing and Communication Application Conference (SIU). Zonguldak, Turkey (2016)","key":"12_CR10"},{"doi-asserted-by":"crossref","unstructured":"Luo, X., Liu, S.,Wu, H.: A framework for transforming SOFL formal specifications to programs. In: Software Engineering and Service Science (ICSESS), Beijing, China (2015)","key":"12_CR11","DOI":"10.1109\/ICSESS.2015.7338997"},{"unstructured":"Chen, H., Shen, Y., Jiang, J.: Extended SOFL features for the modeling of middleware-based transaction management. In: Engineering of Complex Computer Systems (ICECCS), Shanghai, China (2005)","key":"12_CR12"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-04915-1_8","volume-title":"Structured Object-Oriented Formal Language and Method","author":"S Zhu","year":"2014","unstructured":"Zhu, S., Liu, S.: A supporting tool for syntactic analysis of sofl formal specifications and automatic generation of functional scenarios. In: Liu, S., Duan, Z. (eds.) SOFL\u2009+\u2009MSVL 2013. LNCS, vol. 8332, pp. 104\u2013117. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-04915-1_8"},{"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: 9th International Conference on Software Methodologies, Tools, and Techniques. IOS Press. Yokohama (2010)","key":"12_CR14"},{"key":"12_CR15","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."}],"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-90104-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T22:49:36Z","timestamp":1571179776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90104-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319901039","9783319901046"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90104-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}