Ämnen, fristående kurser Datavetenskap Informatik Tillämpad informationsteknologi Tillämpad IT, Software Engineering and Management

Informationstekniken är idag en förutsättning för att mycket i vårt vardagsliv ska fungera. Utan den skulle vi inte kunna få ut pengar ur automaten, beställa biobiljetter, prata i mobiltelefon eller använda internet. I framtiden kommer IT-tekniken att ta en ännu större plats i våra liv. Vill du vara med och utveckla den? På IT-universitet, som är integrerat mellan Göteborgs Universitet och Chalmers tekniska högskola, kan du till exempel bli systemutvecklare, software engineer och IT-projektledare. Ämnen, fristående kurser Datavetenskap Informatik Tillämpad informationsteknologi Tillämpad IT, Software Engineering and Management Program, avancerad nivå Computer Science, Master s Programme IT Management, Master s Programme Master in Language Technology Software Engineering and Management, Master s Programme Program, grundnivå Datavetenskapligt program Software Engineering and Management, Bachelor s Programme Systemvetenskap: IT, människa och organisation, kandidatprogram Se även Pedagogik med inriktning mot IKT och lärande Lärarprogrammet C:Art:Media, Master s Programme Lärande, kommunikation och informationsteknologi 281

kurser, datavetenskap DATAVETENSKAP Institutionen för data- och informationsteknik, Rännvägen 6B, 031-772 1000, www.chalmers.se/cse Tina Ahlström Gustafsson, 031-772 1004 tinaah@chalmers.se Är du intresserad av avancerad problemlösning? Gillar du datorer och matematik och vill vara med och utveckla IT i framtiden? Då är datavetenskap något för dig. Inom datavetenskap erbjuder vi en forskningsnära kurser inom en rad områden; programspråk, algoritmer, programanalys, databaser, logiska metoder, verifiering, tillförlitlighet, säkerhet, distribuerade system, datakommunikation, digitala system, datorarkitektur, software engineering, datorgrafik och interaktionsdesign. Vissa områden handlar om beräkningsproblem där du vill ha ett visst givet resultat, som t.ex. inom datorgrafik. Områden som t.ex. algoritmer fokuserar istället på beräkningsbarhet där det inte finns några exakta svar. Det som gör datavetenskap så intressant är att det numera är grundläggande för många vardagliga ting i vårt samhälle. Brist på insikt i hur man implementerar kod t.ex. kan leda till haverier som påverkar ett mycket stort antal människor till mycket stora kostnader. Behovet är stort idag av välutbildade personer med specialkompetens inom datavetenskap och behovet förväntas öka kraftigt i framtiden. Vi har även ett stort antal kurser för dig som siktar på specialisering och vidareutbildning. Grundnivå Computer Communication, 7,5 hp (DIT420) In the study of protocols, we start with application level protocols enabling students to start with more familiar paradigms in the context of applications that we use regularly. Moving to lower layers later on, we have the possibility to gradually uncover network services, their functionality and the ease/ difficulty for achieving them. Topics covered include: networking applications, content distribution, HTTP, SMTP, TCP, UDP, IP, switching, routing, mobile IP, local area networks, etc. Förkunskapskrav: A completed the first year at the Computer Science Bachelors programme or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18606 anm-kod GU-28606 Concurrent Programming, 7,5 hp (DIT390) Concurrent programming plays a vital role in systems where many events appear to occur simultaneously. This course aims to provide an introduction to the problems common to concurrent systems such as operating systems, distributed systems and real-time systems. After the course, you should be able to apply practical knowledge of the programming constructs and techniques offered by modern concurrent programming languages. Förkunskapskrav: A completed the first year at the Computer Science Bachelors programme or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18605 anm-kod GU-28605 Databases, 7,5 hp (DIT620) The course covers the basic principles of database systems as seen by users, application programmers and database administrators. A laboratory assignment develops these topics as a running example throughout the course. These include programming in SQL, as seen by a user querying or modifying an existing database, by a database designer, and by an application programmer invoking SQL from a host language. Förkunskapskrav: A completed the first year at the Computer Science Bachelors programme or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18609 anm-kod GU-28609 Datastrukturer, 7,5 hp (DIT960) Efter avklarad kurs ska du förstå och använda grundläggande datastrukturer som stackar, köer, tabeller och grafer, använda de algoritmer som är kopplade till effektiva datastrukturer samt förstå varför dessa algoritmer är korrekta, analysera effektiviteten hos dem, göra motiverade val mellan olika datastrukturer för olika tillämpningar. Förkunskapskrav: Kurserna Introduktion till funktionell programmering, DIT011, Objektorienterad programvaruutveckling samt DIT950 Programming, advanced course eller motsvarande skall vara avklarade. anm-kod GU-28614 Computer System Engineering, 7,5 hp (DIT122) The course aims to convey how a modern computer system is constructed and how its hardware modules interact with each other and with low-level software. Performance issues are particularly emphasized, since many design decisions are made to maximize performance at a given cost, or to minimize cost at a given performance level. Förkunskapskrav: Requirement for the course is to have successfully completed one year of an education aiming at a bachelor degree within Computer Science or equivalent. The course Machine oriented programming is also required. anm-kod GU-28615 Digital- och datorteknik, 7,5 hp (DIT790) Dagens tekniska system innehåller ofta någon form av digitalt elektroniskt system. Vanligen är det ett datorsystem med en eller flera mikroprocessorer kombinerade med minnen och andra digitala delsystem för exempelvis övervakning, styrning och annan kommunikation. Förståelse för digitala systems roll och arbetssätt är viktig för studenter inom flera områden. Förkunskapskrav: Grundläggande behörighet samt Ma D. Dessutom krävs en programmeringskurs på högskolenivå. anm-kod GU-18610 anm-kod GU-18611 anm-kod GU-28611 Distribuerade applikationer, 7,5 hp (DIT125) I kursen presenterar ett antal tekniker som används vid utveckling av distribuerade applikationer, så som XML teknologier, HTML, CSS, JavaScript, AJAX, Java enterprise edition, Webservices, m.m. Kursen innehåller en stor del praktisk arbete i utvecklingsmiljöer och servermiljöer såsom Eclipse, Netbeans, Tomcat och Glassfish. Problem med konfigurering, idriftsättning och exekvering av distribuerade applikationer ingår som en naturlig del i kursen. Förkunskapskrav: Ett avklarat första år på Datavetenskapligt program eller motsvarande samt grundläggande kunskaper i datakommunikation och objekt-orienterad systemutveckling. anm-kod GU-18602 Finite Automata Theory and Formal Languages, 7,5 hp (DIT321) Finite automata are basic mathematical models of some physical systems. The theory of finite automata is fundamental in computer sciences, and is becoming more and more important. Besides having direct concrete applications, it is mathematically simple and elegant. It provides ideal illustrations of basic notions in mathematics (set theory, proof by induction). Förkunskapskrav: Having successfully completed 22,5 credits of computing science and 22,5 credits of mathematics of an education aiming at a bachelor degree within Computer Science or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-28616 Eventuella änddringar i katalogen hittar du på vår webbplats, www.utbildning.gu.se 282

