{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T12:05:11Z","timestamp":1769342711732,"version":"3.49.0"},"reference-count":18,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ecbs.2003.1194810","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"287-296","source":"Crossref","is-referenced-by-count":7,"title":["Consistency in model-based development"],"prefix":"10.1109","author":[{"given":"B.","family":"Schatz","sequence":"first","affiliation":[]},{"given":"P.","family":"Braun","sequence":"additional","affiliation":[]},{"given":"F.","family":"Huber","sequence":"additional","affiliation":[]},{"given":"A.","family":"Wisspeintner","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"The Rational Unified Process - An Introduction","author":"kruchten","year":"2000"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/3-540-46105-1_33","article-title":"Model-driven architecture","author":"mellor","year":"2002","journal-title":"Advances in Object-Oriented Information Systems LNCS 2426"},{"key":"ref12","article-title":"Object Management Group, Inc","year":"2000","journal-title":"Meta Object Facility (MOF) Specification"},{"key":"ref13","article-title":"OMG. Object Constraint Language Specification","year":"1997","journal-title":"Technical Report 1 1 ad\/97-08-08 Object Management Group (OMG)"},{"key":"ref14","article-title":"The ODL operation definition language and the AutoFocus\/Quest application framework AQu A","author":"sch\u00e4tz","year":"2001","journal-title":"Technical Report TUM-10111 TU München"},{"key":"ref15","article-title":"Towards service-based systems engineering: Formalizing and µ-checking service descriptions","author":"sch\u00e4tz","year":"2002","journal-title":"Technical Report TUM-I0602 TU München"},{"key":"ref16","first-page":"1206","article-title":"Integrating formal description techniques","author":"sch\u00e4tz","year":"1999","journal-title":"FM'99 - LNCS 1709"},{"key":"ref17","article-title":"A Formalization of OCL with Isabelle\/HOL","author":"scherer","year":"2000"},{"key":"ref18","author":"selic","year":"1998","journal-title":"Using UML for Modeling Complex Real-Time Systems"},{"key":"ref4","article-title":"Refactoring_Improving the design of existing code","author":"fowler","year":"1999"},{"key":"ref3","author":"derniame","year":"1999","journal-title":"Software process Principles methodology and technology"},{"key":"ref6","first-page":"90","article-title":"Transformation: The Missing Link of MDA","author":"gerber","year":"2002","journal-title":"Graph Transformation LNCS 2505"},{"key":"ref5","article-title":"UML Distilled","author":"fowler","year":"1997"},{"key":"ref8","article-title":"Integrated Development of Embedded Systems with AutoFocus","author":"huber","year":"2001","journal-title":"Technical Report TUMI-0701 Fakultät für Informatik TU München"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/0471028959.sof307"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46419-0_5"},{"key":"ref1","article-title":"Process Patterns-Building Large-Scale Systems Using Object Technology","author":"ambler","year":"1998"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-63533-5_7","article-title":"Consistent Graphical Specification of Distributed Systems","author":"huber","year":"1997","journal-title":"Industrial Applications and Strengthened Foundations of Formal Methods (FME'97) LNCS 1313"}],"event":{"name":"10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. ECBS 2003","location":"Huntsville, AL, USA","acronym":"ECBS-03"},"container-title":["10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8501\/26873\/01194810.pdf?arnumber=1194810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:18:06Z","timestamp":1497583086000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1194810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ecbs.2003.1194810","relation":{},"subject":[]}}