STAIRS towards formal design with sequence diagrams.

Øystein Haugen Knut Eilif Husa Ragnhild Kobro Runde Ketil Stølen

Published in: Softw. Syst. Model. (2005)

Keyphrases

sequence diagrams
data sets
databases
intermediate representation
fine grained
embedded software
uml models