kurser, datavetenskap IT Grundläggande software engineering, 7,5 hp (DIT132) Software engineering innebär att ersätta ad hocmetoder med ett organiserat ingenjörsmässigt arbetssätt. Kursen lär ut ett systematiskt, disciplinerat och kvantifierbart arbetssätt för utveckling, drift och underhåll av stora programsystem. Kursen är en processinriktad översiktskurs som spänner över en mängd discipliner och syftar till att ge dig ett ramverk för din framtida professionella karriär samt en tydlig professionell identitet som programvaruutvecklare. Förkunskapskrav: Kurserna DIT011, Objektorienterad programvarutveckling och DIT211, Programmeringsprojekt eller motsvarande godkända. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18603 anm-kod GU-28603 Human Computer Interaction, 7,5 hp (DIT340) The course consists of both theoretical and practical parts. industrial applications. Theories include mainly the following subjects: Human Perception and Cognition, Interaction theories, Task Analysis methods, Interaction Design theories and design process, Usability principle and Evaluation Techniques, Multiemodal Interaction, Ubiquitous Computing, Augmented and Tangible User Interfaces, and Collaboration and Groupware. The practical part consists of hands-on laboratory exercises. Förkunskapskrav: A programming course. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-28617 Introduktion till funktionell programmering, 7,5 hp (DIT440) Detta är en grundläggande kurs i programmering i det funktionella programmeringsspråket Haskell. Du lär dig flera viktiga allmänna programmeringstekniker: modellering med datatyper, rekursion, specifikation och testning av program, abstraktion och generalisering med hjälp av polymorfa typer och högre-ordningens funktioner, samt strukturering av program med moduler och separation av sidoeffekter. Förkunskapskrav: Grundläggande behörighet samt Ma D. (områdesbehörigheter 8, undantag ges för Fy B och Ke A). Urval: Betyg (34 %), högskoleprov (33 %) och högskolepoäng (33 %) anm-kod GU-18607 Maskinorienterad programmering, 7,5 hp (DIT151) Det finns många situationer där datorn/datorsystemet behöver programmeras i ett språk som ligger nära processorn (maskinen). I synnerhet gäller det vid konstruktion av inbyggda system som i sitt arbete skall övervaka och/eller påverka övrig utrustning i det tekniska systemet. Förståelse för såväl datorsystemet som dess programmering är viktig för studenter på flera utbildningsprogram. Förkunskapskrav: Kurserna DIT790 Digitaloch datorteknik eller motsvarande samt DIT011 Objektorienterad programvaruutveckling eller motsvarande godkända. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18604 anm-kod GU-28604 Objektorienterad programvaruutveckling, 7,5 hp (DIT011) Denna kurs ger dig grundläggande kunskaper i objektorienterad programmering. Efter genomgången kurs kan du använda klasser, objekt, variabler, metoder, imperativa styrstrukturer, subklasser och arv, använda standardklasser, t.ex. grafiska gränssnitts bibliotek och containerklasser, konstruera enkla väl strukturerade program utifrån en given uppgift, tilllämpa ett givet designmönster och förklara polymorfism, gränssnitt och felhanteringsmekanismen. Förkunskapskrav: Grundläggande behörighet samt Ma D eller godkänd Introduktion till funktionell programmering (DIT440). anm-kod GU-18600 Matematisk modellering, 7,5 hp (DIT990) Med noggrant utvalda övningsuppgifter lär denna kurs ut matematisk modellering och problemlösning, med syftet att utveckla studentens förmåga att lösa verkliga problem med matematikens hjälp. Övningsuppgifterna är tagna från datavetenskap och traditionella ingenjörsämnen, liksom från ekonomi, medicin och spel. Förkunskapskrav: Ett avklarat första år på datavetenskapligt program eller motsvarande. anm-kod GU-28618 Operating Systems, 7,5 hp (DIT400) You will get an introduction to the design, algorithms and implementation of operating systems. Some of the topics are: concurrent processes, deadlocks, memory management techniques, virtual memory, processor scheduling, disk scheduling, file systems, distributed file systems and micro kernels. The course is a component of computer science and engineering knowledge and a vital basis for understanding further on networks, parallel and distributed systems organization and programming. Förkunskapskrav: A completed the first year at the Computer Science Bachelors programme or equivalent, specifically the course DIT390, Concurrent Pragramming is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-28619 Programmeringsprojekt, 7,5 hp (DIT211) Efter genomgången kurs ska du kunna; medverka i ett mindre programutvecklingsprojekt som följer en specificerad utvecklingsprocess; utforma dokument som kravspecifikation, systemdesign med användning av föreskrivna metoder, välja och nyttja lämpliga hjälpmedel för mindre programutvecklingsprojekt, såsom programutvecklingsmiljöer och versionshanteringssystem, ha stärkt sin förmåga inom och erfarenhet av muntlig och skriftlig framställning Förkunskapskrav: Avklarat första år på Datavetenskapligt program, kandidatprogram eller motsvarande. anm-kod GU-28620 Programming, Advanced Course, 7,5 hp (DIT950) Kursen behandlar principer för objektorienterad programmering och design. Avancerade programmeringstekniker såsom dataabstraktion, gränssnitt, arv, polymorfism, generiska typer, trådar, m.m, presenteras. Grundläggande designproblem och tekniker presenteras exempelvis invarianter och tillstånd, modularitet, beroenden och designmönster. Förkunskapskrav: The requirement for the course is to have successfully completed the first semester of the Computer Science Bachelor education or equivalent. anm-kod GU-28621 Programming Languages, 7,5 hp (DIT229) You will learn about grammars when writing the syntax analysis and about type systems when implementing the type checker. When implementing the interpreter and compiler you will learn about practical implementation concerns as well as the theory of formal semantics. By experimenting with language extensions. You will get an insight into goo and bad programming designs. Förkunskapskrav: A successfully completed first year at the Computer Science Bachelor s programme or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-28622 Testing, Debugging and Verification, 7,5 hp (DIT082) The main aim of the course is to provide a basic understanding for techniques that cope with errors in programs. Reoccurring themes are a) the identification of errors, b) their analysis, and c) their removal. The course also provides an understanding of systematic ways to convince oneself that a program unit really does what it should. In the course you will also learn how to use precise methods for writing requirements. Kurs som huvudsakligen behandlar miljö och hållbar utveckling, och där mer än hälften av inslagen rör ekologisk, ekonomisk eller social hållbar utveckling. Kurs som delvis behandlar miljö och hållbar utveckling, och där mindre än hälften av inslagen rör ekologisk, ekonomisk eller social hållbar utveckling. 283

