{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:45:57Z","timestamp":1742913957073,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"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_6","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"68-79","source":"Crossref","is-referenced-by-count":6,"title":["Abstractions for Modeling Complex Systems"],"prefix":"10.1007","author":[{"given":"Zsolt","family":"Lattmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tam\u00e1s","family":"Kecsk\u00e9s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrik","family":"Meijer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e1bor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P\u00e9ter","family":"V\u00f6lgyesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1kos","family":"L\u00e9deczi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/978-3-642-16129-2_27","volume-title":"Model Driven Engineering Languages and Systems","author":"H Bagheri","year":"2010","unstructured":"Bagheri, H., Sullivan, K.: Monarch: model-based development of software architectures. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) Model Driven Engineering Languages and Systems. LNCS, vol. 6395, pp. 376\u2013390. Springer, Heidelberg (2010)"},{"key":"6_CR2","unstructured":"B\u00e9zivin, J., Brunette, C., Chevrel, R., Jouault, F., Kurtev, I.: Bridging the generic modeling environment (GME) and the eclipse modeling framework (EMF). In: Proceedings of the Best Practices for Model Driven Software Development at OOPSLA, vol. 5, Citeseer (2005)"},{"key":"6_CR3","unstructured":"Boger, M., Graham, E., K\u00f6ster, M.: Poseidon for uml. Pode ser encontrado em (2000). http:\/\/gentleware.com\/fileadmin\/media\/archives\/userguides\/poseidon_users_guide\/book1.html"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Bunus, P.: A simulation and decision framework for selection of numerical solvers in. In: Proceedings of the 39th Annual Symposium on Simulation ANSS 2006, pp. 178\u2013187. IEEE Computer Society, Washington, DC (2006). http:\/\/dx.doi.org\/10.1109\/ANSS.2006.9","DOI":"10.1109\/ANSS.2006.9"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Cataldo, M., Shelton, C., Choi, Y., Huang, Y.Y., Ramesh, V., Saini, D., Wang, L.Y.: Camel: a tool for collaborative distributed software design. In: Fourth IEEE International Conference on Global Software Engineering, ICGSE 2009, pp. 83\u201392. IEEE (2009)","DOI":"10.1109\/ICGSE.2009.16"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-45821-2_10","volume-title":"Generative Programming and Component Engineering","author":"K Czarnecki","year":"2002","unstructured":"Czarnecki, K., Bednasch, T., Unger, P., Eisenecker, U.: Generative programming for embedded software: an industrial experience report. In: Batory, D., Consel, C., Taha, W. (eds.) GPCE 2002. LNCS, vol. 2487, pp. 156\u2013172. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45821-2_10"},{"issue":"2","key":"6_CR7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1177\/0037549711401950","volume":"88","author":"G Hemingway","year":"2012","unstructured":"Hemingway, G., Neema, H., Nine, H., Sztipanovits, J., Karsai, G.: Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. Simulation 88(2), 217\u2013232 (2012)","journal-title":"Simulation"},{"issue":"1","key":"6_CR8","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1109\/JPROC.2002.805824","volume":"91","author":"G Karsai","year":"2003","unstructured":"Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proc. IEEE 91(1), 145\u2013164 (2003)","journal-title":"Proc. IEEE"},{"issue":"9","key":"6_CR9","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1007\/s001700200209","volume":"20","author":"S Kong","year":"2002","unstructured":"Kong, S., Noh, S., Han, Y.G., Kim, G., Lee, K.: Internet-based collaboration system: press-die design process for automobile manufacturer. Int. J. Adv. Manufact. Technol. 20(9), 701\u2013708 (2002)","journal-title":"Int. J. Adv. Manufact. Technol."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Lattmann, Z., Nagel, A., Scott, J., Smyth, K., Porter, J., Neema, S., Bapty, T., Sztipanovits, J., Ceisel, J., Mavris, D., et al.: Towards automated evaluation of vehicle dynamics in system-level designs. In: ASME 2012 Computers and Information in Engineering Conference, pp. 1131\u20131141. ASME (2012)","DOI":"10.1115\/DETC2012-71378"},{"issue":"11","key":"6_CR11","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/2.963443","volume":"34","author":"\u00c1 L\u00e9deczi","year":"2001","unstructured":"L\u00e9deczi, \u00c1., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing domain-specific design environments. Computer 34(11), 44\u201351 (2001)","journal-title":"Computer"},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/MS.2013.143","volume":"31","author":"T Levendovszky","year":"2014","unstructured":"Levendovszky, T., Balasubramanian, D., Coglio, A., Dubey, A., Otte, W., Karsai, G., Gokhale, A., Nyako, S., Kumar, P., Emfinger, W.: Drems: a model-driven distributed secure information architecture platform for managed embedded systems. IEEE Softw. 31, 1 (2014)","journal-title":"IEEE Softw."},{"issue":"2","key":"6_CR13","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1115\/1.2720880","volume":"7","author":"M Li","year":"2007","unstructured":"Li, M., Wang, C.C., Gao, S.: Real-time collaborative design with heterogeneous CAD systems based on neutral modeling commands. J. Comput. Inf. Sci. Eng. 7(2), 113\u2013125 (2007)","journal-title":"J. Comput. Inf. Sci. Eng."},{"issue":"8","key":"6_CR14","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/2.707615","volume":"31","author":"E Long","year":"1998","unstructured":"Long, E., Misra, A., Sztipanovits, J.: Increasing productivity at Saturn. Computer 31(8), 35\u201343 (1998)","journal-title":"Computer"},{"issue":"4","key":"6_CR15","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/MS.2009.84","volume":"26","author":"JL Mathe","year":"2009","unstructured":"Mathe, J.L., Ledeczi, A., Nadas, A., Sztipanovits, J., Martin, J.B., Weavind, L.M., Miller, A., Miller, P., Maron, D.J.: A model-integrated, guideline-driven, clinical decision-support system. IEEE Softw. 26(4), 54\u201361 (2009)","journal-title":"IEEE Softw."},{"issue":"7","key":"6_CR16","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/566225.513835","volume":"37","author":"S Mohanty","year":"2002","unstructured":"Mohanty, S., Prasanna, V., Neema, S., Davis, J.: Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation. ACM SIGPLAN Not. 37(7), 18\u201327 (2002)","journal-title":"ACM SIGPLAN Not."},{"key":"6_CR17","unstructured":"Neema, H., Lattmann, Z., Meijer, P., Klingler, J., Neema, S., Bapty, T., Sztipanovits, J., Karsai, G.: Design space exploration and manipulation for cyber physical systems. In: IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL 2014), Springer, Heidelberg (2014)"},{"issue":"1","key":"6_CR18","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/209866.209871","volume":"6","author":"GB Singh","year":"1995","unstructured":"Singh, G.B.: Single versus multiple inheritance in object oriented programming. ACM SIGPLAN OOPS Messenger 6(1), 30\u201339 (1995)","journal-title":"ACM SIGPLAN OOPS Messenger"},{"key":"6_CR19","unstructured":"Stankovic, J., Zhu, R., Poornalingam, R., Lu, C., Yu, Z., Humphrey, M., Ellis, B.: Vest: an aspect-based composition tool for real-time systems. In: Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003, pp. 58\u201369, May 2003"},{"key":"6_CR20","unstructured":"Stepper, E.: Connected data objects (cdo), November 2012. http:\/\/www.eclipse.org\/cdo\/documentation\/index.php"},{"key":"6_CR21","unstructured":"Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Van Mierlo, S., Ergin, H.: Atompm: a web-based modeling environment. MODELS (2003)"},{"issue":"4","key":"6_CR22","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1109\/2.585163","volume":"30","author":"J Sztipanovits","year":"1997","unstructured":"Sztipanovits, J., Karsai, G.: Model-integrated computing. Computer 30(4), 110\u2013111 (1997)","journal-title":"Computer"},{"issue":"3","key":"6_CR23","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s00170-006-0455-0","volume":"33","author":"K Thramboulidis","year":"2007","unstructured":"Thramboulidis, K., Perdikis, D., Kantas, S.: Model driven development of distributed control applications. Int. J. Adv. Manufact. Technol. 33(3), 233\u2013242 (2007)","journal-title":"Int. J. Adv. Manufact. Technol."},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-642-04425-0_11","volume-title":"Model Driven Engineering Languages and Systems","author":"C Thum","year":"2009","unstructured":"Thum, C., Schwind, M., Schader, M.: Slima lightweight environment for synchronous collaborative modeling. In: Sch\u00fcrr, A., Selic, B. (eds.) Model Driven Engineering Languages and Systems. LNCS, vol. 5795, pp. 137\u2013151. Springer, Heidelberg (2009)"}],"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_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:21:54Z","timestamp":1498335714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}