|
|
|
Contact |
|
Publications
1999
-
Algorithmen zur Begriffsanalyse und ihre Anwendung bei Softwarebibliotheken
November 1999 : C. Lindig -
Formale Begriffsanalyse im Software Engineering
Begriffliche Wissensverarbeitung: Methoden und Anwendungen January 1999, pp. 151--175 : C. Lindig, G. Snelting
1998
-
Analysis of Software Variants
Slides for the talk given at the Program Understanding and Software Reengineering Seminar March 1998 : C. Lindig -
Analyse von Softwarevarianten
Computer Science Report 98-04 January 1998 : C. Lindig
1997
-
Assessing Modular Structure of Legacy Code Based on Mathematical
Concept Analysis
International Conference on Software Engineering 1997, pp. 349--359 : C. Lindig, G. Snelting
1995
-
Komponentensuche mit Begriffen
Softwaretechnik '95 October 1995, pp. 67--75 : C. Lindig -
Concept-Based Component Retrieval
IJCAI-95 Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs August 1995 : C. Lindig
1994
-
Inkrementelle, rückgekoppelte Suche in Software-Bibliotheken
Computer Science Report 94-07 November 1994 : C. Lindig -
STYLE - A Practical Type Checker for Scheme
Workshop Semantikgestützte Analyse, Entwicklung und Generierung von Programmen der GI-Fachgruppe 2.1.3. March 1994, pp. 257--269 : C. Lindig