Author:
Saxon John T.,Bordbar Behzad,Akehurst David H.
Publisher
Springer International Publishing
Reference27 articles.
1. Aizenbud-Reshef, N., et al.: Model traceability. IBM Systems Journal 45 (2006)
2. Lecture Notes in Computer Science;DH Akehurst,2006
3. Alwanain, M., Bordbar, B., Küster, J., Bowles, F.: Automated Composition of Sequence Diagrams via Alloy. MODELSWARD (2014)
4. Lecture Notes in Computer Science;B Bordbar,2007
5. Bowles, J., Meedeniya, D.: Formal Transformation from Sequence Diagrams to Coloured Petri Nets. In: 2010 17th Asia Pacific Software Engineering Conference (APSEC) (2010)