formal concept analysis of procedure call relations l.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Formal Concept Analysis of Procedure Call Relations PowerPoint Presentation
Download Presentation
Formal Concept Analysis of Procedure Call Relations

Loading in 2 Seconds...

  share
play fullscreen
1 / 12
loretta

Formal Concept Analysis of Procedure Call Relations - PowerPoint PPT Presentation

203 Views
Download Presentation
Formal Concept Analysis of Procedure Call Relations
An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

  1. Formal Concept AnalysisofProcedure Call Relations Christopher Taylor

  2. Formal Concept Analysis • Foundations • notion of “concept” in logic(19th Century) • Lattice Theory (~1940’s) • Introduced by Rudolf Wille (1979) • A discrete technique for data analysis and knowledge processing • more suited to problems in our discipline (until law of large numbers takes over)?

  3. Example

  4. Quantum Scheme Interpreter

  5. Finite Automaton Simulator

  6. Future Work • Analyze larger systems (tool limitation) • Compare more systems with similar structure • Automate the concept lattice generation • Analyze some of the deeper lattice properties • what do they tell us about the system structure • Compare concept analysis to other methods • Can knowledge extraction be automated?

  7. Related Work • Assessing Modular Structure of Legacy Code (Christian Lindig and Gregor Snelting) • tried to find module in old systems • Software Reengineering (Gregor Snelting) • further work on modularizing legacy code • All anaylsis is done by manual inspection of generated lattice (if you can’t see it ...)

  8. References • Formal Concept Analysis: Mathematical Foundations. Bernhard Ganter and Rudolf Wille. Springer-Verlag 1999 • Software Reengineering Based on Concept Lattices. Gregor Snelting. ICSE 2000 • Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. Christian Linding and Gregor Snelting. ICSE 1997