69
ÅboAkademiUniversity2014/2015
ÅBO CAMPUS
ability issues in complex systems, resource availability, but
alsoapplications ineconomy, chemistry, andsocial sciences.
Target group: This course is primarilymeant forMaster and
PhD students in computer science, computer engineering,
information systems, andappliedmathematics.
Content:
.
Computationalmodeling: generalities
.
Basicmodeling techniques: modeling change, propor-
tionalityandgeometric similarity
.
Model fitting
.
Modelingwithordinarydifferential equations
.
Basic numerical techniques for ODE-based models:
steady state analysis, sensitivity analysis, flux control
analysis
.
Parameter estimationmethods
.
Modelingwith stochasticprocesses
Coursebook: F.R.Giordano,M.D.Weir,W.P. Fox:Afirstcourse
inmathematicalmodeling, Thomson, 2003.
Components: 28h lectures, final examination.
Advancedcomputationalmodeling
456513.0
5credits
Advanced (Master's /graduate) level
Lecturedcourse
Offered:Autumn2014
Lecturer: IonPetre
Aim and content: The course will explore some advanced
techniques forcomputationalmodeling, includingmodeling
withPetri nets, processcalculi, rule-based formalisms,mem-
branesystems.Wealsodemonstrateseveralcomputer-based
environments formodeling.Afterthecoursethestudentswill
understand the principles of computational modeling and
will be able to write, simulate, and analyzemedium-sized
computationalmodels.
SoftwareArchitectures
456502.0
5credits
Advanced (Master's /graduate) level
Lecturedcourse
Offered:Autumn2014
Lecturer: LuigiaPetre
Aimandcontent:Thecourseaimsatteachingstudentshowto
design,understand, andevaluatesystemsatanarchitectural
level of abstraction. After the course the student shouldbe
able to recognize different architectural styles, describe an
architectureaccurately, andgenerateandevaluatearchitec-
tural alternatives.
Webpage:
/
NetworkSoftware
456504.0
5credits
Advanced (Master's /graduate) level
Seminarcourse
Offered:Autumn2014
Lecturer: LuigiaPetre
Aimandcontent: Thenetworksareaubiquitouscomponent
ofoursociety,withahugerangeofsoftwareapplicationssuch
as (cloud-) sharing and communication,mobile computing,
context-dependency, homenetworking, etc.
However,networksarenot ideal and their resourcesaresub-
jecttooverloads, failures,energyshortage,andnot inthe least
to security leaks. Theaimof this course is to inspect, onone
hand, thepervasiveness of today's networking applications
and,ontheotherhand, thechallengesthatthey face inorder
to functionproperly.
Topass the course, the following three tasks need tobe ac-
complished:
a) Writingapaperaboutatopicagreedduringthefirstmeet-
ings (40%of thegrade)
b) Reviewing twopaperswrittenby other students (20%of
thegrade)
c) Preparing apresentationof thepaper anddiscussing the
paperwith theother students (40%of thegrade)
Webpage:
/
ProgramDerivation
456505.0
5credits
Advanced (Master's /graduate) level
Lecturesandexercises
Offered:Autumn2014
Lecturer:MarinaWaldén
Target audience:Master level students (4thyear and later)
Aim and content: The aim of the course is to teach how to
derive correct programs from formal specifications using
tool support.
Themaincontentsof thecourseare:
.
Programderivation
.
Basic knowledge of the tool supporting program deri-
vation
.
Proving thecorrectnessof thederivation
.
System implementation
After completing thecourse, the student shouldbeable to
understand the ideaofprogramderivationanddevelopa
correct implementation froma formal specification.
Teachingmethods: Lecturesandexercises
Entry requirements: SpecificationMethods
Targetgroup:Master level students (4thyear and later)
Formof assessment: Final project
Course literature:
SteveSchneider. TheB-Method: An introduction. 2001.
Jean-RaymondAbrial.Modelling inEvent-B - Systemand
SoftwareEngineering. CambridgeUniversityPress, 2010.
ParallelProgramming
455303.0
5credits
Advanced (Master's /graduate) level
Lecturedcourse
Offered:Autumn2014
Lecturer:MatsAspnäs
Target audience:Master level students (4thyear and later)
Aimandcontent:Thecoursepresentsparallelprogramming,
bothon sharedmemory systems using threads andondis-
tributedmemory systems usingmessage passing. Parallel
solutions todifferent typesofproblems inscientificcomput-
ingarealsopresented.
Themaincontentsof thecourseare:
.
Parellel computer architectures
.
Parallel programdesign
.
Parallel programmingwith sharedmemory
.
Parallel programmingwithmessagepassing
.
Examples of parallel solutions of different types of sci-
entificproblems
Introduction toScientificComputing
455305.0
5credits
Advanced (Master's /graduate) level
Lecturedcourse
Offered:Spring2015
Lecturer: JanWesterholm
