1 Formal Notations and Tools for addressing both Safety and Usability concerns for Interactive Systems Philippe Palanque LIIHS-IRIT University Paul Sabatier.
Documenting Software Architectures These notes are my personal view of the concepts presented on Duran-Limon’s paper: Documenting Software Architectures:
Software Engineering Methods and Technologies by Alfonso Fuggetta and Laura Sfardini
Harmony: An Approach and Tool for Combining Semi-formal and Formal Notations in Software Specification