{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:14:31Z","timestamp":1725484471999},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000297"},{"type":"electronic","value":"9783540361039"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_33","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T23:15:07Z","timestamp":1179270907000},"page":"311-322","source":"Crossref","is-referenced-by-count":3,"title":["XML-Based Static Type Checking and Dynamic Visualization for TCOZ"],"prefix":"10.1007","author":[{"given":"Jin Song","family":"Dong","sequence":"first","affiliation":[]},{"given":"Yuan Fang","family":"Li","sequence":"additional","affiliation":[]},{"given":"Jing","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Hai","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"33_CR1","unstructured":"Xmi: Xml metadata interchange. http:\/\/www-4.ibm.com\/software\/ad\/standards\/xmi.html , 2000."},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and Y. Wang. UPPAAL-a tool suite for automatic verification of real-time systems. In Hybrid Systems, pages 232\u2013243, 1995.","DOI":"10.1007\/BFb0020949"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"P. J. Brooke and R. F. Paige. The Design of a Tool-Supported Graphical Notation for Timed CSP. In Proc. Integrated Formal Methods 2002 (IFM\u201902), pages 299\u2013318, Turku, Finland, May 2002.","DOI":"10.1007\/3-540-47884-1_17"},{"key":"33_CR4","unstructured":"R. Duke and G. Rose. Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan, March 2000."},{"key":"33_CR5","volume-title":"Technical report 96-24","author":"W. Johnston","year":"1996","unstructured":"W. Johnston. A type checker for Object-Z. Technical report 96-24, Software Verification Research Centre, School of Information Technology, The University of Queensland, Brisbane 4072. Australia, July 1996."},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"B. Mahony and J. S. Dong. Overview of the semantics of TCOZ. In K. Araki, A. Galloway, and K. Taguchi, editors, IFM\u201999: Integrated Formal Methods, York, UK, pages 66\u201385. Springer-Verlag, June 1999.","DOI":"10.1007\/978-1-4471-0851-1_5"},{"key":"33_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1166","DOI":"10.1007\/3-540-48118-4_12","volume-title":"FM\u201999: World Congress on Formal Methods","author":"Mahony","year":"1999","unstructured":"B. Mahony and J. S. Dong. Sensors and Actuators in TCOZ. In J. Wing, J. Woodcock, and J. Davies, editors, FM\u201999: World Congress on Formal Methods, Lect. Notes in Comput. Sci., pages 1166\u20131185, Toulouse, France, September 1999. Springer-Verlag."},{"issue":"2","key":"33_CR8","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B. Mahony","year":"2000","unstructured":"B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2): 150\u2013177, February 2000.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"33_CR9","unstructured":"G. Nelson, K. Rustan, M. Leino, J. Saxe, and R. Stata. Extended static checking home page. Available on the Internet from http:\/\/www.research.digital.com\/SRC\/esc\/Esc.html ., 1996."},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"S. Schneider and J. Davies. A brief history of Timed CSP. Theoretical Computer Science, 138, 1995.","DOI":"10.1016\/0304-3975(94)00169-J"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"G. Smith. Extending W for Object-Z. In J. P. Bowen and M. G. Hinchey, editors, Proceedings of the 9th Annual Z-User Meeting, pages 276\u2013295. Springer-Verlag, September 1995.","DOI":"10.1007\/3-540-60271-2_126"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"33_CR13","unstructured":"J. Sun, J. S. Dong, J. Liu, and H. Wang. A XML\/XSL Approach to Visualize and Animate TCOZ. In J. He, Y. Li, and G. Lowe, editors, The 8th Asia-Pacific Software Engineering Conference (APSEC\u201901), pages 453\u2013460. IEEE Press, 2001."},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"J. Sun, J. S. Dong, J. Liu, and H. Wang. Object-Z Web Environment and Projections to UML. In WWW-10: 10th International World Wide Web Conference, pages 725\u2013734. ACM Press, May 2001.","DOI":"10.1145\/371920.372189"},{"key":"33_CR15","unstructured":"J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall International, 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\/3-540-36103-0_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:56:11Z","timestamp":1556398571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}