Automated Composition of Sequence Diagrams via Alloy.

Mohammed Alwanain, Behzad Bordbar, Juliana Kster Filipe Bowles

Browse the full MODELSWARD paper archive.