Skip to content
Architecture mining

Architecture mining

Foster architectural evolution through software operation data

Menu

  • Projects
    • Feature-based Architecture Recovery by Dialogue Extraction
    • Research and project ideas
  • Publications
  • Tools
    • HUSACCT
    • MicADO
    • ISModeler
  • Team
    • Jan Martijn van der Werf
    • Students

Month: April 2020

First order logic and set theory

In this tutorial, we will guide you through the principles of using first-order logic (FOL) and set theory. We assume you have a basic knowledge of propositional logic. During the tutorial, we also explain the language used in the tool

Jan Martijn van der Werf April 1, 2020April 1, 2020 Tutorial Read more

Archives

  • December 2021
  • April 2020
  • November 2018
  • October 2018
  • September 2018
  • May 2018
  • April 2018
  • March 2018
  • February 2018
  • November 2017
  • September 2017
  • August 2017

Meta

  • Log in
Copyright © 2025 Architecture mining. Powered by WordPress. Theme: Spacious by ThemeGrill.