{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:57:58Z","timestamp":1725569878824},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169007"},{"type":"electronic","value":"9783642169014"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16901-4_17","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T12:40:06Z","timestamp":1289220006000},"page":"237-252","source":"Crossref","is-referenced-by-count":2,"title":["Enhanced Semantic Access to Formal Software Models"],"prefix":"10.1007","author":[{"given":"Hai H.","family":"Wang","sequence":"first","affiliation":[]},{"given":"Danica","family":"Damljanovic","sequence":"additional","affiliation":[]},{"given":"Jing","family":"Sun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Amardeilh, F., Vatant, B. Gibbins, N. Payne, T.R. Wang, H. H.: Sws bootstrapping methodology. Technical Report D1.2.2, TAO Project Deliverable (2009), \n                    \n                      http:\/\/www.tao-project.eu\/resources\/publicdeliverables\/d1-2-2.pdf"},{"key":"17_CR2","unstructured":"Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference (2004), \n                    \n                      http:\/\/www.w3c.org\/TR\/owl-ref\/"},{"key":"17_CR3","unstructured":"Bontcheva, K., Damljanovic, D., Aswani, N., Agatonovic, M., Sun, J., Amardeilh, F.: Key concept identification and clustering of similar content. Technical Report D3.1, TAO Project Deliverable (2007), \n                    \n                      http:\/\/www.gate.ac.uk\/projects\/tao\/webpage\/deliverables\/d3-1.pdf"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-49676-2_6","volume-title":"ZUM \u201998: The Z Formal Specification Notation","author":"J.P. Bowen","year":"1998","unstructured":"Bowen, J.P., Chippington, D.: Z on the web using java. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol.\u00a01493, pp. 66\u201380. Springer, Heidelberg (1998)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-49676-2_7","volume-title":"ZUM \u201998: The Z Formal Specification Notation","author":"P. Ciancarini","year":"1998","unstructured":"Ciancarini, P., Mascolo, C., Vitali, F.: Visualizing z notation in html documents. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol.\u00a01493, pp. 81\u201395. Springer, Heidelberg (1998)"},{"key":"17_CR6","unstructured":"D. Brickley and R.V. Guha (eds.): Resource description framework (rdf) schema specification 1.0 (February 2004), \n                    \n                      http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/3-540-45614-7_33","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"J.S. Dong","year":"2002","unstructured":"Dong, J.S., Sun, J., Wang, H.: Semantic web for extending and linking formalisms. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 587\u2013606. Springer, Heidelberg (2002)"},{"key":"17_CR8","volume-title":"Cornerstones of Computing","author":"R. Duke","year":"2000","unstructured":"Duke, R., Rose, G.: Formal Object Oriented Specification Using Object-Z. In: Cornerstones of Computing. Macmillan, Basingstoke (March 2000)"},{"key":"17_CR9","first-page":"170","volume-title":"ICFEM 1997: Proceedings of the 1st International Conference on Formal Engineering Methods","author":"K. Futatsugi","year":"1997","unstructured":"Futatsugi, K., Nakagawa, A.: An overview of cafe specification environment - an algebraic approach for creating, verifying, and maintaining formal specifications over networks. In: ICFEM 1997: Proceedings of the 1st International Conference on Formal Engineering Methods, Washington, DC, USA, p. 170. IEEE Computer Society, Los Alamitos (1997)"},{"key":"17_CR10","unstructured":"Grcar, M.: Ontology learning services library. Technical Report D2.2.2, TAO Project Deliverable (2008), \n                    \n                      http:\/\/www.gate.ac.uk\/projects\/tao\/webpage\/deliverables\/d2-2-2.pdf"},{"key":"17_CR11","unstructured":"Jacek, K., Dumitru, R., James, S.: Wsmo use case: Amazon e-commerce service (2006) (unpublished manuscript)"},{"key":"17_CR12","first-page":"182","volume-title":"Int. Workshop on Scalable Semantic Web Knowledge Base Systems","author":"A. Kiryakov","year":"2005","unstructured":"Kiryakov, A., Ognyanov, D., Manov, D.: Owlim a pragmatic semantic repository for owl. In: Int. Workshop on Scalable Semantic Web Knowledge Base Systems, New York City, USA, pp. 182\u2013192. Springer, Heidelberg (2005)"},{"key":"17_CR13","unstructured":"Lassila, O., Swick, R.R. (eds.): Resource description framework (rdf) model and syntax specification (February 1999), \n                    \n                      http:\/\/www.w3.org\/TR\/1999\/REC-rdf-syntax-19990222\/"},{"key":"17_CR14","unstructured":"Lee, B.T., Hendler, J., Lassila, O.: The semantic web. Scientific American (May 2001)"},{"key":"17_CR15","volume-title":"Advances in Formal Methods","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. In: Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"17_CR16","series-title":"International Series in Computer Science","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"17_CR17","first-page":"725","volume-title":"WWW-10: 10th International World Wide Web Conference","author":"J. Sun","year":"2001","unstructured":"Sun, J., Dong, J.S., Liu, J., Wang, H.: Object-Z Web Environment and Projections to UML. In: WWW-10: 10th International World Wide Web Conference, pp. 725\u2013734. ACM Press, New York (May 2001)"},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1023\/A:1016513914276","volume":"13","author":"J. Sun","year":"2002","unstructured":"Sun, J., Dong, J.S., Liu, J., Wang, H.: A formal object approach to the design of zml. Annals of Software Engineering, an International Journal\u00a013, 329\u2013356 (2002)","journal-title":"Annals of Software Engineering, an International Journal"},{"key":"17_CR19","unstructured":"van Harmelen, F., Patel-Schneider, P.F., Horrocks, I. (eds.): Reference description of the daml+oil ontology markup language. Contributors: T. Berners-Lee, D. Brickley, D. Connolly, M. Dean, S. Decker, P. Hayes, J. Heflin, J. Hendler, O. Lassila, D. McGuinness, L. A. Stein... (March 2001)"},{"key":"17_CR20","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16901-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T23:42:55Z","timestamp":1553211775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16901-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169007","9783642169014"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16901-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}