{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:32:17Z","timestamp":1740547937113,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219880"},{"type":"electronic","value":"9783540246794"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24679-4_158","type":"book-chapter","created":{"date-parts":[[2010,9,10]],"date-time":"2010-09-10T18:04:40Z","timestamp":1284141880000},"page":"956-963","source":"Crossref","is-referenced-by-count":1,"title":["Structured Object-Z Software Specification Language"],"prefix":"10.1007","author":[{"given":"Xiaolei","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yihai","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"158_CR1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1142\/S0218194098000145","volume":"8","author":"S. Liu","year":"1998","unstructured":"Liu, S.: A Formal Definition of FRSM and Applications. International Journal of Software Engineering and Knowledge Engineering\u00a08(3), 253\u2013281 (1998)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"158_CR2","unstructured":"Huaikou, M., Xiaolei, G., Gang, L.: The Comparison and Combination of Structured Methodology. Object-Oriented Methodology and Formal Methods. Computer Engineering & Science\u00a021(4) (1999)"},{"key":"158_CR3","first-page":"24","volume-title":"IEEE Transactions on Software Engineering, Special issue on Formal Methods","author":"S. Liu","year":"1998","unstructured":"Liu, S., Jeff, A., Offutt, Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: A Formal Engineering Methodology for Industrial Applications. In: IEEE Transactions on Software Engineering, Special issue on Formal Methods, January 1998, vol.\u00a024(1), pp. 24\u201345. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"158_CR4","volume-title":"Z An Introduction to Formal Methods","author":"A. Diller","year":"1990","unstructured":"Diller, A.: Z An Introduction to Formal Methods. John Wiley & Sons, London (1990)"},{"key":"158_CR5","doi-asserted-by":"crossref","unstructured":"Dawes, J.: The VDM-SL Reference Guide, Pitman (1991)","DOI":"10.1201\/9781482267419"},{"key":"158_CR6","unstructured":"Bolognesi, T., Brinksm, E.: Introduction to the ISO specification language LOTOS. In: van Eijk, P.H.J., Vissers, C.A., Diaz, M. (eds.) The Formal Description Technique LOTOS, Elsevier Science Publishers, North-Holland, pp. 23\u201373 (1989)"},{"key":"158_CR7","unstructured":"Goguen, J.A., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ (October 1993)"},{"key":"158_CR8","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and tools for formal specification","author":"J.V. Guttag","year":"1993","unstructured":"Guttag, J.V., Horning, J.J., Jones, K.D., Garland, S.J., Modet, A., Wing, J.M.: Larch: Languages and tools for formal specification. Texts and Monographs in Computer Science. Springer, Heidelberg (1993)"},{"key":"158_CR9","unstructured":"Mitra, S.: Object-oriented specification in VDM++. In: Lano and Haughton"},{"key":"158_CR10","doi-asserted-by":"crossref","unstructured":"Lano, K.: Z++, An Object-Orientated Extension To Z. Z User Workshop, Oxford (1990)","DOI":"10.1007\/978-1-4471-3540-1_11"},{"key":"158_CR11","volume-title":"The Object-Z","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z. Kluuer Academic Publishers, America (2000)"},{"key":"158_CR12","unstructured":"Xiaodong, Y., Guoliang, Z.: COOZ: Complete Object-Oriented Extension to Z. Journal of Software\u00a08(9) (1997)"}],"container-title":["Lecture Notes in Computer Science","Grid and Cooperative Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24679-4_158.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T17:59:07Z","timestamp":1740506347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24679-4_158"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219880","9783540246794"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24679-4_158","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}