{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T07:47:15Z","timestamp":1772264835986,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540457725","type":"print"},{"value":"9783540457732","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11880240_36","type":"book-chapter","created":{"date-parts":[[2006,11,22]],"date-time":"2006-11-22T09:14:47Z","timestamp":1164186887000},"page":"513-527","source":"Crossref","is-referenced-by-count":10,"title":["Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach"],"prefix":"10.1007","author":[{"given":"Gabriela","family":"Ar\u00e9valo","sequence":"first","affiliation":[]},{"given":"Jean-R\u00e9mi","family":"Falleri","sequence":"additional","affiliation":[]},{"given":"Marianne","family":"Huchard","sequence":"additional","affiliation":[]},{"given":"Cl\u00e9mentine","family":"Nebut","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis, Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis, Mathematical Foundations. Springer, Berlin (1999)"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Godin, R., Mili, H.: Building and maintaining analysis-level class hierarchies using Galois lattices. In: Proc. of OOPSLA 1993, Washington (DC), USA, pp. 394\u2013410 (1993)","DOI":"10.1145\/165854.165931"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Dicky, H., Dony, C., Huchard, M., Libourel, T.: On Automatic Class Insertion with Overloading. In: Special issue of Sigplan Notice, Proc. of OOPSLA 1996, pp. 251\u2013267 (1996)","DOI":"10.1145\/236337.236364"},{"issue":"3","key":"36_CR4","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1145\/353926.353940","volume":"22","author":"G. Snelting","year":"2000","unstructured":"Snelting, G., Tip, F.: Understanding class hierarchies using concept analysis. ACM Transactions on Programming Languages and Systems\u00a022(3), 540\u2013582 (2000)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"36_CR5","unstructured":"Triskell project (IRISA): The Metamodeling Language Kermeta (2006), http:\/\/www.kermeta.org"},{"key":"36_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-540-27769-9_23","volume-title":"Conceptual Structures at Work","author":"M. Dao","year":"2004","unstructured":"Dao, M., Huchard, M., Hac\u00e8ne, M.R., Roume, C., Valtchev, P.: Improving Generalization Level in UML Models: Iterative Cross Generalization in Practice. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol.\u00a03127, pp. 346\u2013360. Springer, Heidelberg (2004)"},{"key":"36_CR7","unstructured":"OMG: UML version 2.0 (2006), http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"Steel, J., J\u00e9z\u00e9quel, J.M.: Model typing for improving reuse in model-driven engineering. In: Proceedings of MODELS\/UML 2005, pp. 84\u201396 (2005)","DOI":"10.1007\/11557432_7"},{"key":"36_CR9","first-page":"250","volume-title":"Proc. of the First International Conference on Formal Concept Analysis - ICFCA 2003","author":"T. Tilley","year":"2003","unstructured":"Tilley, T., Cole, R., Becker, P., Eklund, P.: A survey of formal concept analysis support for software engineering activities. In: Proc. of the First International Conference on Formal Concept Analysis - ICFCA 2003, pp. 250\u2013271. Springer, Heidelberg (2003)"},{"key":"36_CR10","unstructured":"Ar\u00e9valo, G.: High-Level Views in Object-Oriented Systems using Formal Concept Analysis. PhD thesis, Software Composition Group, University of Bern (2004)"},{"key":"36_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/BFb0019938","volume-title":"Conceptual Modeling - ER \u201996","author":"A. Yahia","year":"1996","unstructured":"Yahia, A., Lakhal, L., Cicchetti, R., Bordat, J.: iO2 - An Algorithmic Method for Building Inheritance Graphs in Object Database Design. In: Thalheim, B. (ed.) ER 1996. LNCS, vol.\u00a01157, pp. 422\u2013437. Springer, Heidelberg (1996)"},{"key":"36_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/BFb0035129","volume-title":"Advanced Information Systems Engineering","author":"E. Andonnoff","year":"1992","unstructured":"Andonnoff, E., Sallaberry, C., Zurfluh, G.: Interactive design of object oriented databases. In: Loucopoulos, P. (ed.) CAiSE 1992. LNCS, vol.\u00a0593, pp. 128\u2013146. Springer, Heidelberg (1992)"},{"key":"36_CR13","first-page":"1","volume-title":"Proceedings of the 10th OOPSLA","author":"W. Cook","year":"1992","unstructured":"Cook, W.: Interfaces and Specifications for the Smalltalk-80 Collection Classes. In: Paepcke, A. (ed.) Proceedings of the 10th OOPSLA, pp. 1\u201315. ACM Press, New York (1992)"},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"Moore, I.: Automatic Inheritance Hierarchy Restructuring and Method Refactoring. In: Proceedings of OOPSLA 1996, San Jose (CA), USA, pp. 235\u2013250 (1996)","DOI":"10.1145\/236337.236361"},{"issue":"8","key":"36_CR15","first-page":"26","volume":"8","author":"J.B. Chen","year":"1996","unstructured":"Chen, J.B., Lee, S.C.: Generation and reorganization of subtype hierarchies. Journal of Object Oriented Programming\u00a08(8), 26\u201335 (1996)","journal-title":"Journal of Object Oriented Programming"},{"key":"36_CR16","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1007\/3-540-46102-7_55","volume-title":"Proc. of Object-Oriented Information Systems","author":"S. Si-Said Cherfi","year":"2002","unstructured":"Si-Said Cherfi, S., Lammari, N.: Towards and Assisted Reorganization of Is-A Hierarchies. In: Proc. of Object-Oriented Information Systems, pp. 536\u2013548. Springer, Heidelberg (2002)"},{"issue":"2","key":"36_CR17","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T. Mens","year":"2004","unstructured":"Mens, T., Tourw\u00e9, T.: A survey of software refactoring. IEEE Transactions on Software Engineering\u00a030(2), 126\u2013139 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"36_CR18","doi-asserted-by":"crossref","unstructured":"Suny\u00e9, G., Pollet, D., Le Traon, Y., J\u00e9z\u00e9quel, J.M.: Refactoring UML models. In: Proc. Unified Modeling Language Conf., pp. 134\u2013148 (2001)","DOI":"10.1007\/3-540-45441-1_11"},{"key":"36_CR19","unstructured":"Tokuda, L., Batory, D.: Automated software evolution via design pattern transformations. In: Proc. of the Int\u2019l Symp. on Applied Corporate Computing (1995)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11880240_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:27:08Z","timestamp":1619508428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11880240_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457725","9783540457732"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11880240_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}