Rigorous Open Development Environment for Complex Systems

Troubitsyna, Elena (Principal Investigator)
Sere, Kaisa (Principal Investigator)
Lilius, Johan (Principal Investigator)
Laibinis, Linas (Principal Investigator)
Walden, Marina (Principal Investigator)

Information Technology

2 Commissioned report

2 results

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; vol. 759)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
25 Downloads (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; no. 632)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
28 Downloads (Pure)