informalin.github.io

Informal and Formal Artifacts Linker (InFormALin)

Currently, the InFormALin approach covers three sub-projects:

• Architecture Documentation Consistency (ArDoCo)
• Architecture Consistency for Security Documentation
• Linking Sketches and Software Architecture (LiSSA)

Approach (Overview)