Siirry päänavigointiin
Siirry hakuun
Siirry pääsisältöön
Åbo Akademi Etusivu
English
Svenska
Suomi
Etusivu
Henkilöt
Tutkimusyksiköt
Projektit
Julkaisut
Tietoaineistot
Palkinnot
Aktiviteetit
Lehtileikkeet
Vaikutukset
Kurssit
Laitteet
Haku asiantuntemuksen, nimen tai kytköksen perusteella
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
Yleiskatsaus
Julkaisut
(2)
Projektit
(1)
Tutkimustuotos
Julkaisuja vuodessa
2004
2004
2006
2006
2
Tutkimusraportti
Julkaisuja vuodessa
Julkaisuja vuodessa
2 tulosta
Nimi
(laskeva)
Julkaisuvuosi, teoksen nimi
Nimi
(nouseva)
Tyyppi
Hakutulokset
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
Simulation Mode
100%
Fault Tolerance
14%
Unified Modeling Language
14%
Transformations
14%
Formal Framework
7%
16
Lataukset (Pure)
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
Grid Computing
100%
Events
75%
Distributed Systems
50%
Proof Obligation
25%
Computational Grid
25%
19
Lataukset (Pure)