{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:17:36Z","timestamp":1742401056013},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203032"},{"type":"electronic","value":"9783540396567"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39656-7_5","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T14:35:52Z","timestamp":1277822152000},"page":"136-153","source":"Crossref","is-referenced-by-count":13,"title":["Reactive Animation"],"prefix":"10.1007","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sol","family":"Efroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irun R.","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"477","volume-title":"Logics and Models of Concurrent Systems","author":"D. Harel","year":"1993","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems, November 1993, vol.\u00a0F-13, pp. 477\u2013498. Springer, New York (1993)"},{"issue":"5","key":"5_CR2","first-page":"514","volume":"31","author":"D. Harel","year":"1988","unstructured":"Harel, D.: On visual formalisms. Comm. Assoc. Comput. Mach.\u00a031(5), 514\u2013530 (1988)","journal-title":"Comm. Assoc. Comput. Mach."},{"key":"5_CR3","unstructured":"I-Logix Inc, \n                  \n                    http:\/\/www.ilogix.com"},{"key":"5_CR4","unstructured":"Macromedia Inc, \n                  \n                    http:\/\/www.macromedia.com"},{"key":"5_CR5","volume-title":"Design Methods for Reactive Systems: Yourdon, Statemate, and the UML","author":"R.J. Weiringa","year":"2002","unstructured":"Weiringa, R.J.: Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. Morgan Kaufmann, Boston (2002)"},{"key":"5_CR6","unstructured":"Honeywell DOME, \n                  \n                    http:\/\/www.htc.honeywell.com\/dome\/"},{"key":"5_CR7","unstructured":"Aonix. Software Through Pictures, \n                  \n                    http:\/\/www.aonix.com"},{"key":"5_CR8","unstructured":"Rational Software, \n                  \n                    http:\/\/www.rational.com"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-45875-1_10","volume-title":"Software Visualization","author":"R. Mili","year":"2002","unstructured":"Mili, R., Steiner, R.: Software engineering - introduction. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol.\u00a02269, pp. 129\u2013137. Springer, Heidelberg (2002)"},{"key":"5_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, New York (1995)"},{"issue":"7","key":"5_CR11","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1997","unstructured":"Harel, D., Gery, E.: Executable object modeling with statecharts. IEEE Computer\u00a030(7), 31\u201342 (1997)","journal-title":"IEEE Computer"},{"key":"5_CR12","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: A Scenario-Based Approach to Programming (in Preperation)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Specifying and executing behavioral requirements: The play in\/play-out approach. Software and System Modeling (2003) (to Appear)","DOI":"10.1007\/s10270-002-0015-5"},{"key":"5_CR14","doi-asserted-by":"publisher","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. Programming\u00a08, 231\u2013274 (1987)","journal-title":"Sci. Comput. Programming"},{"key":"5_CR15","unstructured":"Unified Modeling Language, \n                  \n                    http:\/\/www.uml.org"},{"key":"5_CR16","volume-title":"The unified modeling language reference manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The unified modeling language reference manual. Addison-Wesley, Reading (1999)"},{"key":"5_CR17","unstructured":"Altia Inc., Embedded Systems Graphics, \n                  \n                    http:\/\/www.altia.com"},{"issue":"15","key":"5_CR18","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/2.56","volume":"21","author":"M.H. Brown","year":"1988","unstructured":"Brown, M.H.: Exploring algorithms using balsa-ii. IEEE Computer\u00a021(15), 14\u201336 (1988)","journal-title":"IEEE Computer"},{"issue":"9","key":"5_CR19","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/2.58216","volume":"23","author":"J.T. Stasko","year":"1990","unstructured":"Stasko, J.T.: Tango: a framework and system for algorithm animation. IEEE Computer\u00a023(9), 27\u201339 (1990)","journal-title":"IEEE Computer"},{"key":"5_CR20","unstructured":"Topol, B., Stasko, J.T.: Integrating visualization support into distributed computing systems. Tech. Rep. GIT-GVU-92-20, Georgia Institute of Technology (1994)"},{"key":"5_CR21","unstructured":"Meyer, B.: Formalization of visual mathematical notations. In: DR-II: AAAI Symp. on Diagrammatic Reasoning, Boston (1997)"},{"issue":"3","key":"5_CR22","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1006\/jvlc.2002.0237","volume":"13","author":"C.D. Hundhausen","year":"2002","unstructured":"Hundhausen, C.D., Douglas, S.A., Stasko, J.T.: A mets-study of algorithm visualization effectiveness. Journal of Visual Languages and Computing\u00a013(3), 259\u2013290 (2002)","journal-title":"Journal of Visual Languages and Computing"},{"issue":"2","key":"5_CR23","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1006\/jvlc.1999.0143","volume":"11","author":"P. Crescenzi","year":"2000","unstructured":"Crescenzi, P., Demetrescu, C., Finocchi, I., Petreschi, R.: Reversible execution and visualization of programs with leonardo. Journal of Visual Languages and Computing\u00a011(2), 125\u2013150 (2000)","journal-title":"Journal of Visual Languages and Computing"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Takahashi, S., Miyashita, K., Matsuoka, S., Yonezawa, A.: A framework for constructing animations via declarative mapping rules. In: Proceedings of IEEE Symposium on Visual Languages, St. Louis, pp. 314\u2013322 (1994)","DOI":"10.1109\/VL.1994.363603"},{"key":"5_CR25","unstructured":"Italiano, G.F., Cattaneo, G., Ferraro, U., Scarano, V.: Catai: Concurrent algorithms and data types animation over the internet. In: Proceedings of 15th IFIP World Computer Congress"},{"key":"5_CR26","unstructured":"Stasko, J.T., Wehrli, J.F.: Three-dimensional computation visualization. Tech. Rep. GIT-GVU-92-20, Georgia Institute of Technology (1992)"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Baker, J.E., Cruz, I.F., Liotta, G., Tamassia, R.: Algorithm animation over the world wide web. In: Proceedings of the 1996 ACM Workshop on Advanced Visual Interfaces, pp. 203\u2013212 (1996)","DOI":"10.1145\/948449.948480"},{"key":"5_CR28","unstructured":"Kaye, J., Castillo, D.: Flash MX for Interactive Simulation: How to Construct & Use Device Simulations. OnWord Press (2002)"},{"key":"5_CR29","volume-title":"Tending Adam\u2019s Garden: Evolving the Cognitive Immune Self","author":"I.R. Cohen","year":"2000","unstructured":"Cohen, I.R.: Tending Adam\u2019s Garden: Evolving the Cognitive Immune Self. Academic Press, San Diego (2000)"},{"key":"5_CR30","volume-title":"Kuby Immunology","author":"R.A. Goldsby","year":"2000","unstructured":"Goldsby, R.A., Kindt, T.J., Osborne, B.A.: Kuby Immunology. W. H. Freeman and Company, New York (2000)"},{"issue":"1","key":"5_CR31","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001)","journal-title":"Formal Methods in System Design"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39656-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T02:11:47Z","timestamp":1552615907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39656-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203032","9783540396567"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39656-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}