{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:10:53Z","timestamp":1737436253063,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-47910-4_22","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:13:47Z","timestamp":1187266427000},"page":"432-457","source":"Crossref","is-referenced-by-count":4,"title":["ObjChart: Tangible Specification of Reactive Object Behavior"],"prefix":"10.1007","author":[{"given":"Dipayan","family":"Gangopadhyay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Subrata","family":"Mitra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"22_CR1","first-page":"28","volume":"25","author":"S. Beax","year":"1990","unstructured":"S. Beax, D. Coleman, F. Hayes and P. Allen. Graphical specification of object-oriented systems. In Proc. OOPSLA\/ECOOP\u2019 90 Vol. 25, No. 10, pages 28\u201337, 1990.","journal-title":"Proc. OOPSLA\/ECOOP\u2019 90"},{"key":"22_CR2","unstructured":"G. Booch. Object-oriented design with applications. The Benjamin Cummings Publishing Company Inc., 1991."},{"key":"22_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/3-540-10699-5_102","volume-title":"Formalization of programming concepts","author":"J. D. Brock","year":"1981","unstructured":"J. D. Brock and W. B. Ackerman. Scenarios: a model of nondeterminate computation. In Formalization of programming concepts, LNCS 107, pages 252\u2013259, 1981."},{"issue":"10","key":"22_CR4","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/141936.141966","volume":"27","author":"B. Bruegge","year":"1992","unstructured":"B. Bruegge, J. Blythe, J. Jackson and J. Shufelt. Object-oriented system modeling with OMT. In Proc. OOPSLA\u2019 92 Vol. 27, No. 10, pages 359\u2013376, 1992.","journal-title":"Proc. OOPSLA\u2019 92"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. Parallel program design. Addison-Wesley, 1989.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"D. Coleman, F. Hayes and S. Bear. Introducing ObjectCharts or how to use Statecharts in object-oriented design. IEEE Transactions on Software Engineering, Vol. 18, No. 1, 1992.","DOI":"10.1109\/32.120312"},{"key":"22_CR7","unstructured":"N. Davis. Problem Set for the Fourth Int. Workshop on Software Specification and Design. In Proc. of the Fourth IEEE Int. Workshop on Software Specification and Design, Monterey, USA, 1989."},{"key":"22_CR8","unstructured":"D. Gangopadhyay, S. Mitra and S. S. Dhaliwal. ObjChart-Builder: An environment for executing visual object models. IBM Technical Report. Submitted for publication. 1993."},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, Vol. 8, pages 231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"22_CR10","unstructured":"D. Harel, A. Pnueli, J. P. Schmidt and R. Sherman. On the formal semantics of Statecharts. In Proc. of the Second IEEE Symp. on Logic in Computer Science, pages 54\u201364, 1987."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"D. Harel. On visual formalisms. Communications of the ACM, Vol. 31(5).","DOI":"10.1145\/42411.42414"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"D. Harel et al. Statemate: A working environment for the development of complex reactive systems. In Proc. of the Tenth Int. Conf. on Software Engg., pages 396\u2013406, 1988.","DOI":"10.1109\/ICSE.1988.93720"},{"issue":"11","key":"22_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/117954.117968","volume":"26","author":"F. Hayes","year":"1991","unstructured":"F. Hayes and D. Coleman. Coherent models for object-oriented analysis. In Proc. OOPSLA\u2019 91, Vol. 26, No. 11, pages 171\u2013183, 1991.","journal-title":"Proc. OOPSLA\u2019 91"},{"issue":"10","key":"22_CR14","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/97945.97967","volume":"25","author":"R. Helm","year":"1990","unstructured":"R. Helm, I. M. Holland and D. Gangopadhyay. Contracts: specifying behavioral compositions in object-oriented systems. In Proc. OOPSLA\/ECOOP\u2019 90, Vol. 25, No. 10, pages 169\u2013180, 1990.","journal-title":"Proc. OOPSLA\/ECOOP\u2019 90"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"B. Jonsson. A Fully Abstract Trace Model for Dataflow Networks. In Proceedings of the sixteenth annual Symposium on Principles of Programming Languages, pages 155\u2013165, 1989.","DOI":"10.1145\/75277.75291"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent Systems. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF01888222","volume":"2","author":"J. Misra","year":"1990","unstructured":"J. Misra. Equational reasoning about nondeterministic processes. Formal Aspects of Computing, Vol. 2, pages 167\u2013195, 1990.","journal-title":"Formal Aspects of Computing"},{"key":"22_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1007\/BFb0027047","volume-title":"Current Trends in Concurrency","author":"A. Pnueli","year":"1986","unstructured":"A. Pnueli. Application of temporal logic to the specification and verification of reactive systems: A survey of current trends. In Current Trends in Concurrency, LNCS 224, pages 510\u2013584, 1986."},{"key":"22_CR19","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen. Object-oriented modeling and design. Prentice-Hall, 1991."},{"key":"22_CR20","unstructured":"S. Shlaer and S. Mellor. Object-oriented systems analysis. Yourdon Press, 1988."}],"container-title":["Lecture Notes in Computer Science","ECOOP\u2019 93 \u2014 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47910-4_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T11:41:20Z","timestamp":1737373280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47910-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540571209"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-47910-4_22","relation":{},"subject":[]}}