{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:24Z","timestamp":1742617224093,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617327"},{"type":"electronic","value":"9783540707400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61732-9_49","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:17:11Z","timestamp":1330294631000},"page":"38-48","source":"Crossref","is-referenced-by-count":0,"title":["Document recognition, semantics, and symbolic reasoning in reverse engineering of software"],"prefix":"10.1007","author":[{"given":"G.","family":"Butler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Grogono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Shinghal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Tjandra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"3_CR1","first-page":"22","volume-title":"Retrieving information from data flow diagrams","author":"G. Butler","year":"1995","unstructured":"G. Butler, P.D. Grogono, R. Shinghal, and I.A. Tjandra. Retrieving information from data flow diagrams. In Proceedings of Second Working Conference on Reverse Engineering, (Toronto, July 14\u201316, 1995). Linda Wills, Philip Newcomb, Elliot Chikofsky (eds), IEEE Computer Society Press, Los Alamitos, CA, 1995,pp. 22\u201329."},{"key":"3_CR2","unstructured":"G. Butler, P.D. Grogono, R. Shinghal, and I.A. Tjandra. Analyzing the logical structure of data flow diagrams. In Third International Conference on Document Analysis and Recognition, August 1995. Poster session."},{"key":"3_CR3","unstructured":"G. Butler, P.D. Grogono, R. Shinghal, and I.A. Tjandra. A Semantics of Data Flow Diagrams. Journal article in preparation."},{"key":"3_CR4","unstructured":"G. Butler, P.D. Grogono, R. Shinghal, and I.A. Tjandra. Knowledge and the recognition and understanding of software documents. Department of Computer Science, Concordia University, February 1995, 47 pages."},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0950-5849(92)90112-3","volume":"34","author":"M.J. Chen","year":"1992","unstructured":"M.J. Chen and C.G Chung. Preventive structural analysis of dataflow diagrams. Information and Software Technology, 34(2):117\u2013130, 1992.","journal-title":"Information and Software Technology"},{"issue":"1","key":"3_CR6","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/52.43044","volume":"7","author":"E. Chikofsky","year":"1990","unstructured":"E. Chikofsky and J. Cross. Reverse engineering and design recovery: A taxonomy. IEEE Software, 7(1):13\u201317. 1990.","journal-title":"IEEE Software"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science vol. 407, pages 24-37. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-52148-8_3"},{"key":"3_CR8","volume-title":"Structured Analysis and System Specification","author":"F. DeMarco","year":"1978","unstructured":"F. DeMarco. Structured Analysis and System Specification. Englewood Cliffs, N.J., Yourdon Press, 1978."},{"key":"3_CR9","volume-title":"Structured Systems Analysis","author":"C. Gane","year":"1979","unstructured":"C. Gane and T. Sarson. Structured Systems Analysis. Englewood Cliffs, N.J., Prentice Hall, 1979."},{"issue":"4","key":"3_CR10","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1147\/sj.324.0548","volume":"32","author":"M.L. Griss","year":"1993","unstructured":"M.L. Griss, Software reuse: From library to factory. IBM Systems Journal 32, 4 (1993) 548\u2013566.","journal-title":"IBM Systems Journal"},{"issue":"4","key":"3_CR11","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0950-5849(92)90080-9","volume":"34","author":"P. Hall","year":"1992","unstructured":"Hall, P. Overview of reverse engineering and reuse research. Information and Software Technology, 34(4):239\u2013249. 1992.","journal-title":"Information and Software Technology"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"D. Harel, H. Lachover, A Naamad, A. Pnueli, M. Politi, R. Sherman, and A. Shtul-Trauring. Statemate: A working environment for the development of complex reactive systems. In Proceedings of 10th International Conference on Software Engineering, pages 396\u2013406. IEEE Press, 1988.","DOI":"10.1109\/ICSE.1988.93720"},{"issue":"10","key":"3_CR13","doi-asserted-by":"crossref","first-page":"978","DOI":"10.1109\/34.58870","volume":"12","author":"R. Kasturi","year":"1994","unstructured":"R. Kasturi, S.T. Bow, W. El-Masri, J. Shah, J.R. Gattiker, U.B. Mokate, A system for interpretation of line drawings. IEEE Transaction on Pattern Analysis and Machine Intelligence 12, 10 (1994) 978\u2013992.","journal-title":"IEEE Transaction on Pattern Analysis and Machine Intelligence"},{"issue":"2","key":"3_CR14","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/130844.130856","volume":"24","author":"C. W. Krueger","year":"1992","unstructured":"Charles W. Krueger, Software reuse. ACM Computing Surveys 24, 2 (June 1992) 131\u2013183.","journal-title":"ACM Computing Surveys"},{"issue":"6","key":"3_CR15","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/32.391379","volume":"21","author":"H. Mili","year":"1995","unstructured":"H. Mili, F. Mili, A. Mili, Reusing software: Issues and research directions. IEEE Trans. Software Eng. 21, 6 (June 1995) 528\u2013562.","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR16","volume-title":"volume 92 of Lecture Notes in Computer Science","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, Berlin-New York, 1980."},{"key":"3_CR17","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, N.J., 1989."},{"key":"3_CR18","unstructured":"Faron Moller, The Edinburgh Concurrency Workbench (Version 6.1). Department of Computer Science, University of Edinburgh, October 1992."},{"key":"3_CR19","volume-title":"Object-oriented Modelling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented Modelling and Design. Englewood Cliffs, N.J., Prentice Hall, 1991."},{"issue":"1","key":"3_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/comjnl\/32.1.1","volume":"32","author":"T.H. Tse","year":"1989","unstructured":"T.H. Tse and L. Pong. Towards a formal foundation for DeMarco data flow. The Computer Journal, 32(1):1\u201312, 1989.","journal-title":"The Computer Journal"},{"issue":"2","key":"3_CR21","first-page":"63","volume":"10","author":"A. Weinand","year":"1989","unstructured":"A. Weinand, E. Gamma, R. Marty, Design and implementation of ET++, a seamless object-oriented application framework. Structured Programming, 10, 2 (1989) 63\u201387.","journal-title":"Structured Programming"},{"key":"3_CR22","volume-title":"Structured Design: Fundamental of a Discipline of Computer Program and Systems Design","author":"E. Yourdon","year":"1979","unstructured":"E. Yourdon and L.L Constantine. Structured Design: Fundamental of a Discipline of Computer Program and Systems Design. Englewood Cliffs, N.J., Prentice Hall, 1979."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61732-9_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:24:44Z","timestamp":1742599484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61732-9_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617327","9783540707400"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61732-9_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}