kurser, datavetenskap Förkunskapskrav: A completed the first year at the Computer Science Bachelors programme or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18601 Routing Technology, 7,5 hp (DIT421) In this course you will comprise knowledge and skills of the Internet technology including the TCP/ IP protocol suite, besides the Ethernet and Wireless LAN technologies for small and larger networks. You will be able to acquire a deep, solid knowledge and practical skills in networking and network equipment, particular routing and IP routers, switching and LAN-switches, and important WAN technologies. The course is mainly focusing on the operation and engineering of IP routers and LAN switches. Förkunskapskrav: The requirement for the course is to have completed a first year of studies within the subject Computer Science or equivalent. The course DIT420 Computer communication or equivalent is required. anm-kod GU-18608 Digitalteknik, fortsättningskurs, 7,5 hp (DIT795) Dagens tekniska system konstrueras ofta med digital elektronik. Standard komponenterna räcker sällan till; utan anpassningar, delsystem eller hela lösningar behöver implementeras i Programmerbar logik eller specialanpassade integrerade kretsar (ASIC). Kursen ger en introduktion till hårdvaru beskrivande programmeringsspråk (VHDL) samt funktionen hos moderna utvecklingsverktyg. Den bakgrund som en konstruktör behöver för att förstå verktygens arbetssätt gås också igenom. Förkunskapskrav: För tillträde till kursen krävs ett års studier inom ämnet Datavetenskap eller motsvarande samt kursen DIT790 Digital och datorteknik (eller motsvarande). Start: VT11, 50 %, dag, 2011-01-17 2011-12-17, anm-kod GU-28623 Digital konstruktion, projektkurs, 7,5 hp (DIT796) Dagens tekniska system konstrueras ofta med digital elektronik. Standard komponenterna räcker sällan till utan anpassningar, delsystem eller hela lösningar behöver implementeras i Programmerbar logik. Kursen är praktisk inriktad du får tillämpa dina kunskaper inom digital elektronik genom att konstruera ett litet digitalt system. Fokus ligger på ingenjörsmässighet där resurserna är otillräckliga, så optimering och kreativa lösningar krävs. En viktig av kursen är dokumentation och presentation. Förkunskapskrav: För tillträde till kursen krävs ett års studier inom ämnet Datavetenskap eller motsvarande samt kursen DIT790 Digital och datorteknik (eller motsvarande). anm-kod GU-18612 Model Driven Software Development, 7,5 hp (DIT945) In this course you will study how to develop a software system by using analysis and design principles, and also how models can be mapped into code. You will model both static and dynamic behaviors, for example interaction among objects (components), state changes of objects and the class structure of a system. The focus of this course is on the analysis and design phase. Förkunskapskrav: The requirement for the course is to have successfully completed one year at the Computer Science Bachelor s programme or equivalent. The student must know Java programming and must have taken one course in data structures and the course DIT132 Software engineering fundamentals, or equivalent. Courses which students might benefit from having done are: project courses and Human-computer interaction. anm-kod GU-18613 Avancerad nivå Models of Computation, 7,5 hp (DIT310) The aim of the course is to give you an introduction to some basic models of computing, their syntax and semantics. Concepts like program, programming language and computing are studied from a more general and mathematical perspective. A rigorous mathematical formulation of these requires some simplification compared to practical programming languages. years of studies within the subject Computer Science or equivalent. Specifically, the course DIT230 Programming Languages technology or equivalent is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. Start: HT10, 50 %, dag, 2010-10-25 2011-12-18, Anm-kod GU-18679 Parallel Computer Organization and Design, 7,5 hp (DIT360) Computers have made new applications possible but they often also require higher computational performance. Fortunately, performance has doubled every eighteen months over the last decades because of technology shrinkage (higher clock frequency) and through advances in computer architecture. This course focuses on principles for the design of parallel computers - architectures as well as programming models - which is the mainstream computing technology for the next ten years. Förkunskapskrav: Two years of an education aimed at a bachelor degree within Computer Science or equivalent. The course DIT051, Computer Architecture is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or Entrance requirements valid from the academic year 2010/2011: Successfully completed a bachelor degree within Computer Science or equivalent. Specifically, the course DIT051, Computer Architecture is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. Anm-kod GU-28671 Aesthetics of Interaction, 7,5 hp (DIT820) What is aesthetics and how can it be related to interaction design? In this course we explore how an aesthetic ideal can affect design choices and thus in turn design and interaction. In addition to examining interaction and its expressions, different aesthetic ideals (e.g. playfulness, pleasure and provocation) will be explored. The course is predominantly practical, consisting of a series of exercises with feedback sessions, a few lectures and literature seminars and one final project. Förkunskapskrav: A Bachelor s degree in Computer Science or equivalent. The courses Man- Machine system, Graphical Interfaces, Interaction Design Methodology and Interaction Design Project or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18674 Advanced Functional Programming, 7,5 hp (DIT260) The aim of the course is to explore the powerful mechanisms that functional programming languages offer to solve real problems and structure larger programs. The focus lies on library design and the concept of embedded languages. The programming language used in the course is Haskell. Concrete concepts that are taught in the course: The use of advanced type system features, such as type classes and generalized algebraic datatypes. Design and implementation techniques for embedded languages. Förkunskapskrav: A bachelor degree in Computer Science or equivalent, specifically a course in Functional Programming is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-28650 Advanced Topics on Networks and Distributed Systems, 7,5 hp (DIT662) The course covers a selection form a set including ad-hoc networks; sensor networks; wireless networking and protocols; peer-to-peer systems; group communication; network and distributed systems security; synchronization, coordination and programming in distributed and multiprocessor systems; quality of service in networks; scalability, Eventuella änddringar i katalogen hittar du på vår webbplats, www.utbildning.gu.se 284

