{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:23:44Z","timestamp":1743027824673,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162763"},{"type":"electronic","value":"9783642162770"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16277-0_20","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T11:55:33Z","timestamp":1286970933000},"page":"369-376","source":"Crossref","is-referenced-by-count":2,"title":["20 The Model-Integrated Computing Tool Suite"],"prefix":"10.1007","author":[{"given":"Janos","family":"Sztipanovits","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep","family":"Neema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ted","family":"Bapty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Brooks Jr., F.P.: No silver bullet: Essence and accidents of software engineering. IEEE Computer Magazine, 10\u201319 (April 1987)","DOI":"10.1109\/MC.1987.1663532"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Harel, D.: Biting the silver bullet. IEEE Computer Magazine, 8\u201319 (January 1992)","DOI":"10.1109\/2.108047"},{"issue":"3","key":"20_CR3","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1002\/int.4550030306","volume":"3","author":"J. Sztipanovits","year":"1988","unstructured":"Sztipanovits, J., Karsai, G., Biegl, C.: Graph model based approach to the representation, interpretation and execution of real time signal processing systems. International Journal of Intelligent Systems\u00a03(3), 269\u2013280 (1988)","journal-title":"International Journal of Intelligent Systems"},{"key":"20_CR4","unstructured":"Karsai, G., Sztipanovits, J., Franke, H., Padalkar, S., DeCaria, F.: Model-embedded on-line problem solving environment for chemical engineering. In: Proceedings of the International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, FL, pp. 361\u2013368 (November 1995)"},{"key":"20_CR5","unstructured":"Misra, A., Sztipanovits, J., Underbrik, A., Carnes, R., Purves, B.: Diagnosability of dynamical systems. In: Third Intenational Workshop on Principles of Diagnosis, Rosario, Orcas Island, WA, pp. 239\u2013244 (May 1992)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Abbott, B., Bapty, T., Biegl, C., Karsai, G., Sztipanovits, J.: Model-based software synthesis. IEEE Software, 42\u201353 (May 1993)","DOI":"10.1109\/52.210602"},{"issue":"8","key":"20_CR7","doi-asserted-by":"publisher","first-page":"2695","DOI":"10.1109\/78.229900","volume":"41","author":"J. Sztipanovits","year":"1993","unstructured":"Sztipanovits, J., Wilkes, D., Karsai, G., Lynd, L.: The multigraph and structural adaptivity. IEEE Transaction on Signal Processing\u00a041(8), 2695\u20132716 (1993)","journal-title":"IEEE Transaction on Signal Processing"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Sztipanovits, J., Karsai, G., Biegl, C., Bapty, T., Ledeczi, A., Malloy, D.: Multigraph: An architecture for model-integrated computing. In: Proceedings of the International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, FL, pp. 361\u2013368 (November 1995)","DOI":"10.1109\/ICECCS.1995.479359"},{"issue":"5","key":"20_CR9","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1109\/2.585163","volume":"22","author":"J. Sztipanovits","year":"1997","unstructured":"Sztipanovits, J., Karsai, G.: Model-integrated computing. IEEE Computer\u00a022(5), 110\u2013112 (1997)","journal-title":"IEEE Computer"},{"key":"20_CR10","unstructured":"Nordstrom, G., Sztipanovits, J., Karsai, G.: Meta-level extension of the multigraph architecture. In: Engineering of Computer-Based Systems Conference, Jerusalem, Israel, pp. 61\u201368 (May 1998)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Nordstrom, G., Sztipanovits, J., Karsai, G., Ledeczi, A.: Metamodeling - rapid design and evolution of domain-specific modeling environments. In: Proceedings of the IEEE ECBS 1999 Conference, Nashville, TN, pp. 68\u201374 (April 1999)","DOI":"10.1109\/ECBS.1999.755863"},{"key":"20_CR12","unstructured":"ISIS: Mic tool distribution"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Ledeczi, A., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J.: Composing domain-specific design environments. IEEE Computer Magazine, 44\u201351 (November 1997)","DOI":"10.1109\/2.963443"},{"key":"20_CR14","unstructured":"Object Management Group: UML 2.0 OCL Specification (2003)"},{"key":"20_CR15","unstructured":"Bakay, A.: The udm framework"},{"issue":"11","key":"20_CR16","first-page":"1296","volume":"9","author":"G. Karsai","year":"2003","unstructured":"Karsai, G., Agrawal, A., Shi, F.: On the use of graph transformations for the formal specification of model interpreters. Journal of Universal Computer Science\u00a09(11), 1296\u20131321 (2003)","journal-title":"Journal of Universal Computer Science"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Journal of Software and System Modeling\u00a04(1) (2004)","DOI":"10.1007\/s10270-004-0073-y"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-45212-6_19","volume-title":"Embedded Software","author":"S. Neema","year":"2003","unstructured":"Neema, S., Sztipanovits, J., Karsai, G., Butts, K.: Constraint-based design space exploration and model synthesis. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 290\u2013305. Springer, Heidelberg (2003)"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Earl, L., Amit, M., Janos, S.: Increasing productivity at saturn. IEEE Computer Magazine, 35\u201344 (August 1998)","DOI":"10.1109\/2.707615"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-01648-6_3","volume-title":"Models in Software Engineering","author":"J. Porter","year":"2009","unstructured":"Porter, J., Karsai, G., Volgyesi, P., Nine, H., Humke, P., Hemingway, G., Thibodeaux, R., Sztipanovits, J.: Towards model-based integration of tool and techniques for embedded control system design, verification, and implementation. In: Chaudron, M.R.V. (ed.) Models in Software Engineering. LNCS, vol.\u00a05421, pp. 20\u201334. Springer, Heidelberg (2009)"},{"key":"20_CR21","unstructured":"Zonghua, G., Wang, S., Kodase, S., Shin, G.K.: An end-to-end tool chain for multi-view modeling and analysis of avionics mission computing software. In: 24th IEEE International Real-Time Systems Symposium (RTSS 2003), Cancun, Mexico (September 2003)"},{"key":"20_CR22","unstructured":"Vector Informatik Group: The vector tools"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Jackson, E., Sztipanovits, J.: Formalizing the structural semantics of domain-specific modeling languages. Journal of Software and Systems Modeling (2009) (to appear)","DOI":"10.1007\/s10270-008-0105-0"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Chen, K., Sztipanovits, J., Neema, S.: Compositional specification of behavioral semantics. In: Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE, pp. 253\u2013256 (April 2008)","DOI":"10.1007\/978-1-4020-6488-3_19"}],"container-title":["Lecture Notes in Computer Science","Model-Based Engineering of Embedded Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16277-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T18:13:49Z","timestamp":1740593629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16277-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162763","9783642162770"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16277-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}