{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:38:14Z","timestamp":1725529094779},"reference-count":20,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ase.2003.1240319","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"271-276","source":"Crossref","is-referenced-by-count":2,"title":["Visual constraint diagrams: runtime conformance checking of UML object models versus implementations"],"prefix":"10.1109","author":[{"given":"C.J.","family":"Turner","sequence":"first","affiliation":[]},{"given":"T.C.N.","family":"Graham","sequence":"additional","affiliation":[]},{"given":"C.","family":"Wolfe","sequence":"additional","affiliation":[]},{"given":"J.","family":"Ball","sequence":"additional","affiliation":[]},{"given":"D.","family":"Holman","sequence":"additional","affiliation":[]},{"given":"H.D.","family":"Stewart","sequence":"additional","affiliation":[]},{"given":"A.G.","family":"Ryman","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337616"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/280324.280338"},{"key":"ref12","article-title":"Constraint Diagrams: A Step Beyond UML","author":"gil","year":"1999","journal-title":"Proceedings of TOOLS '99 IEEE Computer Society Press"},{"key":"ref13","article-title":"Consistency Checking in UML Models","author":"hnatokowska","year":"2001","journal-title":"Proc 4th International Conference on Information Systems Modeling"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/263698.263756"},{"journal-title":"Objecteering Software Objecteering\/UML and Juint","year":"0","key":"ref15"},{"key":"ref16","article-title":"A Toolset for Supporting UML Model Checking Based on Abstract State Machines","author":"shen","year":"2002","journal-title":"Proceedings of IEEE COMPSAC 2002 (Computer Software and Applications Conference)"},{"key":"ref17","article-title":"Automated Consistency Checking for Multiperspective Software Specifications","author":"sunetnanta","year":"2001","journal-title":"Proceedings of the International Conference on Software Engineering Workshop on Advanced Separation of Concerns"},{"journal-title":"Dynamic Conformance Checking for Object-Oriented Design and Code","year":"2003","author":"turner","key":"ref18"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1998","author":"warmer","key":"ref19"},{"key":"ref4","article-title":"Testing the Consistency of Dynamic UML Diagrams","author":"engels","year":"2002","journal-title":"Proceedings of Integrated Design and Process Technology (IDPT 2002)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1992.753496"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/STEP.1999.798404"},{"key":"ref5","article-title":"Translating GraphLog into Prolog, Technical report","author":"fukar","year":"1991","journal-title":"Center for Advanced Studies IBM Canada Limited"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/236156.236183"},{"key":"ref7","article-title":"Modular Architecture for a Toolset Supporting OCL","author":"hussmann","year":"2000","journal-title":"Proc UML 2000"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/298514.298591"},{"journal-title":"The Unified Modeling Language User Guide","year":"1998","author":"booch","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISESE.2003.1237991"}],"event":{"name":"18th IEEE International Conference on Automated Software Engineering","acronym":"ASE-03","location":"Montreal, Que., Canada"},"container-title":["18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8780\/27811\/01240319.pdf?arnumber=1240319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T21:15:31Z","timestamp":1489439731000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1240319\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/ase.2003.1240319","relation":{},"subject":[]}}