{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:55:12Z","timestamp":1725645312804},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649380"},{"type":"electronic","value":"9783642722837"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-642-72283-7_13","type":"book-chapter","created":{"date-parts":[[2011,12,23]],"date-time":"2011-12-23T17:16:30Z","timestamp":1324660590000},"page":"127-139","source":"Crossref","is-referenced-by-count":0,"title":["Formalisierung und visuelle Modellierung am Beispiel der UML-Statecharts"],"prefix":"10.1007","author":[{"given":"Franz","family":"Matejka","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Schwald","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Object Oriented Analysis and Design","author":"G Booch","year":"1994","unstructured":"Booch, G.: Object Oriented Analysis and Design, 2nd Edition, Benjamin\/Cummings, Redwood City CA, 1994.","edition":"2"},{"key":"13_CR2","volume-title":"Object-Oriented Modeling and Design","author":"J Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design, Prentice Hall, Englewood Cliffs NJ, 1991."},{"key":"13_CR3","volume-title":"A Model Checker for Statecharts (Linking CASE Tools with Formal Methods)","author":"N Day","year":"1993","unstructured":"Day, N.: A Model Checker for Statecharts (Linking CASE Tools with Formal Methods), TR 93\u201335, Univ. of British Columbia, Vancouver Canada, 1993."},{"key":"13_CR4","unstructured":"Matejka, F.: Ein Ansatz zur Formalisierung und Werkzeugunterst\u00fctzung von Statecharts im Rahmen der Unified Modeling Language. Diplomarbeit, Univ. Salzburg, Institut f\u00fcr Com-puterwissenschaften, http:\/\/www.edvz.sbg.ac.at\/~mafr\/home.htm, Februar 1998."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Harel, D.: \u201eOn Visual Formalisms\u201c. Comm. ACM, Vol.31 Nr.5 Seiten 514\u2013530, 1988.","DOI":"10.1145\/42411.42414"},{"key":"13_CR6","volume-title":"IEEE Comp","author":"D Harel","year":"1997","unstructured":"Harel, D., Gery, E.: \u201cExecutable Object Modeling with Statecharts\u201d, IEEE Comp., 1997."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Harel, D., Naamad, A.: \u201eThe STATEMATE Semantics of Statecharts\u201c, ACM Trans, on Software Eng. and Methodology, Vol. 5, No. 4, Seiten 293\u2013333, October 1996.","DOI":"10.1145\/235321.235322"},{"issue":"9","key":"13_CR8","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N Leveson","year":"1995","unstructured":"Leveson, N., Heimdahl, M., Hildreth, H., Reese, J.: \u201eRequirements specification for process-control systems\u201c, IEEE Trans. on Software Eng.. Vol. 20, No. 9, 684\u2013707, 1995.","journal-title":"IEEE Trans. on Software Eng."},{"key":"13_CR9","unstructured":"Rumbaugh, J.: \u201eTo form a more perfect union: Unifying the OMT and Booch methods\u201c, Journal of Object Oriented Programming, pp. 14\u201318, January 1996."},{"key":"13_CR10","unstructured":"http:\/\/www.omg.org\/. Object Management Group."},{"key":"13_CR11","unstructured":"UML Documentation Set, Version 1.1, Rational Software Corporation, Septemper 1997."},{"key":"13_CR12","unstructured":"UML Semantics, Version 1.1, Rational Software Corporation, Septemper 1997."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Shalev, M.: \u201eWhat is in a step: On the semantics of statecharts\u201c. Proc. of the Symposium on Theoretical Aspects of Computer Software, LNCS Vol. 526, Springer, Berlin, Seiten 244\u2013264, 1991.","DOI":"10.1007\/3-540-54415-1_49"},{"key":"13_CR14","volume-title":"Februar","author":"D Nazareth","year":"1996","unstructured":"Nazareth, D., Regensburger, F., Scholz, P.: Mini -Statecharts: A Lean Version of State- charts, TU M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9610, Februar 1996."},{"key":"13_CR15","first-page":"128","volume-title":"Formal Techniques in Real- Time and Fault-Tolerant Systems, LNCS Vol.863, Springe, NY, Seiten","author":"von der Beek","year":"1994","unstructured":"von der Beek, M.: \u201cA comparison of Statechart variants\u201d, In Formal Techniques in Real- Time and Fault-Tolerant Systems, LNCS Vol.863, Springe, NY, Seiten 128\u2013148, 1994."},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Harel, D.: \u201eStatecharts: A Visual Formalism for Complex Systems\u201c, Science of Computer Programming, Seiten 231\u2013274, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"13_CR17","first-page":"54","volume-title":"Proc. First IEEE Symp. on Logic in Comp. Sc.","author":"D Harel","year":"1986","unstructured":"Harel, D., Pnueli, A., Schmidt, J., Sherman, R.: \u201cOn the formal semantics of statecharts\u201d, In Proc. First IEEE Symp. on Logic in Comp. Sc., pp 54\u201364, 1986."},{"key":"13_CR18","volume-title":"On the Semantics of Reactive Systems","author":"C Huizing","year":"1991","unstructured":"Huizing, C., Gerth, R.: On the Semantics of Reactive Systems, Department of Mathematics and Computer Science, Eindhoven Univ. of Technology, January 1991."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Maraninchi, F.: Operational and Compositional Semantics of Synchronous Automaton Compositions: LNCS, vol.650, Springer-Verlag, Berlin, Seiten 550\u2013564, 1992.","DOI":"10.1007\/BFb0084815"},{"key":"13_CR20","unstructured":"Selic, B.: High-Performance Implementations from ROOM Models, ObjecTime Limited, Kanata, Ontario Canada, http:\/\/www.objectime.com\/, 1995."},{"key":"13_CR21","volume-title":"Consulting Inc","author":"Martin","year":"1993","unstructured":"Martin, R.: The Care and Feeding of The State Map Compiler, R.C.M. Consulting Inc., June 1993."}],"container-title":["Informatik aktuell","Informatik \u201998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-72283-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T12:29:42Z","timestamp":1620304182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-72283-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649380","9783642722837"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-72283-7_13","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1998]]}}}