kurser, datavetenskap IT fault-tolerance, reliability issues and more. years of studies within the subject Computer Science or equivalent. The courses DIT661 Internet Technology, DIT400 Operating Systems, DIT240 Distributed Systems or equivalent are required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18669 Agile Development Processes, 7,5 hp (DIT191) The course gives knowledge in program design using agile methods. It teaches project management and methods to develop program systems. year studies within the subject Computer Science or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-28651 Algorithms, 7,5 hp (DIT600) In this course you will learn how to recognize that nontrivial computational problems which need to be solved by algorithms and also to formalize them. You will perform in simple cases the whole development cycle of algorithms: problem analysis, choosing, modifying and combining suitable techniques and data structures, analysis of correctness and complexity, filling in implementation details, looking for possible improvements, etc. year studies within the subject Computer Science or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18670 anm-kod GU-28652 Algorithms, Advanced Course, 7,5 hp (DIT280) The goal of the course is to develop advanced techniques in the design and analysis of algorithms. The course will continue in the spirit of the first algorithms course and maintain a rigorous analytical style. It is assumed that you are taking this course because you like the subject and you want to gain a deeper understanding of algorithms, not for a practical guide on how to implement them. Taking this course is also intended to prepare you for further research in the area. year of studies within Computer Science or equivalent. Specifically the course DIT600 Algorithms or equivalent is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18656 Algorithm for Machine Learning and Inference, 7,5 hp (DIT380) The course discusses learning and inference from data as a type of algorithmic problems. After introducing the basic notion and stressing the role of model assumptions we go through some of the most common approaches to algorithmic learning. Critical evaluation of learning algorithms and their outcomes is as important as the technical side. After completed course you will distinguish learning in an Artificial Intelligence perspective from human learning. year studies within the subject Computer Science or equivalent. Specifically the course DIT600 Algorithms is mandatory. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-28655 Artificial Intelligence, 7,5 hp (DIT410) Artificial Intelligence (AI) is a field of computer science that studies how computers can accomplish tasks that were traditionally thought to require human intelligence. The aim of this course is to give you a deepened understanding of the possibilities and the limitations of AI methods. The course is done in a project-oriented way. Current topics are: Introduction to AI, Uninformed Search, Informed Search, Game Search, Logic and Deduction, Planning and Natural Language Dialogue Systems. year studies within the subject Computer Science or equivalent. Good to very good programming skills. Knowledge of traditional AI language such as Lisp or prolog is not necessary. The course project can be done, for example, in C, C++, Java, Haskell, Lisp or Prolog. Having taken the course DIT600 Algorithms and DIT201 Logics in Computer Science is helpful but not mandatory. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-28653 Compiler Construction, 7,5 hp (DIT300) The aim of the course is to develop an understanding of the whole process of compiler construction, starting from lexical analysis and finishing with machine code generation. In the course you will build a complete compiler for a simple imperative language. The course will give you knowledge and experience needed to: Define a type system and implement type checking, which both reports errors to the programmer and prepares the program for code generation. years of studies within the subject Computer Science or equivalent. Specifically, the course DIT230 Programming Languages technology or equivalent is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-28654 Computer Architecture, 7,5 hp (DIT051) Computers have made new applications possible but they also require higher computational performance. Performance has doubled every eighteen months over the last decades (through advances in computer architecture etc) and the main approach to increase computational performance is through new forms of parallelism. This course focuses on principles for the design of parallel computers - architectures and programming models - which is the mainstream computing technology for the next ten years. year of studies within the subject Computer Science or equivalent. The course DIT122 Datorsystemteknik or equivalent is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18650 Computer Graphics, 7,5 hp (DIT220) The course provides knowledge of the principles used to create images through computer algorithms. The primary focus is on real-time rendering and photo realistic rendering. The course also covers techniques for illumination, special effects, shadows, reflections, ray tracing and global illumination. In addition, the corresponding mathematics will be revealed. In the course you will make a smaller project, a 3D game or a rendering program for computing special effects or photo-realistic images. Förkunskapskrav: Successfully completed a first year within the subject Computer Science or equivalent. Specifically a course in linear algebra is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18657 Computer Security, 7,5 hp (DIT641) The course gives basic knowledge in the security area, i.e. how to protect your system against intentional intrusions and attacks. The purpose of intrusions can be made to change or delete resources (data, programs, hardware, etc), to get unauthorized access to confidential information or unauthorized use of the system s services. The course covers threats and vulnerabilities in the computer systems and networks, as well as rules, methods and mechanisms for protection. year within the subject Computer Science or equivalent. Specifically the course DIT400 Operating Systems or equivalent is required. English profic- Kurs som huvudsakligen behandlar miljö och hållbar utveckling, och där mer än hälften av inslagen rör ekologisk, ekonomisk eller social hållbar utveckling. Kurs som delvis behandlar miljö och hållbar utveckling, och där mindre än hälften av inslagen rör ekologisk, ekonomisk eller social hållbar utveckling. 285

