====== Design decisions ======

    * [[:devel:design:model|Mathematical and visual layers]]
    * [[:devel:design:reference|Naming of model components]]
    * [[:devel:design:plugin|Plugin structure]]
    * [[:devel:design:compatibility_manager|Compatibility manager]]
    * [[:devel:design:observer|Observers of the model structure]]
    * [[:devel:design:model_conversion|Generic approach to model conversion]]

===== Verification =====
    * [[:devel:verification:1way_conformation|1-way conformation]]
    * [[:devel:verification:refinement|Refinement]]

===== Conceptual =====
    * [[:devel:design:expressions|Concept of expressions]]

===== Analysis tools =====
    * [[:devel:design:objectaim|ObjectAID UML Explorer]]