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)

Informaatioteknologia

2 tulosta

Suodatin

2006
Formal Transformation of Platform Independent Models into Platform Specific Models in MDA
Boström, P., Neovius, M., Oliver, I. & Walden, M., 2006, Turku Centre for Computer Science. (TUCS Technical Report; Vuosikerta 759)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
46 Lataukset (Pure)
2004
An extension of Event B for developing grid system
Boström, P. & Walden, M., 2004, Turku Center for Computer Science (TUCS). (TUCS Technical Report; nro 632)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
50 Lataukset (Pure)