kurser, datavetenskap iency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-18671 Cryptography, 7,5 hp (DIT250) The course is about basic goals of cryptography (confidentiality, authentication, non-repudiation). Symmetric key cryptography: block and stream ciphers, design principles and examples, modes of operation, message authentication codes. Public key cryptography: asymmetric ciphers, signatures. Attack models and security notions. Protocols for key management, authentication and other services. year within the subject Computer Science or equivalent. Specifically the course DIT641 Computer Security or equivalent is required. A course in Statistics and discrete mathematic is recommended. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18665 Discrete Optimization, 7,5 hp (DIT370) In this course you learn specific methods to model and solve problems where some objective function shall be maximized or minimized under side constraints, especially for discrete problems. After the course you should be able to; dualize optimization problems (LP dual, Lagrange dual) and use the dual forms, to concrete problems, distinguish approximation algorithms from heuristics, apply heuristic approaches (e.g., branch-and-bound) as well as design techniques for approximation algorithms etc. year studies within the subject Computer Science or equivalent. Specifically the course DIT600 Algorithms (or equivalent) is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-28661 Distributed Systems, 7,5 hp (DIT240) Distributed systems are built by components/ processes that cooperate using computer communication. The overall aim of the course is to provide an understanding of the challenges you are confronted with when developing such systems as well as the benefits gained from such systems. Thus this course serve as the basic for further study within the area. year s within the subject Computer Science or equivalent. Specifically the courses DIT390 Concurrent programming and DIT400 Operating systems are required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18658 Distributed Systems, Advanced Course, 7,5 hp (DIT290) In this course the students first will get to know the points of inherent difference and strength of distributed systems compared with sequential or strongly-coupled systems; consequently. The aim of the course is to teach the students to study the issues and problems that have to be addressed and solved efficiently for these differences to be taken advantage of, so that the system retains its strength and high potential. year studies within the subject Computer Science or equivalent. Specifically, the course DIT240 Distributed systems is required. anm-kod GU-28657 Fault-tolerant Computer Systems, 7,5 hp (DIT061) Fault-tolerant systems are used in applications that require high dependability, such as safetycritical control systems in vehicles and airplanes, or business-critical systems for e-commerce, automatic teller machines and financial transactions. This is an introductory course that covers basic techniques for design and analysis of fault-tolerant systems, as well as project management and development processes for safety-critical systems. years of studies within Computer Science or equivalent. The courses DIT790 Digital- och datorteknik or equivalent is required and the course DIT151 Machine oriented programming or equivalent is recommended. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18651 FoCAL project, 7,5 hp (DIT350) In this course you will carry out a project in Foundations of Computing. The project address to more general skills, as many details depend on the subject: Experience the work on a more complex task which has a clear goal but no pre-defined result (unlike usual course exercises) and can even require integration of knowledge from disparate fields (for example: Optimization methods applied to a Machine Learning problem). Förkunskapskrav: A bachelor degree in Computer Science or equivalent, specifically the courses DIT230, Programming Languages and DIT201, Logic in computer science are required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-18666 Frontier of Programming Languages, 7,5 hp (DIT760) Programming language technology refers to programming languages themselves and tools for manipulating and reasoning about programs. This course aims to give insight into past, present and future programming language technology, including introduction to the latest cutting edge research, including research being conducted at Chalmers/ GU in the area. years within the subject Computer Science or equivalent. Specifically the courses DIT230 Programming Language Technology and DIT201 Logic in Computer Science or equivalent is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. Start: HT10, 25 %, dag, 2010-08-30 2011-05-28, anm-kod GU-18673 Functional Programming, 7,5 hp (DIT141) This course introduces a functional programming language and related concept to students that already have some knowledge in programming. The primary goal is to enable students to write realistic (small- to medium-size) programs, while introducing some of the fundamental concepts of computer science. You will learn about functional programming both from a mathematical and from a computer science view. The course teaches functional programming in a problem-based manner. year studies within the subject Computer Science or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18654 Gameplay Design, 7,5 hp (DIT041) The course focuses on how rules and game components can be used to create game environments that encourage and promotes specific interaction, either between human or between humans and the game system. The course deals with general design methods that can be applied to all these use areas. The course is based around exercises and projects within the subject area which are complemented with lectures and workshops. Project work aim to give practical training in the development of game designs. year studies within the subject Computer Science or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-28658 Graphical Interfaces, 7,5 hp (DIT860) The course aims to give a basic understanding of central issues regarding the design of screen-based Eventuella änddringar i katalogen hittar du på vår webbplats, www.utbildning.gu.se 286

