Rigorous Open Development Environment for Complex Systems

Troubitsyna, Elena (Vastuullinen tutkija)
Sere, Kaisa (Vastuullinen tutkija)
Lilius, Johan (Vastuullinen tutkija)
Laibinis, Linas (Vastuullinen tutkija)
Walden, Marina (Vastuullinen tutkija)

Information Technology

2 Tutkimusraportti

2 tulosta

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; Vuosikerta 759)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
16 Lataukset (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; Vuosikerta 632)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
16 Lataukset (Pure)