{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T04:10:01Z","timestamp":1740543001915,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"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_15","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T03:24:54Z","timestamp":1285644294000},"page":"288-303","source":"Crossref","is-referenced-by-count":10,"title":["Formal Concept Analysis Used for Software Analysis and Modelling"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Hesse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Tilley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Proceedings of the Conference on Programming Language Design and Implementation PLDI 2003","author":"G. Ammons","year":"2003","unstructured":"Ammons, G., Mandelin, D., Bodik, R., Larus, J.R.: Debugging temporal specifications with concept analysis. In: Proceedings of the Conference on Programming Language Design and Implementation PLDI 2003, June 2003, ACM, New York (2003)"},{"key":"15_CR2","unstructured":"Andelfinger, U.: Diskursive Anforderungsanalyse. Ein Beitrag zum Reduktionsprob-lem bei Systementwicklungen in der Informatik. Peter Lang, Frankfurt (1997)"},{"issue":"12","key":"15_CR3","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1109\/TC.1976.1674590","volume":"C-25","author":"B.W. Boehm","year":"1976","unstructured":"Boehm, B.W.: Software engineering. IEEE Transactions on Computers\u00a0C-25(12), 1216\u20131241 (1976)","journal-title":"IEEE Transactions on Computers"},{"key":"15_CR4","unstructured":"Booch, G.: Object-Oriented Analysis and Design with. Benjamin\/ Cummings (1994)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","first-page":"726","volume-title":"Learning Software Organizations. Methodology and Applications","author":"R. Cole","year":"2000","unstructured":"Cole, R., Tilley, T.: Conceptual analysis of software structure. In: Ruhe, G., Bomarius, F. (eds.) SEKE 1999. LNCS, vol.\u00a01756, pp. 726\u2013733. Springer, Heidelberg (2000)"},{"key":"15_CR6","unstructured":"Duwel, S.: BASE - ein begriffsbasiertes Analyseverfahren fur die Software-Entwick-lung. PhD thesis, Philipps-Universitat, Marburg (2000)"},{"key":"15_CR7","unstructured":"Duwel, S., Hesse, W.: Bridging the gap between use case analysis and class structure design by formal concept analysis. In: Ebert, J., Frank, U., Hrsg. (eds.) Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik. Proceedings Modellierung 2000, Koblenz, pp. 27\u201340. Folbach-Verlag (2000)"},{"key":"15_CR8","unstructured":"Duwel, S., Hesse, W.: BASE - ein begriffsbasiertes Analyseverfahren fur die Software-Entwicklung. In: Lengnink, K., Hrsg., et al. (eds.) Mathematik fur Menschen, Festschrift fur R. Wille, TU Darmstadt (2003)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Fischer, B.: Specification-based browsing of software component libraries. Automated Software Engineering, 74\u201383 (1998)","DOI":"10.1109\/ASE.1998.732577"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Godin, R., Mili, H.: Building and maintaining analysis-level class hierarchies using galois lattices. In: Reflection and Software Engineering, pp. 394\u2013410 (1993)","DOI":"10.1145\/165854.165931"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1002\/(SICI)1096-9942(1998)4:2<117::AID-TAPO6>3.0.CO;2-Q","volume":"4","author":"R. Godin","year":"1998","unstructured":"Godin, R., Mili, H., Mineau, G.W., Missaoui, R., Arfi, A., Chau, T.-T.: Design of class hierarchies based on concept (galois) lattices. Theory and Application of Object Systems (TAPOS)\u00a04(2), 117\u2013134 (1998)","journal-title":"Theory and Application of Object Systems (TAPOS)"},{"key":"15_CR12","series-title":"LNAI","first-page":"179","volume-title":"Proceedings of the International Knowledge Retrieval, Use, and Storage for Efficiency Symposium (KRUSE 1995),","author":"R. Godin","year":"1995","unstructured":"Godin, R., Mineau, G., Missaoui, R.: Incremental structuring of knowledge bases. In: Proceedings of the International Knowledge Retrieval, Use, and Storage for Efficiency Symposium (KRUSE 1995), LNCS (LNAI), pp. 179\u2013198. Springer, Heidelberg (1995)"},{"key":"15_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11528784_16","volume-title":"Formal Concept Analysis","author":"R. Godin","year":"2005","unstructured":"Godin, R., Valtchev, P.: Formal Concept Analysis. LNCS (LNAI), vol.\u00a03626. Springer, Heidelberg (2005)"},{"issue":"2","key":"15_CR14","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T. Gruber","year":"1993","unstructured":"Gruber, T.: A translation approach to portable ontologies. Knowledge Acquisition\u00a05(2), 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BFb0017749","volume-title":"Software Process Technology","author":"W. Hesse","year":"1996","unstructured":"Hesse, W.: Theory and practice of the software process - a field study and its implications for project management. In: Montangero, C. (ed.) EWSPT 1996. LNCS, vol.\u00a01149, pp. 241\u2013256. Springer, Heidelberg (1996)"},{"issue":"6","key":"15_CR16","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s002870200265","volume":"25","author":"W. Hesse","year":"2002","unstructured":"Hesse, W.: Ontologie(n). Das aktuelle Schlagwort. Informatik-Spektrum\u00a025(6), 477\u2013480 (2002)","journal-title":"Informatik-Spektrum"},{"key":"15_CR17","unstructured":"Hesse, W., Braun, H.V.: Wo kommen die Objekte her? Ontologisch-erkenntnistheoretische Zugange zum Objektbegriff. In: Bauknecht, K., Hrsg., et al. (eds.) Informatik 2001 - Tagungsband der GI\/OCG-Jahrestagung,, vol.\u00a0Bd. II, pp. 776\u2013781 (2001) Computer-Gesellschaft, books_372ocg.at; Bd. 157, Osterr"},{"key":"15_CR18","volume-title":"Object-Oriented Software Engineering - A Use Case Driven Approach","author":"I. Jacobson","year":"1993","unstructured":"Jacobson, I.: Object-Oriented Software Engineering - A Use Case Driven Approach. revised printing edn. Addison-Wesley, Reading (1993)"},{"key":"15_CR19","unstructured":"Lindig, C.: Komponentensuche mit Begriffen. In: Braunschweig, S., Hrsg. (eds.) Proceedings Software-Technik 1995, Oktober 1995, pp. 67\u201375 (1995)"},{"key":"15_CR20","unstructured":"Lindig, C.: Analyse von Softwarevarianten. Technical Report Informatik-Bericht 98-04, Technische Universitat Braunschweig (January 1998)"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Lindig, C., Snelting, G.: Assessing modular structure of legacy code based on mathematical concept analysis. In: Proceedings of the International Conference on Software Engineering (ICSE 1997),Boston, pp. 349-359 (1997)","DOI":"10.1145\/253228.253354"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Ludewig, J.: Models in software engineering - an introduction. Software and Systems Modelling\u00a02(1) (2003)","DOI":"10.1007\/s10270-003-0020-3"},{"key":"15_CR23","volume-title":"Object-Oriented Analysis and Design","author":"J. Martin","year":"1992","unstructured":"Martin, J., Odell, J.: Object-Oriented Analysis and Design. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"15_CR24","first-page":"75","volume-title":"Modellierung 2002 - Model-lierung in der Praxis - Modellierung fur die Praxis, LNI P-12","author":"H.C. Mayr","year":"2003","unstructured":"Mayr, H.C., Kop, C.: A user centered approach to requirements modeling. In: Glinz, M., Mualler-Luschnat, G. (eds.) Modellierung 2002 - Model-lierung in der Praxis - Modellierung fur die Praxis, LNI P-12, pp. 75\u201386. Springer, Heidelberg (2003)"},{"key":"15_CR25","volume-title":"Object oriented software construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, B.: Object oriented software construction. Prentice-Hall, Englewood Cliffs (1988)"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Richards, D., Boettger, K., Aguilera, O.: A controlled language to assist conversion of use case descriptions into concept lattices. In: Proceedings of 15th Australian Joint Conference on Artificial Intelligence (2002)","DOI":"10.1007\/3-540-36187-1_1"},{"key":"15_CR27","unstructured":"Schupp, S., Krishnamoorthy, M., Zalewski, M., Kilbride, J.: The right level of abstraction - assessing reusable software with formal concept analysis. In: Angelova, G., Corbett, D., Priss, U. (eds.) Foundations and Applications of Conceptual Structures - Contributions to ICCS 2002, pp. 74\u201391. Bulgarian Academy of Sciences (2002)"},{"key":"15_CR28","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Concept lattices in software analysis","author":"G. Snelting","year":"2005","unstructured":"Snelting, G.: Formal Concept Analysis. LNCS (LNAI), vol.\u00a03626. Springer, Heidelberg (2005)"},{"issue":"2","key":"15_CR29","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\u00a05(2), 146\u2013189 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"Snelting, G., Tip, F.: Understanding class hierarchies using concept analysis. ACM Transactions on Programming Languages and Systems, 540\u2013582 (2000)","DOI":"10.1145\/353926.353940"},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"Stachowiak, H.: Allgemeine Modelltheorie. Springer, Wien (1973)","DOI":"10.1007\/978-3-7091-8327-4"},{"key":"15_CR32","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/978-3-642-80098-6_39","volume-title":"Data Analysis and Information Systems: Statistical and Conceptual approaches, Proceedings of GfKl 1995. Studies in Classification, Data Analysis, and Knowledge Organization 7","author":"G. Stumme","year":"1996","unstructured":"Stumme, G.: Attribute exploration with background implications and exceptions. In: Bock, H.H., Polasek, W. (eds.) Data Analysis and Information Systems: Statistical and Conceptual approaches, Proceedings of GfKl 1995. Studies in Classification, Data Analysis, and Knowledge Organization 7, pp. 457\u2013469. Springer, Heidelberg (1996)"},{"key":"15_CR33","first-page":"227","volume-title":"Using Conceptual Structures: Contributions to ICCS 2003","author":"T. Tilley","year":"2003","unstructured":"Tilley, T.: Towards an FCA based tool for visualising formal specifications. In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures: Contributions to ICCS 2003, pp. 227\u2013240. Shaker Verlag, Aachen (2003)"},{"key":"15_CR34","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"A survey of formal concept analysis support for software engineering activities","author":"T. Tilley","year":"2005","unstructured":"Tilley, T., Cole, R., Becker, P., Eklund, P.: Formal Concept Analysis. LNCS (LNAI), vol.\u00a03626. Springer, Heidelberg (2005)"},{"key":"15_CR35","first-page":"213","volume-title":"Using Conceptual Structures: Contributions to ICCS 2003","author":"T. Tilley","year":"2003","unstructured":"Tilley, T., Hesse, W., Duke, R.: A software modelling exercise using FCA. In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures: Contributions to ICCS 2003, pp. 213\u2013226. Shaker Verlag, Aachen (2003)"},{"key":"15_CR36","unstructured":"Unified Modeling Language (UML) 1.5 documentation. OMG documentformal\/03-03-01, as of August 18 (2003)"},{"key":"15_CR37","unstructured":"Vogt, F.: Supporting communication in software engineering: An approach based on formal concept analysis. Technical Report Preprint Nr. 1926, Technische Uni-versitat Darmstadt, Fachbereich Mathematik (1997)"},{"key":"15_CR38","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., Bordat, J.P., Cicchetti, R.: 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)"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11528784_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T03:04:43Z","timestamp":1740539083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11528784_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278917","9783540318811"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/11528784_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}