kurser, datavetenskap IT and pixel-based interfaces, including methods and practical training in designing these. The course is highly practical. Lectures and literature give a theoretical foundation, but this theory is put into practice in a series of small exercises and a few larger projects. In practice, the focus is upon analyzing the design decisions made and becoming aware of the motivations behind those decisions year of studies within the subject Computer Science or equivalent. The course DIT340 Human Computer Interaction or equivalent is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-18675 Hardware Description and Verification, 7,5 hp (DIT780) The aim of the course is to give a flavour of some industrially applied methods for description and verification of hardware, as well as some of the current research in the area. You will be exposed to two different hardware description languages, VHDL and PSL, and to associated verification methods, both in theory and in practice. year studies within the subject Computer Science or equivalent. The course requires a basic knowledge of digital design (logic gates, latches, how they are used to build circuits with or without state, the idea of a finite state machine). Familiarity with programming in a functional language is desirable, but not essential. Students with a strong background in digital electronics and the hardware description language VHDL will be able to learn sufficient functional programming in this course, even if they have not seen functional programming before. Other students are advised to take an introductory course in functional programming before taking this course. Similarly, a strong background in functional programming can compensate for a weaker background in digital design. A previous course in logic (DIT201) or in program verification (DIT081) is desirable, but not essential. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-28659 Human-Centered Design, 7,5 hp (DIT850) The human-centered design course deals with methods for developing products and systems based on information technology with a strong focus on the intended user. Relevant design methods e.g., usercentered design, rational unified process, ecological interface design are covered by the course. Design for leisure and entertainment is also covered. The course combines literature seminars and lectures with a larger project where the taught methods are applied in practice in an industrial setting. year studies within the subject Computer Science or equivalent. Specifically, a course in Human- Computer-Interaction is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-28660 Interaction Design Methodology, 7,5 hp (DIT880) The course aims to give theoretical and practical knowledge of design methods for interaction design. Theory is combined with practical training to give you training in working systematically with the design of computational things and systems. After completing this course you should, be able to criticize design processes with respect to methods used, modify design methods to fit the context and reflect on one s own design process. years of studies within Computer Science or equivalent. The course DIT860 Graphical Inter faces or equivalent is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18676 Interaction Design Project, 15 hp (DIT870) The course aims at a deepened understanding of the central design issues in interaction design by means of practical training in design projects. In addition to creating working prototypes, the course contains lectures, exercises and literature seminars. Design projects are carried out in groups, under supervision. Progress reports and user tests are made several times during the project and the results are presented at a concluding public presentation. year studies within the subject Computer Science or equivalent. Specifically, the courses DIT860 Graphical Interfaces and DIT880 Interaction Design Methodology or equivalent are required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or Start: VT11, 50 %, dag, 2011-01-17 2011-05-28, anm-kod GU-28662 Internet Technology, 7,5 hp (DIT661) This course is a continuation of the fundamental computer communications course. It provides an in-depth knowledge of the core technology behind communication and covers protocols, systems and applications. The course covers TCP/IP in detail and contains motivations for many of the design decisions. It also discusses services and applications used in the Internet such as DNS, routing, VoIP, peer-to-peer applications, traffic engineering (quality of service) and tools for network administration. Förkunskapskrav: Successfully completed two years of studies within Computer Science or equivalent. The courses DIT420 Computer Communication or equivalent are required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-18672 Language-Based Security, 7,5 hp (DIT101) Modern attacks often succeed at circumventing standard security mechanisms. Because applications are typically specified and implemented in programming languages, application-level security is a part of the more general area of language-based security. A direct benefit of language-based security is the ability to naturally express security policies and enforcement mechanisms using the techniques of the well-developed area of programming languages. year studies within the subject Computer Science or equivalent. Knowledge of the material covered in the courses DIT230 Programming Languages and DIT641 Computer Security or equivalent is also required. Previous knowledge of semantics, automata, and compiler construction is helpful (although not required as a prerequisite). English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-28663 Logic in Computer Science, 7,5 hp (DIT201) In recent years, powerful tools for verifying software and hardware systems have been developed. These tools rely in a crucial way in logical techniques. This course provides a sound basis in logic and a short introduction to some logical frameworks used in modelling, specifying and verifying computer systems. A sound basic knowledge in logic is a welcome prerequisite for courses in program verification, formal methods and artificial intelligence. year of studies within Computer Science or equivalent. Familiarity with a basic knowledge of discrete mathematics is assumed. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18659 Methods of Interaction Analysis, 7,5 hp (DIT840) The course consists of a couple of central themes. Each theme is presented in a lecture and through assignments or exercises. The theme is then concluded by a discussion to reflect upon the practical experiences. The themes studied include: Core concepts and main theoretical frameworks, methods to identify user requirements, selection criteria for studies and what consequences these have, consequences of the context of studies, mediation artifacts and theoretical and empirical perspectives year of studies within the subject Computer Science or equivalent. Specifically, a course in Human- Computer-Interaction is required. English profic- Kurs som huvudsakligen behandlar miljö och hållbar utveckling, och där mer än hälften av inslagen rör ekologisk, ekonomisk eller social hållbar utveckling. Kurs som delvis behandlar miljö och hållbar utveckling, och där mindre än hälften av inslagen rör ekologisk, ekonomisk eller social hållbar utveckling. 287

