{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:59:20Z","timestamp":1725487160467},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429593"},{"type":"electronic","value":"9783540456544"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45654-6_20","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:21:19Z","timestamp":1184602879000},"page":"242-256","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity"],"prefix":"10.1007","author":[{"given":"Carlos A.P.","family":"Campani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo Blauth","family":"Menezes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,8]]},"reference":[{"key":"20_CR1","volume-title":"Foundations of Computer Science","author":"A. Aho","year":"1995","unstructured":"Aho, A. and Ullman, J. Foundations of Computer Science, C Ed., Computer Science Press, New York, W. Freeman and Company, 1995."},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/TIT.1974.1055172","volume":"20","author":"G. Chaitin","year":"1974","unstructured":"Chaitin, G. Information-Theoretic Computational Complexity, IEEE Transactions on Information Theory, 20 (1974), 10\u201315.","journal-title":"IEEE Transactions on Information Theory"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/321892.321894","volume":"22","author":"G. Chaitin","year":"1975","unstructured":"Chaitin, G. A Theory of Program Size Formally Identical to Information Theory, Journal of the ACM, 22 (1975), 329\u2013340.","journal-title":"Journal of the ACM"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1007\/BF02084159","volume":"22","author":"G. Chaitin","year":"1982","unstructured":"Chaitin, G. G\u00f6del\u2019s Theorem and Information, International Journal of Theoretical Physics, 22 (1982), 941\u2013954.","journal-title":"International Journal of Theoretical Physics"},{"key":"20_CR5","first-page":"38","volume-title":"Encyclopedia of Statistical Sciences","author":"G. Chaitin","year":"1982","unstructured":"Chaitin, G. Algorithmic Information Theory, In: Encyclopedia of Statistical Sciences, New York, Wiley, 1 (1982), 38\u201341."},{"key":"20_CR6","volume-title":"The Limits of Mathematics","author":"G. Chaitin","year":"1998","unstructured":"Chaitin, G. The Limits of Mathematics, New York, Springer, 1998."},{"unstructured":"Conte, M. and Falco, I. and Cioppa, A. and Tarantino, E. and Trautteur, G. Genetic Programming Estimates of Kolmogorov Complexity, In: Proceedings of the Seventh International Conference on Genetic Algorithms (ICGA97), 1997.","key":"20_CR7"},{"key":"20_CR8","doi-asserted-by":"crossref","DOI":"10.1002\/0471200611","volume-title":"Elements of Information Theory","author":"T. Cover","year":"1991","unstructured":"Cover, T. and Thomas, J. Elements of Information Theory, New York, Wiley, 1991."},{"key":"20_CR9","series-title":"Technical Report","volume-title":"Lecture Notes on Descriptional Complexity and Randomness","author":"P. G\u00c1cs","year":"1988","unstructured":"G\u00c1cs, P. Lecture Notes on Descriptional Complexity and Randomness, Technical Report, Boston University, Computer Science Dept., Boston, 1988, URL: \n                      http:\/\/www.cs.bu.edu\/ftp\/gacs\/papers\/ait-notes.ps.Z\n                      \n                    ."},{"unstructured":"Hinchey, M. and Bowen, J. Applications of Formal Methods, Prentice-Hall International Series in Computer Science, 1995.","key":"20_CR10"},{"key":"20_CR11","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J. Hopcroft","year":"1979","unstructured":"Hopcroft, J. and Ullman, J. Introduction to Automata Theory, Languages and Computation, Reading, Addison-Wesley, 1979."},{"unstructured":"H\u00f6st, M. and Wohlin, C. An Experimental Study of Individual Subjective Effort Estimation and Combinations of the Estimates, In: Proceedings of the 1998 International Conference on Software Engineering, Kyoto, Japan, April 19\u201325, 1998.","key":"20_CR12"},{"key":"20_CR13","volume-title":"Mathematical Logic","author":"S. Kleene","year":"1967","unstructured":"Kleene, S. Mathematical Logic, New York, Wiley, 1967."},{"issue":"n. 1","key":"20_CR14","first-page":"3","volume":"1","author":"A. Kolmogorov","year":"1965","unstructured":"Kolmogorov, A. Three Approaches to the Quantitative Definition of Information, Problemy Peredachi Informatsii, v. 1, n. 1, 1965, 3\u201311.","journal-title":"Problemy Peredachi Informatsii"},{"issue":"n. 5","key":"20_CR15","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1109\/TIT.1968.1054210","volume":"14","author":"A. Kolmogorov","year":"1968","unstructured":"Kolmogorov, A. Logical Basis for Information Theory and Probability Theory, IEEE Transactions on Information Theory, v. 14, n. 5, 1968, 662\u2013664.","journal-title":"IEEE Transactions on Information Theory"},{"key":"20_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2606-0","volume-title":"An Introduction to Kolmogorov Complexity and its Applications","author":"M. Li","year":"1997","unstructured":"Li, M. and Vit\u00c1nyi, P. An Introduction to Kolmogorov Complexity and its Applications. New York, Springer, 1997."},{"key":"20_CR17","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/S0049-237X(08)72018-4","volume-title":"Computer Programming and Formal Systems","author":"J. McCarthy","year":"1963","unstructured":"McCarthy, J. A Basis for a Mathematical Theory of Computation, In: P. Braffort and D. Hirschberg( eds.), Computer Programming and Formal Systems, 33\u201370. North-Holland Publishing Company, Amsterdam, 1963."},{"doi-asserted-by":"crossref","unstructured":"McConnell, S. The Art, Science, and Engineering of Software Development, IEEE Software, v. 15, n. 1, january\/february 1998.","key":"20_CR18","DOI":"10.1109\/52.646892"},{"key":"20_CR19","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1964","unstructured":"Mendelson, E. Introduction to Mathematical Logic, New Jersey, Van Nostrand Company, 1964."},{"key":"20_CR20","volume-title":"Modern Structured Analysis","author":"E. Yourdon","year":"1988","unstructured":"Yourdon, E. Modern Structured Analysis, New Jersey, Prentice-Hall, 1988."},{"key":"20_CR21","volume-title":"Decline and Fall of the American Programmer","author":"E. Yourdon","year":"1992","unstructured":"Yourdon, E. Decline and Fall of the American Programmer, New Jersey, Prentice-Hall, 1992."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45654-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T23:43:21Z","timestamp":1558482201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45654-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429593","9783540456544"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45654-6_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"8 February 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}