@incollection{tilley2005formal,
  abstract = {Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This paper presents a broader overview by describing and classifying academic papers that report the application of FCA to software engineering. The papers are classified using a framework based on the activities defined in the ISO12207 Software Engineering standard. Two alternate classification schemes based on the programming language under analysis and target application size are also discussed. In addition, the authors work to support agile methods and formal specification via FCA is introduced.},
  acmid = {2137755},
  address = {Berlin, Heidelberg},
  author = {Tilley, Thomas and Cole, Richard and Becker, Peter and Eklund, Peter},
  chapter = {A Survey of Formal Concept Analysis Support for Software Engineering Activities},
  editor = {Ganter, Bernhard and Stumme, Gerd and Wille, Rudolf},
  interhash = {cc08f431729dfbf3d1c23cb0eb07201e},
  intrahash = {5343a1ed9ea7c5492afbcf198fae7caa},
  isbn = {3-540-27891-5, 978-3-540-27891-7},
  numpages = {22},
  pages = {250--271},
  publisher = {Springer-Verlag},
  title = {Formal Concept Analysis},
  url = {http://dl.acm.org/citation.cfm?id=2137739.2137755},
  year = 2005
}

@proceedings{stumme00begriffliche,
  address = {Heidelberg},
  comment = {alpha},
  editor = {Stumme, Gerd and Wille, Rudolf},
  interhash = {fd1a01ab39d86aa72487bc68bfd4d887},
  intrahash = {da312496324083ee022682d70fdb22a1},
  publisher = {Springer},
  title = {Begriffliche Wissensverarbeitung -- Methoden und Anwendungen},
  url = {http://www.springer.com/dal/home/generic/search/results?SGWID=1-40109-22-2058937-0},
  year = 2000
}

@article{snelting96reengineering,
  author = {Snelting, Gregor},
  date = {2003-11-26},
  ee = {http://doi.acm.org/10.1145/227607.227613},
  interhash = {38022fd9995667456d7ca4328c2de7f3},
  intrahash = {ae94cf6197736f92e0f75049c351f5ab},
  journal = {ACM Trans. Softw. Eng. Methodol.},
  number = 2,
  pages = {146-189},
  title = {Reengineering of Configurations Based on Mathematical Concept Analysis},
  url = {http://dblp.uni-trier.de/db/journals/tosem/tosem5.html#Snelting96},
  volume = 5,
  year = 1996
}

@article{snelting00understanding,
  author = {Snelting, Gregor and Tip, Frank},
  date = {2003-11-26},
  ee = {http://doi.acm.org/10.1145/353926.353940},
  interhash = {cee88f12999e9802773570c629b974b4},
  intrahash = {c8ee8326144276244791667e528b1882},
  journal = {ACM Trans. Program. Lang. Syst.},
  number = 3,
  pages = {540-582},
  title = {Understanding class hierarchies using concept analysis.},
  url = {http://dblp.uni-trier.de/db/journals/toplas/toplas22.html#SneltingT00},
  volume = 22,
  year = 2000
}

@inbook{godin05formal,
  author = {Godin, Robert and Valtchev, Petko},
  booktitle = {Formal Concept Analysis: Foundations and Applications},
  date = {2005-07-20},
  editor = {Ganter, Bernhard and Stumme, Gerd and Wille, Rudolf},
  ee = {http://dx.doi.org/10.1007/11528784_16},
  interhash = {b0abe2b4aac914c6e24e1cbb187e563b},
  intrahash = {ba9399c9a44ed9fb44dcd34360bca38d},
  pages = {304-323},
  publisher = {Springer},
  series = {LNAI},
  title = {Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development},
  url = {http://dblp.uni-trier.de/db/conf/fca/fca2005.html#GodinV05},
  volume = 3626,
  year = 2005
}

@inbook{tilley05survey,
  author = {Tilley, Thomas Alan and Cole, Richard Jeffrey and Becker, Peter and Eklund, Peter Werner},
  booktitle = {Formal Concept Analysis: Foundations and Applications},
  editor = {Ganter, Bernhard and Stumme, Gerd and Wille, Rudolf},
  interhash = {a3a35a3b8b9ac35f2be1949df9f007d7},
  intrahash = {e4fb96788d548a25417c5d0e056bff8a},
  pages = {250-271},
  publisher = {Springer-Verlag},
  series = {LNAI},
  title = {A Survey of Formal Concept Analysis Support for Software Engineering Activities},
  volume = 3626,
  year = 2005
}

@inbook{snelting05concept,
  author = {Snelting, Gregor},
  booktitle = {Formal Concept Analysis},
  date = {2005-07-20},
  editor = {Ganter, Berhard and Stumme, Gerd and Wille, Rudolf},
  ee = {http://dx.doi.org/10.1007/11528784_14},
  interhash = {79d91bdc9c179ec95a0e20b9ba7f242e},
  intrahash = {4cb33421727c7fd12bc004c226d7aa42},
  pages = {272-287},
  publisher = {Springer},
  series = {LNAI},
  title = {Concept Lattices in Software Analysis},
  url = {http://dblp.uni-trier.de/db/conf/fca/fca2005.html#Snelting05},
  volume = 3626,
  year = 2005
}

@inbook{hesse04formal,
  author = {Hesse, Wolfgang and Tilley, Thomas Alan},
  booktitle = {Formal Concept Analysis: Foundations and Applications},
  editor = {Ganter, Bernhard and Stumme, Gerd and Wille, Rudolf},
  interhash = {54a13f608055c749302314b5c092fcc0},
  intrahash = {e1574155f034b66e6193cda6088481ab},
  pages = {288-303},
  publisher = {Springer},
  series = {LNAI },
  title = {Formal Concept Analysis used for Software Analysis and Modelling},
  volume = 3626,
  year = 2005
}