kurser, datavetenskap iency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-28664 Network Security, 7,5 hp (DIT071) Why is it possible to break into networked computer systems? What weaknesses are used? And what makes one protocol more secure than another? This course looks at weaknesses that have plagued networked systems for years and at countermeasures like firewalls and security protocols such as SSL, SSH and IPsec that are investigated in detail what makes them secure.the course also gives a survey of cryptographic tools. years of studies within the subject Computer Science or equivalent. Specifically, the course DIT420 Computer Communication or equivalent is required. A course in Computer security such as DIT641 is recommended but not required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-18652 Parallel and Distributed Real-Time Systems, 7,5 hp (DIT171) Real-time systems play a vital role in many application domains including drive-by-wire automotive systems, intelligent traffic control systems, banking systems, and autonomous robots. For many realtime applications, the system must be designed with multiple processors in order to meet imposed application constraints. This course is intended to give a deeper understanding of the problems involved in designing real-time systems based on multiprocessor architectures. years of studies within the subject Computer Science or equivalent. Preparatory courses in realtime systems, algorithms, operating systems and computer architecture are required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or Start: HT10, 50 %, dag, 2010-10-25 2010-12-17, anm-kod GU-18655 Physical Computing, 7,5 hp (DIT830) The course deals with central design materials in interaction design and ways of prototyping at various levels of detail and functionality. The aim is to understand how hardware, software and other materials can be combined in the design of computational things for human use. The major part deals with sensors, actuators, and the electronic and computational elements that enable and control behavior in real time in order to realize an intended user experience. year of studies within the subject Computer Science or equivalent. Specifically, a course in Human- Computer Interaction is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-18677 Programming Languages, 7,5 hp (DIT230) The aim of the course is to give understanding of how programming languages are designed, documented, and implemented. The course covers the basic techniques and tools needed to write interpreters, and gives a summary introduction to compilation as well. Förkunskapskrav: A bachelor degree in Computer Science or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-28665 Programming Paradigms, 7,5 hp (DIT330) This course provides an overview of common programming paradigms, including imperative, objectoriented, logic, and functional programming, and discusses the fundamental concepts underlying the design, definition, and implementation of modern computer languages. You will get practical experience with languages that exemplify a particular paradigm. year studies within the subject Computer Science or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18667 Real-Time Systems, 7,5 hp (DIT161) In the design of real-time systems it is practical to implement the application software as multiple concurrently executing processes, there each process is responsible for a given task in the system. The concept of multiple processes provides for an intuitive way of decomposing a complex system into smaller parts that are simple to comprehend and implement. Förkunskapskrav: Two years of an education aimed at a bachelor degree within Computer Science or equivalent. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-28666 Simulation Engines, 7,5 hp (DIT031) The modeling and implementation of the fundamental components of interactive simulations is the core of the course. As given by the main use areas of these systems, simulations within the automobile and aviation industry and 3D games, the course focuses mainly upon 3 dimensional interactive simulations. The visual components of interactive simulations are given most focus, but connections to related areas such as networking, artificial intelligence and physics simulations are covered. years of studies within the subject Computer Science or equivalent. Specifically a course within Computer Graphics is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-18653 Software Architecture, 7,5 hp (DIT540) In this course some of the things that you will learn is how to; Describe a number of common Architecture Patterns. Develop a Concept Model appropriate for the system requirements. Explain how Components can be used to decrease the complexity of the system. Give examples of Components that are already in use within the software community. Describe current trends within Software Architecture area and what benefits they might offer. years of studies within the subject Computer Science or equivalent. The course DIT945 Model driven software development is required. English proficiency equivalent to IELTS 6.0 no part under 5.0 or anm-kod GU-18668 Software Engineering using Formal Methods, 7,5 hp (DIT270) Formal Methods is a generic term for system design, analysis, and implementation methods that are described and used with mathematical rigour. The purpose is to construct, with high confidence, systems that behave according to their specification. The course introduces practically and theoretically the two most important styles of formal methods for reasoning about software: automatic and interactive methods. Each style is using a particular concrete tool for developing software in that style. years of studies within the subject Computer Science or equivalent. The courses DIT082 Testing, debugging and verification and DIT945 Model driven software development or equivalent are required. DIT201 Logic in computer science is recommended. English proficiency equivalent to IELTS 6.0 no part under 5.0 or TOEFL 550 p, TWE score 4 is also required. anm-kod GU-18660 Software Product Line Engineering, 7,5 hp (DIT275) A software product line(spl) is a set of software products that share a common, managed set of features and that together address the needs of a Eventuella änddringar i katalogen hittar du på vår webbplats, www.utbildning.gu.se 288