Återgå till huvudnavigering
Återgå till sök
Gå direkt till huvudinnehållet
Åbo Akademi Hem
English
Svenska
Suomi
Hem
Personer
Forskningsenheter
Projekt
Publikationer
Dataset
Priser
Aktiviteter
Tidningsurklipp
Genomslag
Kurser
Utrustning
Sök per experter, namn eller tillhörighet
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
Översikt
Publikationer
(2)
Projekt
(1)
Forskningsresultat
Publikationer per år
2004
2004
2006
2006
2
Beställd rapport
Publikationer per år
Publikationer per år
2 resultat
Titel
(stigande)
Publikations år, titel
Titel
(fallande)
Typ
Sökresultat
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
Grid Computing
100%
Events
75%
Distributed Systems
50%
Proof Obligation
25%
Computational Grid
25%
19
Nedladdningar (Pure)
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
Simulation Mode
100%
Fault Tolerance
14%
Unified Modeling Language
14%
Transformations
14%
Formal Framework
7%
16
Nedladdningar (Pure)