{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T15:28:27Z","timestamp":1745335707537,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1109\/cit.2008.4594772","type":"proceedings-article","created":{"date-parts":[[2008,8,13]],"date-time":"2008-08-13T22:40:13Z","timestamp":1218667213000},"page":"772-777","source":"Crossref","is-referenced-by-count":1,"title":["UMLSlicer: A tool for modularizing the UML metamodel using slicing"],"prefix":"10.1109","author":[{"family":"Jung Ho Bae","sequence":"first","affiliation":[]},{"family":"Heung Seok Chae","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"134","article-title":"refactoring uml models","author":"sunye?","year":"2001","journal-title":"UML"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"15","article-title":"an approach to ensure service behavior consistency in osgi","author":"qin","year":"2005","journal-title":"APSEC"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101989"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2006.7"},{"key":"14","first-page":"770","article-title":"massimiliano di penta. assessing and improving state-based class testing: a series of experiments","volume":"30","author":"lionel","year":"2004","journal-title":"IEEE TSE"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2006.21"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2007.32"},{"year":"0","key":"3"},{"journal-title":"Together","year":"0","key":"2"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.34"},{"key":"7","first-page":"272","article-title":"rule-based specification of behavioral consistency based on the uml metamodel","author":"engels","year":"2001","journal-title":"UML"},{"key":"6","first-page":"218","article-title":"formal verification of uml statecharts with real-time extensions","author":"david","year":"2002","journal-title":"FASEB"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2005.44"},{"year":"0","key":"4"},{"key":"9","first-page":"1","article-title":"consistency problems in uml-based software development","author":"huzar","year":"2004","journal-title":"UML Satellite Activities"},{"key":"8","first-page":"249","article-title":"dependence analysis for uml class diagrams","volume":"21","author":"fangjun","year":"2004","journal-title":"Journal of Electronics"}],"event":{"name":"2008 8th IEEE International Conference on Computer and Information Technology (CIT)","start":{"date-parts":[[2008,7,8]]},"location":"Sydney, Australia","end":{"date-parts":[[2008,7,11]]}},"container-title":["2008 8th IEEE International Conference on Computer and Information Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4586225\/4594630\/04594772.pdf?arnumber=4594772","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T15:25:13Z","timestamp":1489677913000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4594772\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/cit.2008.4594772","relation":{},"subject":[],"published":{"date-parts":[[2008,7]]}}}