Incremental Formalization for Informal Architectural Diagramming.

Malvina Latifaj, Jan Carlson, Antonio Cicchetti, Robbert Jongeling, Ifrah Qaisar

Browse the full MODELSWARD paper archive.