Rigorous Open Development Environment for Complex Systems

Troubitsyna, Elena (Ansvarig forskare)
Sere, Kaisa (Ansvarig forskare)
Lilius, Johan (Ansvarig forskare)
Laibinis, Linas (Ansvarig forskare)
Walden, Marina (Ansvarig forskare)

Informationsteknologi

2 Beställd rapport

2 resultat

Filter

2006
Formal Transformation of Platform Independent Models into Platform Specific Models in MDA
Boström, P., Neovius, M., Oliver, I. & Walden, M., 2006, (TUCS Technical Report; vol. 759)
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

Öppen tillgång
Fil
16 Nedladdningar (Pure)
2004
An extension of Event B for developing grid system
Walden, M. & Boström, P., 2004, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 632)
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

Öppen tillgång
Fil
19 Nedladdningar (Pure)