70
ÅboAkademiUniversity2014/2015
INFORMATION TECHNOLOGIES
This course aims to give an understanding of themethods
and techniques when applyingmathematical calculations
to typically large amounts of data. Wewill useMatlab and
Octaveto implementsuchmehtodsandstudytheproperties
of thesemethodswhenusing finite accuracy floatingpoint
number representations.
Course literature:AlfioQuarteroniandFaustoSaleri:"Scientific
ComputingwithMatlabandOctave". Seealso:
Logic forComputerScience
456307.0
5credits
Advanced (Master's /graduate) level
Lecturedcourse,exercises
Offered:Spring2015
Lecturer: PatrickSibelius
Aimandcontent: Theaimof thecourse is toprovide thestu-
dentswithabasicknowledgeof traditional formal semantics
for propositional logic and First-order predicate logic also
includingsomemodal logic.Further, toprovidesomeunder-
standingof First-order properties and their representability
inTuringmachines.
Themaincontentsof thecourseare:
.
Formal semantics forpropositional logic
.
Set theoretical semantics for First-orderpredicate logic
.
Somemodal logic
Prerequisites: Logic, formal languagesandautomata
Cryptographyandnetworksecurity
456506.0
5credits
Advanced (Master's /graduate) level
Lecturedcourse
Offered:Spring2015
Lecturer: VladimirRogojin
Aim: After completing thecourse the studentwill knowand
understand theprinciples andpracticeof cryptographyand
network security.
Learningobjectives:Aftercompletingthecoursethestudent
willknowandunderstandtheprinciplesandpracticeofcryp-
tographyandnetwork security.
Contents: In this coursewe cover principles andpractice of
cryptography and network security: classical systems, sym-
metricblockciphers(DES,AES,othercontemporarysymmetric
ciphers), linearanddifferentialcryptanalysis,perfectsecrecy,
public-keycryptography,RSA),cryptographicprotocols,hash
functions, authentication, keymanagement, key exchange,
signatureschemes,emailandwebsecurity, viruses,firewalls,
andother topics.
Target group / the course is aimed at: Computer Science:
Mainly studentsonmaster's level but thecoursecanalsobe
completedonbachelor's level.
Course literature:
Stallings,W.: PrenticeHall Edition/year: 2006: Cryptography
andNetworkSecurity. PrinciplesandPractice.
Real-TimeSystems
453306.0
5credits
Advanced (Master's /graduate) level
Lecturesandexercises
Offered:Spring2015
Contact: JohanLilius
Lecturer: SimonHolmbacka
Aim and contents: The student learns to understand the
demands for real-time systems. After a completed course
the student has acquired the skills needed to analyze the
real-time and resource constraints of a real-time system
design toascertain theconsistencyandschedulabilityof the
system.Thestudenthasacquiredtheskillsneededtosuggest
changes to the specification or implementation strategy to
ensurethatthereal-timeconstraintsaresatisfied.Thestudent
has acquired skillsneeded todesign systems such that they
satisfy real-time requirements.
Teachingmethods: Lectures inclass, Lab sessions
Entry requirements: Operating system, Programming inC
Targetgroup:Master'sstudents,relatedtoembeddedsystems
Formof assessment:Writtenexam
Course literature:
JaneW. S. Liu-Real-TimeSystems (Book)
Introduction toComputerGraphics
455301.0
5credits
Advanced (Master's /graduate) level
Lecturedcourse
Offered:Spring2015
Lecturer: JanWesterholm
Coursewebsite:
Course literature:
John F. Hughes, Andries van Dam, Morgan McGuire and
DavidF.
Sklar:ComputerGraphics:PrinciplesandPractices,3rdedition
SoftwareQuality
456503.0
5credits
Advanced level
Lecturedcourse
Offered:Spring2015
Lecturer: ElenaTroubitsyna
Course description: The course gives an overview of tech-
niques in software quality assurance and basic ideas in
measurement theory
Learningobjectives:
.
understand the roleof requirements
.
understand the roleof formal specification
.
understand the roleof formal verification
.
understand the roleof testing
.
understandtheadvantagesofmodel-drivenengineering
for softwarequalityassurance
.
Understand the roleandusageofmetrics
.
Understandmetric theoryandmodels
.
How toquantify softwaredevelopment resources, pro-
cesses, andproducts
.
Understand softwareandprocessmetrics
Coursewebsite:
Course literature:
FentonN. E. andS. L. Pfleeger: SoftwareMetrics - A rigorous
&PracticalApproach. InternationalThomsonComputerPress
(secondedition), 1997.
Sommerville, Ian: Softwareengineering. Pearson, 2011.
SoftwareSafety
456501.0
5credits
Advanced (Master's /graduate) level
Lecturedcourse
Offered:Spring2015,Period4
Lecturer: ElenaTroubitsyna
Coursedescription: Thecoursegivesanoverviewof issues in
thedeveloping software for safety-critical systems.
The topics covered in thecourse include:
.
Programmingcontrol systemsat anapplication level
