A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.

Lucas Lima, Juliano Iyoda, Augusto Sampaio

Browse the full MODELSWARD paper archive.