{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:18:39Z","timestamp":1725581919589},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642622144"},{"type":"electronic","value":"9783642186387"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-642-18638-7_14","type":"book-chapter","created":{"date-parts":[[2011,4,23]],"date-time":"2011-04-23T02:57:24Z","timestamp":1303527444000},"page":"299-320","source":"Crossref","is-referenced-by-count":0,"title":["ViSta \u2014 Visualizing Statecharts"],"prefix":"10.1007","author":[{"given":"Rodolfo","family":"Castell\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rym","family":"Mili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis G.","family":"Tollis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Artisan Software Tools. (accessed in April 1999) Real-time studio: The rational alternative. Available from Artisan Software Tools over the Internet, http:\/\/www.artisansw.com\/rtdialogue\/pdfs\/rational.pdf"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0925-7721(94)00014-X","volume":"4","author":"G Battista Di","year":"1994","unstructured":"Di Battista, G., Eades, P., Tamassia, R., Tollis, I. G. (1994) Algorithms for drawing graphs: an annotated bibliography. Computational Geometry Theory and Application, (4), 235\u2013282","journal-title":"Computational Geometry Theory and Application"},{"key":"14_CR3","unstructured":"Di Battista, G., Eades, P., Tamassia, R., Tollis, I. G. (1999) Graph Drawing: Algorithms for the Visualization of Graphs. Prentice Hall"},{"key":"14_CR4","first-page":"37","volume":"1284","author":"T Biedl","year":"1997","unstructured":"Biedl, T., Kaufman, M. (1997) Area-efficient static and incremental graph drawings. In: Proceedings of the 5th. Annual European Symposium on Algorithms 1284, Springer-Verlag, 37\u201352","journal-title":"Proceedings of the 5th. Annual European Symposium on Algorithms"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Biedl, T. C., Madden, B. P., Tollis, I. G. (1997) The three-phase method: A unified approach to orthogonal graph drawing. In: G. Di Battista (ed.) Graph Drawing\u2019 97, Lecture Notes in Computer Science 1353, Springer-Verlag, 391\u2013402","DOI":"10.1007\/3-540-63938-1_84"},{"key":"14_CR6","unstructured":"Castell\u00f3, R. (2000) Prom Informal Specification to Formalization: An Automated Visualization Approach. PhD thesis, The University of Texas at Dallas."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Castell\u00f3, R., Mili, R., Tollis, I. G. (2002) A framework for the static and interactive visualization of statecharts. Journal of Graph Algorithms and Applications 6(3)","DOI":"10.7155\/jgaa.00056"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0164-1212(01)00137-6","volume":"62","author":"R Castell\u00f3","year":"2002","unstructured":"Castell\u00f3, R., Mili, R., Tollis, I. G. (2002) Vista: a tool suite for the visualization of behavioral requirements. The Journal of Systems and Software 62, 141\u2013159","journal-title":"The Journal of Systems and Software"},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1142\/S0218195993000099","volume":"3","author":"P Eades","year":"1993","unstructured":"Eades, P., Lin, T., Lin, X. (1993) Two three drawing conventions. International Journal of Computational Geometry and Applications 3(2), 133\u2013153","journal-title":"International Journal of Computational Geometry and Applications"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Eades, P., Feng, Q.-W. (1997) Drawing clustered graphs on an orthogonal grid. In: G. Di Battista (ed.) Graph Drawing\u2019 97, Lecture Notes in Computer Science 1353, Springer-Verlag, 146\u2013157","DOI":"10.1007\/3-540-63938-1_58"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Eades, P., Feng, Q.-W., Lin, X. (1997) Straight-line drawing algorithms for hierarchical graphs and clustered graphs. In: S. North (ed.) Graph Drawing\u2019 96, Lecture Notes in Computer Science 1190, Springer-Verlag, 113\u2013128","DOI":"10.1007\/3-540-62495-3_42"},{"issue":"11","key":"14_CR12","doi-asserted-by":"publisher","first-page":"1047","DOI":"10.1002\/spe.4380181104","volume":"18","author":"ER Gansner","year":"1988","unstructured":"Gansner, E. R., North, S. C, Vo, K. P. (1988) Dag\u2014a program that draws directed graphs. Software Practice and Experience 18(11), 1047\u20131062","journal-title":"Software Practice and Experience"},{"issue":"32","key":"14_CR13","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/32.221135","volume":"19","author":"ER Gansner","year":"1993","unstructured":"Gansner, E. R., Koutsofios, E., North, S. C, Vo, K.-P. (1993) A technique for drawing directed graphs. IEEE Transactions on Software Engineering 19(32), 214\u2013230","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"14_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. (1987) Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231\u2013274","journal-title":"Science of Computer Programming"},{"issue":"4","key":"14_CR15","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D Harel","year":"1990","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot, M. (1990) Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering 16(4), 403\u2013414","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Harel, D., Yashchin, G. (1990) An algorithm for blob hierarchy layout. In: Proceedings of International Conference on Advanced Visual Interfaces, AVI\u20192000, Palermo, Italy","DOI":"10.1145\/345513.345240"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Kakoulis, K. G., Tollis, I. G. (1997) An algorithm for labeling edges of hierarchical drawings. In: G. Di Battista (ed.) Graph Drawing\u2019 97, Lecture Notes in Computer Science 1353, Springer-Verlag, 169\u2013180","DOI":"10.1007\/3-540-63938-1_60"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Kakoulis, K. G., Tollis, I. G. (1997) On the edge label placement problem. In: S. North (ed.) Graph Drawing\u2019 96, Lecture Notes in Computer Science 1190, Springer-Verlag, 241\u2013256","DOI":"10.1007\/3-540-62495-3_52"},{"issue":"2","key":"14_CR19","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1109\/5.52212","volume":"78","author":"ES Kuh","year":"1990","unstructured":"Kuh, E. S., Ohtsuki, T. (1990) Recent advances in VLSI layout. Proceedings of the IEEE 78(2), 237\u2013263","journal-title":"Proceedings of the IEEE"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Lengauer, T. (1990) Combinatorial Algorithms for Integrated Circuit Layout. John Wiley & Sons","DOI":"10.1007\/978-3-322-92106-2_3"},{"issue":"1","key":"14_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/21.101131","volume":"21","author":"EB Messinger","year":"1991","unstructured":"Messinger, E.B., Rowe, L. A., Henry, R. R. (1991) A divide-and-conquer algorithm for the automatic layout of large graphs. IEEE Transactions on Systems, Man, and Cybernetics 21(1), 1\u201311","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"issue":"2","key":"14_CR22","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1006\/jvlc.1995.1010","volume":"6","author":"K Misue","year":"1995","unstructured":"Misue, K., Eades, P., Lai, W., Sugiyama, K. (1995) Layout adjustment and the mental map. Journal of Visual Languages and Computing 6(2), 183\u2013210","journal-title":"Journal of Visual Languages and Computing"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"North, S. C. (1996) Incremental layout in dynadag. In: F. J. Brandenburg (ed.) Graph Drawing\u2019 95, Lecture Notes in Computer Science 1027, Springer-Verlag, 409\u2013418","DOI":"10.1007\/BFb0021824"},{"key":"14_CR24","unstructured":"O\u2019Donnel, R., Waldt, B., Bergstrand, J. (accessed in April 1999) Automatic code for embedded systems based on formal methods. Available from Telelogic over the Internet, http:\/\/www.Telelogic.se\/solution\/techpap.asp"},{"issue":"11","key":"14_CR25","doi-asserted-by":"publisher","first-page":"1297","DOI":"10.1109\/12.736444","volume":"47","author":"A Papakostas","year":"1998","unstructured":"Papakostas, A., Tollis, I. G. (1998) Interactive orthogonal graph drawing. IEEE Transactions on Computers 47(11), 1297\u20131309","journal-title":"IEEE Transactions on Computers"},{"key":"14_CR26","unstructured":"Peterson, J. (accessed in July 2001) Overcoming the crisis in real-time software development. Available from Rational over the Internet. http:\/\/www.objectime.com\/otl\/technical\/crisis.html"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Purchase, H. (1997) Which aesthetic has the greatest effect on human understanding. In: G. Di Battista (ed.) Graph Drawing\u2019 97, Lecture Notes in Computer Science 1353, Springer-Verlag, 248\u2013261","DOI":"10.1007\/3-540-63938-1_67"},{"key":"14_CR28","unstructured":"Rational, (accessed in November 1999) Rose Java. Downloaded from Rational over the Internet. http:\/\/www.rational.com"},{"issue":"1","key":"14_CR29","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1002\/spe.4380170107","volume":"17","author":"LA Rowe","year":"1987","unstructured":"Rowe, L. A., Davis, M., Messinger, E., Meyer, C. (1987) A browser for directed graphs. Software Practice and Experience 17(1), 61\u201376","journal-title":"Software Practice and Experience"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Ryall, K., Marks, J., Shieber, S. (1997) An interactive system for drawing graphs. In: S. North (ed.) Graph Drawing\u2019 96, Lecture Notes in Computer Science 1190, Springer-Verlag, 387\u2013393","DOI":"10.1007\/3-540-62495-3_62"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"Seeman, J. (1997) Extending the sugiyama algorithm for drawing UML class diagrams: Towards automatic layout of object-oriented software diagrams. In: G. Di Battista (ed.) Graph Drawing\u2019 97, Lecture Notes in Computer Science 1353, Springer-Verlag, 415\u2013424","DOI":"10.1007\/3-540-63938-1_86"},{"key":"14_CR32","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0019-9958(83)80038-2","volume":"57","author":"L Stockmeyer","year":"1983","unstructured":"Stockmeyer, L. (1983) Optimal orientations of cells in slicing floorplan designs. Information and Control, (57), 91\u2013101","journal-title":"Information and Control"},{"issue":"2","key":"14_CR33","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/TSMC.1981.4308636","volume":"11","author":"K Sugiyama","year":"1981","unstructured":"Sugiyama, K., Tagawa, S., Toda, M. (1981) Methods for visual understanding of hierarchical system structures. IEEE Transactions on Systems, Man and Cybernetics 11(2), 109\u2013125","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"14_CR34","doi-asserted-by":"crossref","unstructured":"Wimer, S., Koren, I., Cederbaum, I. (1988) Floorplans, planar graphs and layout. IEEE Transactions on Circuits and Systems, 267\u2013278","DOI":"10.1109\/31.1739"}],"container-title":["Mathematics and Visualization","Graph Drawing Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18638-7_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:07:21Z","timestamp":1606187241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18638-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783642622144","9783642186387"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18638-7_14","relation":{},"ISSN":["1612-3786"],"issn-type":[{"type":"print","value":"1612-3786"}],"subject":[],"published":{"date-parts":[[2004]]}}}