Skip to main navigation
Skip to search
Skip to main content
Åbo Akademi University Home
English
Svenska
Suomi
Home
Persons
Research units
Projects
Publications
Datasets
Prizes
Activities
Press/Media
Impacts
Courses
Equipment
Search by expertise, name or affiliation
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
Overview
Publications
(2)
Projects
(1)
Research output
Research output per year
2004
2004
2006
2006
2
Commissioned report
Research output per year
Research output per year
2 results
Title
(ascending)
Publication Year, Title
Title
(descending)
Type
Search results
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)
Research output
:
Book/Journal/Report
›
Commissioned report
›
Professional
Open Access
File
Grid Computing
100%
Events
75%
Distributed Systems
50%
Proof Obligation
25%
Computational Grid
25%
19
Downloads (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)
Research output
:
Book/Journal/Report
›
Commissioned report
›
Professional
Open Access
File
Simulation Mode
100%
Fault Tolerance
14%
Unified Modeling Language
14%
Transformations
14%
Formal Framework
7%
16
Downloads (Pure)