{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T05:37:41Z","timestamp":1730266661189,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/imcsit.2008.4747293","type":"proceedings-article","created":{"date-parts":[[2009,1,16]],"date-time":"2009-01-16T15:30:21Z","timestamp":1232119821000},"page":"517-524","source":"Crossref","is-referenced-by-count":1,"title":["Correctness issues of UML class and state machine models in the C# code generation and execution framework"],"prefix":"10.1109","author":[{"given":"Anna","family":"Derezinska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romuald","family":"Pilitowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"1","article-title":"efficient decision of consistency in uml diagrams with constrained generalization sets","author":"balaban","year":"2006","journal-title":"Proc of the 1st Workshop on Quality in Modeling co-located at MoDELS'06"},{"key":"17","first-page":"679","article-title":"meta-validation of uml structural diagrams and behavioral diagrams with consistency rules","volume":"2","author":"ha","year":"2003","journal-title":"Proc IEEE Pac Rim Conf Commun Comput Signal Process"},{"key":"18","first-page":"50","article-title":"defects in industrial uml models - a multiple case study","author":"lange","year":"2007","journal-title":"Proc of the 2nd Workshop on Quality in Modeling Co-located at MoDELS'07"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/ICSE.2007.38"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1007\/978-3-540-75209-7_43"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1007\/978-3-540-70952-7_16"},{"key":"14","first-page":"97","article-title":"code generation from uml models with semantic variation points","volume":"3713","author":"jezequel","year":"2005","journal-title":"MoDELS\/UML 2005 LNCS"},{"key":"11","first-page":"97","article-title":"uml vs. classical vs. rhapsody statecharts: not all models are created equal","volume":"3713","author":"crane","year":"2005","journal-title":"MoDELS\/UML 2005 LNCS"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1007\/s10270-003-0046-6"},{"year":"2008","journal-title":"Rhapsody","key":"21"},{"year":"0","author":"wuest","journal-title":"SDMetrics - The UML Design Measurement Tool","key":"20"},{"key":"22","first-page":"111","article-title":"mapping uml statecharts into java code","author":"niaz","year":"2004","journal-title":"Proc of the IASTED Int Conf Software Engineering"},{"year":"2002","author":"mellor","journal-title":"Executable UML A Foundation for Model-Driven Architecture","key":"23"},{"year":"0","author":"carter","journal-title":"IUMLite - XUML Modeling Tool","key":"24"},{"year":"0","journal-title":"IBM Rational Software Architect","key":"25"},{"year":"1995","author":"gamma","journal-title":"Design Patterns Elements of Reusable Object-Oriented Software","key":"26"},{"year":"2005","author":"liberty","journal-title":"Programming C#","key":"27"},{"year":"0","journal-title":"Acceleo Project","key":"28"},{"year":"0","journal-title":"Booch Metamodel of object-oriented modeling language","key":"29"},{"year":"2003","journal-title":"MDA Guide Ver 1 0 1","key":"3"},{"year":"2007","journal-title":"OMG Unified Modeling Language Superstructure v 2 1 2","key":"2"},{"year":"0","journal-title":"STL UML 2 Semantics Project","key":"10"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/FOSE.2007.14"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1007\/978-1-4020-6268-1_75"},{"key":"6","first-page":"26","article-title":"an empirical investigation in quantifying inconsis-tency and incompleteness of uml designs","author":"lange","year":"2003","journal-title":"Proc of 2nd Workshop on Consistency Problems in UML-based Software Development co-located atUML '03 Conf"},{"key":"5","first-page":"111","article-title":"static verification of uml model consistency","author":"baruzzo","year":"2006","journal-title":"Proc of the 3rd Workshop on Model DEvelopment Validation and Verification Co-located atMoDELS'06"},{"year":"2003","author":"frankel","journal-title":"Model Driven Architecture Appling MDA to Enterprise Computing","key":"4"},{"key":"9","first-page":"325","article-title":"the rhapsody semantics of statecharts (or on the executable core of the uml)","volume":"3147","author":"kugler","year":"2004","journal-title":"SoftSpez Final Report LNCS"},{"key":"8","first-page":"80","article-title":"event processing in code generation and execution framework of uml state machines","author":"pilitowski","year":"2007","journal-title":"Software Engineering in Progress"}],"event":{"name":"2008 International Multiconference on Computer Science and Information Technology (IMCSIT)","start":{"date-parts":[[2008,10,20]]},"location":"Wisla, Poland","end":{"date-parts":[[2008,10,22]]}},"container-title":["2008 International Multiconference on Computer Science and Information Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4731350\/4747203\/04747293.pdf?arnumber=4747293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T15:40:47Z","timestamp":1489765247000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4747293\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/imcsit.2008.4747293","relation":{},"ISSN":["1896-7094"],"issn-type":[{"type":"print","value":"1896-7094"}],"subject":[],"published":{"date-parts":[[2008,10]]}}}