{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:04:50Z","timestamp":1725566690612},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540278917"},{"type":"electronic","value":"9783540318811"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11528784_14","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T03:24:54Z","timestamp":1285644294000},"page":"272-287","source":"Crossref","is-referenced-by-count":12,"title":["Concept Lattices in Software Analysis"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Snelting","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Ammons, G., Mandelin, D., Bodik, R., Larus, J.: Debugging temporal specifications with concept analysis. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 182\u2013193 (2003)","DOI":"10.1145\/781131.781152"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Ball, T.: The concept of dynamic analysis. In: ESEC \/ SIGSOFT FSE, pp. 216\u2013234 (1999)","DOI":"10.1007\/3-540-48166-4_14"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Eisenbarth, T., Koschke, R., Simon, D.: Feature-driven program understanding using concept analysis of execution trace. In: Proc. Ninth International Workshop on Program Comprehension (IWPC 2001) (May 2001)","DOI":"10.1109\/WPC.2001.921740"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Fischer, B.: Specification-based browsing of software component libraries. In: Automated Software Engineering, pp. 74\u201383 (1998)","DOI":"10.1109\/ASE.1998.732577"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Godin, R., Missaoui, R., April, A.: Experimental comparison of navigation in a galois lattice with conventional information retrieval methods. International Journal of Man-Machine Studies\u00a038 (1993)","DOI":"10.1006\/imms.1993.1035"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/ICSE.1994.296765","volume-title":"Proceedings of the 16th international conference on Software engineering","author":"M. Krone","year":"1994","unstructured":"Krone, M., Snelting, G.: On the inference of configuration structures from source code. In: Proceedings of the 16th international conference on Software engineering, pp. 49\u201357. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"14_CR7","unstructured":"Lindig, C.: Concepts: a program for concept lattices, \n                    \n                      http:\/\/www.st.cs.uni-sb.de\/~lindig\/src\/concepts.html"},{"key":"14_CR8","unstructured":"Lindig, C.: Algorithmen zur Begriffsanalyse und ihre Anwendung bei Softwarebibliotheken. PhD thesis, Technische Universit\u00e4t Braunschweig (1999)"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1145\/253228.253354","volume-title":"Proceedings of the 19th International Conference on Software Engineering","author":"C. Lindig","year":"1997","unstructured":"Lindig, C., Snelting, G.: Assessing modular structure of legacy code based on mathematical concept analysis. In: Proceedings of the 19th International Conference on Software Engineering, pp. 349\u2013359. ACM Press, New York (1997)"},{"issue":"2","key":"14_CR10","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/227607.227613","volume":"5","author":"G. Snelting","year":"1996","unstructured":"Snelting, G.: Reengineering of configurations based on mathematical concept analysis. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a05(2), 146\u2013189 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"#cr-split#-14_CR11.1","doi-asserted-by":"crossref","unstructured":"Snelting, G.: Concept analysis - a new framework for program understanding. In: Proc. ACM SIGPLAN\/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), pp. 1\u201310 (1998);","DOI":"10.1145\/277631.277634"},{"key":"#cr-split#-14_CR11.2","unstructured":"Invited contribution"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Snelting, G.: Software reengineering based on concept lattices. In: Proc. 4th European Conference on Software Maintenance and Reengineeering, pp. 3\u201312 (2000) Invited contribution","DOI":"10.1109\/CSMR.2000.827299"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1109\/ICSM.1997.624243","volume-title":"Proc. International Conference on Software Maintenance","author":"M. Siff","year":"1997","unstructured":"Siff, M., Reps, T.: Identifying modules via concept analysis. In: Proc. International Conference on Software Maintenance, pp. 170\u2013179. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"14_CR14","unstructured":"Streckenbach, M., Snelting, G.: Behaviour-preserving refactoring with KABA (August 2003) (submitted for publication)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Snelting, G., Tip, F.: Reengineering class hierarchies using concept analysis. In: Proc. ACM SIGSOFT Symposium on the Foundations of Software Engineering, Orlando, FL, November 1998, pp. 99\u2013110 (1998)","DOI":"10.1145\/288195.288273"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Snelting, G., Tip, F.: Understanding class hierarchies using concept analysis. ACM Transactions on Programming Languages and Systems, pp. 540\u2013582 (May 2000)","DOI":"10.1145\/353926.353940"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Tonella, P., Antoniol, G.: Object-oriented design pattern inference. In: International Conference on Software Maintenance, p. 230 (1999)","DOI":"10.1109\/ICSM.1999.792619"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1145\/302405.302629","volume-title":"Proceedings of the 21st international conference on Software engineering","author":"A. Deursen van","year":"1999","unstructured":"van Deursen, A., Kuipers, T.: Identifying objects using cluster and concept analysis. In: Proceedings of the 21st international conference on Software engineering, pp. 246\u2013255. IEEE Computer Society Press, Los Alamitos (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11528784_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:49:54Z","timestamp":1619506194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11528784_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278917","9783540318811"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11528784_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}