{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:33:33Z","timestamp":1742996013093,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"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_15","type":"book-chapter","created":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T08:59:52Z","timestamp":1457773192000},"page":"206-218","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Transformation from SOFL Module Specifications to Program Structures"],"prefix":"10.1007","author":[{"given":"Xiongwen","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoying","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"15_CR1","doi-asserted-by":"publisher","first-page":"1100","DOI":"10.1109\/TSE.2011.102","volume":"38","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. 38(5), 1100\u20131122 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s00165-009-0145-4","volume":"23","author":"PD Mosses","year":"2011","unstructured":"Mosses, P.D.: VDM semantics of programming language: combinators and monads. Formal Aspects Comput. 23, 221\u2013238 (2011)","journal-title":"Formal Aspects Comput."},{"key":"15_CR3","isbn-type":"print","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. Springer, Heidelberg (2004). ISBN 3-540-20602-7","ISBN":"https:\/\/id.crossref.org\/isbn\/3540206027"},{"issue":"1","key":"15_CR4","first-page":"137","volume":"6","author":"S Liu","year":"2009","unstructured":"Liu, S.: An approach to applying SOFL for agile process and its application in developing a test support tool. Innovations Syst. Softw. Eng. 6(1), 137\u2013143 (2009). Springer","journal-title":"Innovations Syst. Softw. Eng."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Zainuddin, F.B., Liu, S.: An approach to low-fidelity prototyping based on SOFL informal specification. In: IEEE APSEC (2012), ISSN: 1530-1362\/12","DOI":"10.1109\/APSEC.2012.132"},{"key":"15_CR6","unstructured":"Miao, W., Liu, S.: Service-oriented modeling using the SOFL formal engineering method. In: IEEE APSCC (2009), ISBN: 978-1-4244-5336-8\/09"},{"key":"15_CR7","unstructured":"Liu, S., Xue, X.: Automated software specification and design using the SOFL formal engineering method. In: IEEE WCSE (2009), ISBN: 978-0-7685-3570-8\/09"},{"key":"15_CR8","unstructured":"Chen, Y., Liu, S., Nagoya, F.: A Framework for SOFL-based Program Review. In: IEEE ICECCS (2005), ISBN: 0-7695-2284-X\/05"},{"key":"15_CR9","unstructured":"Chen, Y.: A case study of using SOFL to specify a concurrent software system. In: IEEE (2010), ISBN: 978-1-4244-6055-7\/10"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Li, M., Liu, S.: Tool support for rigorous formal specification inspection. In: IEEE CSE 2014 (2014), ISBN: 978-1-4799-7981-3\/14","DOI":"10.1109\/CSE.2014.151"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1361213.1361214","volume":"43","author":"J Fitzgerald","year":"2008","unstructured":"Fitzgerald, J., Larsen, P.G., Sahare, S.: VDMTools: advances in support for formal modeling in VDM. ACM SIGPLAN Not. 43(2), 3\u201311 (2008)","journal-title":"ACM SIGPLAN Not."},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.: PROB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transf. 10, 185\u2013203 (2008)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"15_CR13","unstructured":"Behrmann, G., David, A., Larsen, K.G.: UPPAAL 4.0. In: IEEE QEST06 (2006), ISBN: 0-7695-2665-9\/06"}],"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_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T14:48:14Z","timestamp":1559400494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31220-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319312194","9783319312200"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31220-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}