{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:02:45Z","timestamp":1743123765427,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_2","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"11-26","source":"Crossref","is-referenced-by-count":3,"title":["Programming \u2282 Modeling \u2282 Engineering"],"prefix":"10.1007","author":[{"given":"Bran","family":"Seli\u0107","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"2_CR1","volume-title":"The Mythical Man-Month","author":"F Brooks","year":"1995","unstructured":"Brooks, F.: The Mythical Man-Month. Addison-Wesley, Reading (1995)"},{"doi-asserted-by":"crossref","unstructured":"Corcoran, D.: The good, the bad, and the ugly: experiences with model-driven development in large scale projects at Ericsson. In: Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA 2010) (2010)","key":"2_CR2","DOI":"10.1007\/978-3-642-13595-8_2"},{"issue":"3","key":"2_CR3","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013645 (2006)","journal-title":"IBM Syst. J."},{"issue":"3","key":"2_CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"unstructured":"Jackson, M.: CASE tools and development methods. In: Spurr, K., Layzell, P. (eds.) CASE on Trial, Chap. 8. John Wiley & Sons (1990)","key":"2_CR5"},{"unstructured":"Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems, A Cyber-Physical Systems Approach, 2nd edn. (2015). http:\/\/LeeSeshia.org . ISBN 978-1-312-42740-2","key":"2_CR6"},{"unstructured":"Morgan, M.H. (translator): Vitruvius: The Ten Books on Architecture. Dover Publications, Inc., New York (1914). (An on-line version of this volume can be found in the Project Gutenburg repository at http:\/\/www.gutenberg.org\/files\/20239\/20239-h\/29239-h.htm )","key":"2_CR7"},{"issue":"3","key":"2_CR8","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1109\/2.910904","volume":"34","author":"B Nuseibeh","year":"2001","unstructured":"Nuseibeh, B.: Weaving together requirements and architectures. IEEE Comput. 34(3), 115\u2013117 (2001)","journal-title":"IEEE Comput."},{"unstructured":"Object Management Group (OMG): UML Profile for MARTE\u2122: Modeling and Analysis of Real-time Embedded Systems\u2122, Version 1.1, OMG document no.: formal\/2011-06-02 (2011). ( http:\/\/www.omg.org\/spec\/MARTE\/1.1\/PDF )","key":"2_CR9"},{"unstructured":"Object Management Group (OMG): OMG Unified Modeling Language\u2122 (OMG UML), Version 2.5, OMG document no.: formal\/2015-03-01 (2015). ( http:\/\/www.omg.org\/spec\/UML\/2.5\/PDF )","key":"2_CR10"},{"unstructured":"Saltzer, J., et al.: End-to-end arguments in system design. In: Proceedings of the Second International Conference on Distributed Computing Systems, pp. 509\u2013512. IEEE Computer Society (1981)","key":"2_CR11"},{"key":"2_CR12","volume-title":"Real-time Object-Oriented Modeling","author":"B Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.: Real-time Object-Oriented Modeling. John Wiley & Sons, Hoboken (1994)"},{"issue":"1\u20132","key":"2_CR13","first-page":"313","volume":"5","author":"B Selic","year":"2011","unstructured":"Selic, B.: A short catalogue of abstraction patterns for model-based software engineering. Int. J. Inf. 5(1\u20132), 313\u2013334 (2011)","journal-title":"Int. J. Inf."},{"doi-asserted-by":"crossref","unstructured":"Selic, B., Gerard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-physical Systems. The MK\/OMG Press (2013)","key":"2_CR14","DOI":"10.1016\/B978-0-12-416619-6.00008-0"},{"issue":"3","key":"2_CR15","doi-asserted-by":"crossref","first-page":"1215","DOI":"10.1007\/s10270-013-0370-4","volume":"14","author":"E Syriani","year":"2015","unstructured":"Syriani, E., Vangheluwe, H., LaShomb, B.: T-Core: a framework for custom-built model transformation engines. J. Softw. Syst. Model. 14(3), 1215\u20131243 (2015)","journal-title":"J. Softw. Syst. Model."},{"doi-asserted-by":"crossref","unstructured":"Weigert, T., Weil, F.: Practical experience in using model-driven engineering to develop trustworthy systems. In: Proceedings of IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2006), pp. 208\u2013217. IEEE Computer Society (2006)","key":"2_CR16","DOI":"10.1109\/SUTC.2006.1636178"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:07:45Z","timestamp":1568434065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}