ÄMNEN, FRISTÅENDE KURSER PROGRAM, AVANCERAD NIVÅ PROGRAM, GRUNDNIVÅ

Transkript

1 IT Informationsteknik är i dag 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 informationstekniken att ta en ännu större plats i våra liv. Vill du vara med och utveckla den? Efter en utbildning på någon av institutionerna data- och informationsteknologi eller tillämpad IT, kan du till exempel jobba som systemutvecklare, it-strateg, projektledare, mjukvaruutvecklare, interaktionsdesigner eller som expert på datasäkerhet. ÄMNEN, FRISTÅENDE KURSER Datavetenskap Informatik Tillämpad informationsteknologi PROGRAM, AVANCERAD NIVÅ Computer Science, Master s Programme IT Management, masterprogram Master in Language Technology Software Engineering, Master s Programme PROGRAM, GRUNDNIVÅ Datavetenskapligt program Software Engineering, Bachelor s Programme Systemvetenskap: IT, människa och organisation, kandidatprogram 286

2 Kurser, datavetenskap IT DATAVETENSKAP Institutionen för data- och informationsteknik, Rännvägen 6B, , Ä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å 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 B level or English proficiency Anm-kod: GU Anm-kod: GU 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 B level or English proficiency Anm-kod: GU Anm-kod: GU 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 B level or English proficiency Anm-kod: GU Anm-kod: GU Data Structures, 7,5 hp (DIT960) Förkunskapskrav: Kurserna DIT440, Introduktion till funktionell programmering, DIT011, Objektorienterad programvaruutveckling samt DIT950 Programming, advanced course eller motsvarande ska vara avklarade. Anm-kod: GU Datorintroduktion, 1,5 hp (DIT700) Kursen skall ge eleven en mycket enkel och grundläggande introduktion till programmering på ett sätt och i sådan form att den förbereder studenterna för efterföljande kurs i programmering. Kursen syftar speciellt till att ge elever som saknar eller har ringa tidigare erfarenhet av programmering bättre förutsättningar att tillgodogöra sig den efterföljande programmeringskursen. Förkunskapskrav: Antagen till Datavetenskapligt program, kandidatprogram vid Göteborgs universitet. Urval: Platsgaranti Start: HT11, 50 %, dag, Anm-kod: GU Datorsystemteknik, 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: Kursen DIT151. 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. Start: VT, 50 %, dag, Anm-kod: GU 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å. Start: VT, 50 %, dag, Anm-kod: GU 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 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 Theory and Logic Design of Switching Circuits, 7,5 hp (DIT795) 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). Kurser 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. Kurser som delvis behandlar miljö och hållbar utveckling, och där mindre än 287

3 IT Kurser, datavetenskap Anm-kod: GU Distributed Fault-tolerant Programming, 3 hp (DIT027) The course provides a good ground to programming Erlang, which has all the concepts of distributed fault-tolerant programming. During the first part, the students get introduced to sequential functional programming, covering items as recursion in depth. In the second part, the students are learning how to write distributed applications, followed by principles of fault-tolerance and design patterns. Förkunskapskrav: The students must have successfully finished a programming project of 15 higher education credits. Start: HT11, 10 %, dag, Anm-kod: GU 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 B level or English proficiency Start: VT, 50 %, dag, Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU Foundations of Free Software, 7,5 hp (DIT546) The student will learn more about theory and practice using: code standard, version control, build process, packaging, installation end deployment, release management, simulators, debugger, test automation, performance issues and kernel programming. The student will also learn about and practice on the softer aspects of software development in a Free Software community. These aspects include: user interaction, promoting the work, writing user documents, handling bug reports and tasks. Förkunskapskrav: To be eligible for the course Foundations of Free Software Tools the equivalent of 50 higher education credits in computer science is required. The course is given in English and the student should have sufficient knowledge in spoken and written English. Start: HT11, 50 %, dag, Anm-kod: GU Examensarbete i datalogi för kandidatexamen, 15 hp (DIT560) Kursen genomförs till största delen som ett projektarbete och arbetet bedrivs i en mindre projektgrupp om högst 6 personer. Vid fastställda tider ges handledning inom projektets ämnesområde samt inom de generiska kompetenserna. I kursen ingår delrapporteringar som skall lämnas in av projektgruppen för kontinuerlig kontroll och återkoppling av arbetets fortskridande. Närvaro vid föreläsningar och delaktighet i rapporteringar är obligatorisk. Förkunskapskrav: Avklarat minst två år av ett kandidatprogram i Datavetenskap eller motsvarande. Start: VT, 50 %, dag, Anm-kod: GU 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 B level or English proficiency Start: VT, 50 %, dag, Anm-kod: GU Mathematical Modelling, 7,5 hp (DIT990) Förkunskapskrav: Ett avklarat första år på datavetenskapligt program eller motsvarande. Anm-kod: GU 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. English B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU Model Driven Development, 7,5 hp (DIT036) The purpose of the course is to give the student insight into, and perspective on the two technical and managerial challenges of using model based design and automatic code generation for development of embedded software in an industrial setting. The course consists of lectures and problem solving sessions in the subfield of Software Engineering concerned with the use and design of graphical modeling languages for embedded systems. Förkunskapskrav: The course is open to university students and professionals with a technical university education. Entrance qualifications for current university students are: - at least 60 higher education credits in programming related courses, including - at least 7,5 higher education credits in object oriented programming (e.g., DIT948) - at least 7,5 higher education credits in analysis and design using UML (e.g., DITxxx) - at least 7,5 higher education credits in embedded systems programming, hardware oriented programming, or computer engineering (e.g., DIT165) Entrance qualifications for professionals are: - at least 120 higher education credits from a technical university education - professional experience in the domain of embedded systems programming Start: HT11, 50 %, dag, Anm-kod: GU 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. Ändringar och tillägg i katalogen hittar du på vår webbplats, 288

4 Kurser, datavetenskap IT Start: VT, 50 %, dag, Anm-kod: GU 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 B level or English proficiency Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU Programming, Advanced Course, 7,5 hp (DIT950) 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 Project: Changing Software Development Process, 15 hp (DIT037) The course is an exloratory study of an emerging area of change related to organizations within Software Engineering and Management discipline. Examples of change areas include focusing on (1) concrete practices such as reference architectures (2) tool use such as in code-generation; (3) new software-related artifacts; (4) achieving long-term sustainability. The study is conducted as a group project, and assists actual research projects or an industrial partner directly. Förkunskapskrav: The course is only accessible for students with a completed first years studies at the Software Engineering and Management Bachelors programme. Start: HT11, 50 %, dag, Anm-kod: GU 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. Förkunskapskrav: A completed the first year at the Computer Science Bachelors programme or equivalent. English B level or English proficiency Anm-kod: GU Test and Verification, 6 hp (DIT085) The course focuses on testing tools, techniques and methods that can be used to assess the quality and correctness of software systems. The course brings understanding on how these methods, techniques and tools can be used in a software development project to increase the software quality. An overview of other verification techniques are also presented. Students will get hands-on experience in building a model for testing and they use this model for both testing and verification purposes. Förkunskapskrav: To be eligible for the course Test and Verification, the student must have general programming knowledge in both imperative/object oriented and functional programming. For example, the student could have taken an introductory course on Java (such as TIG019 Programming, 7.5 hec) or C, and a course on Erlang (such as TIG027 Distributed Fault-tolearant Programming, 3 hec) or Haskell. Start: VT12, 50 %, dag, Anm-kod: GU 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. English B level or English proficiency Anm-kod: GU Software Architecture BSc, 7,5 hp (DIT541) This course covers architectural design including requirements and how to achieve these using different styles, patterns, and tactics; and how to document architectures. Concepts and principles will be illustrated by artefacts and techniques used in practice, such as frameworks, middlewares, serviceoriented architectures, and standard platforms. The course will include several small assignments complemented with lectures and seminars. Students work both alone and in small groups. Förkunskapskrav: The students are expected to be familiar with UML and design methods. Start: HT11, 50 %, dag, Anm-kod: GU Avancerad nivå 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU Advanced Software Architecting, 7,5 hp (DIT542) The course focuses on principles and methods that aid the designer/developer/architect to gain increased confidence in the architectural design. This includes quantitative modeling using architecture description languages such as AADL and MARTE, and qualitative architecture evaluation methods, e.g., ATAM. Finally, the course will also address the specific challenges related to scale, dynamics, and heterogeneity as found in system of systems, and ultra-large scale systems. Förkunskapskrav: To be eligible for the course students should have completed two years of studies within the subject Computer Science or equivalent. Kurser som huvudsakligen behandlar miljö och hållbar utveckling, och där mer än Kurser som delvis behandlar miljö och hållbar utveckling, och där mindre än 289

5 IT Kurser, datavetenskap The course DIT540 Software Architecture is required. Anm-kod: GU 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, 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU 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 based on principles such as: Incremental development, Embrace changes, Continues refactoring (restructuring) of the design. The course also covers the extreme Programming process and its project management, such as: Agile Project Management, The Agile Manager Role, Organic Teams. year studies within the subject Computer Science or equivalent. English B level or English proficiency Anm-kod: GU 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 B level or English proficiency TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU 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 B level or English proficiency Anm-kod: GU Anm-kod: GU 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. This course also gives insight into selected research topics in the area. year of studies within Computer Science or equivalent. Specifically the course DIT600 Algorithms or equivalent is required. English B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU 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 B level or English proficiency Anm-kod: GU Computer Graphics, Advanced Course, 7,5 hp (DIT221) Computer Graphics is an expanding field with applications spanning from games, the movie industry, virtual reality, industrial simulations and even the financial sector that wants to utilize the computational horse power of modern graphics processing units (GPUs). In this follow-up course, the students dig deeper into a particular subject of their choice, in which they perform a project. Förkunskapskrav: The requirement for the course is to have successfully completed a first year within the subject Computer Science or equivalent. Specifically the course DIT220, Computer Graphics or equivalent is required. English B level or English proficiency Ändringar och tillägg i katalogen hittar du på vår webbplats, 290

6 Kurser, datavetenskap IT TOEFL 575 p, TWE score 4.5 is also required. Urval: Selection is based upon the number of credit Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Urval: Selection is based upon the number of credit Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU 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 B level or English proficiency Anm-kod: GU 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 Empirical Software Engineering, 7,5 hp (DIT278) This course is for students who are interested in the empirical methods applied to the field of software engineering. The course introduces quantitative and qualitative evaluation methods in software engineering. The course contains: 1. Descriptive and inferential statistical methods applied to software engineering 2. Qualitative methods in software engineering 3. Methods required to practice evidencebased software engineering Förkunskapskrav: To be eligible for the course Empirical Software Engineering the student should have general knowledge in Software Engineering a minimum of 90 hec. The students should also possess basic skills in statistics. Start: HT11, 50 %, dag, Anm-kod: GU Master s Thesis, 15 hp (DIT570) Förkunskapskrav: A Bachelor s Thesis project (DIT560) must be completed, plus another 15 hecs in computer science courses. Start: VT12, 50 %, dag, Anm-kod: GU 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 B level or English proficiency Start: HT11, 50 %, dag, Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU Anm-kod: GU Start: VT12, 25 %, dag, Anm-kod: GU Frontiers 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. Kurser som huvudsakligen behandlar miljö och hållbar utveckling, och där mer än Kurser som delvis behandlar miljö och hållbar utveckling, och där mindre än 291

7 IT Kurser, datavetenskap 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Urval: Selection is based upon the number of credit Start: HT11, 12 %, dag, Anm-kod: GU 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 B level or English proficiency Anm-kod: GU 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. Förkunskapskrav: Successfully completed a first 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Urval: Selection is based upon the number of credit Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Urval: Selection is based upon the number of credit Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or Anm-kod: GU Magister Thesis in Computer Science, 30 hp (DIT500) Förkunskapskrav: To be eligible for this course, the equivalent of 210 hec is required (including credits from Bachelor level courses, where applicable), out of which 90 hec (or more) must come from courses within the Computer Science area, out of which 15 hec (or more) must come from courses on the advanced (Master) level. The topic of the thesis must be preapproved by the thesis examiner, who also decides whether the student has the required prerequisites to start the particular thesis project. Start: HT11, 100 %, dag, Anm-kod: GU Start: VT12, 100 %, dag, Anm-kod: GU Master Thesis in Computer Science, 30 hp (DIT550) The course consists in a thesis work, performed individually or in pairs, under super-vision of a teacher. The subject of thesis must lie within the area of Computer Science. For a specialisation to appear in the degree, the subject of the thesis must lie within the area of that specialisation, understood in a broad sense. Students will perform research, theoretical or applied, in parts in collaboration with supervision, and in parts independently. Förkunskapskrav: ( In the following, higher education credits is abbreviated by hec. ) To be eligible for this course, the equivalent of 90 hec is required, not counting credits from an earlier, first cycle (Bachelor) degree. At least 60 hec (or more) must must come from courses on the advanced (Master) level, out of which 45 hec (or more) must come from courses within the Computer Science area. A first cycle (Bachelor) degree is assumed in general. In particular, a Bachelor thesis (15 hec) is required as a prerequisite. The topic of the thesis must be preapproved by the thesis examiner, who also decides whether the student has the required prerequisites to start the particular thesis project. The thesis report is to be written in English, therefore good knowledge of written and spoken English are required. Start: VT12, 100 %, dag, Anm-kod: GU Master thesis Software Engineering, 30 hp (DIT551) During this course the student will conduct a research study using methods and techniques appropriate for Software Engineering. The course should include both the design, execution and reporting of the study. The report might be in a format of a scientific publication (a.k.a. article format). Förkunskapskrav: a) A Bachelor s Degree (180 hecs) and at least 60 higher education credits on advanced level in the chosen educational subject within the educational scope of the Department of Computer Science and Engineering. b) At least 75 hecs in the chosen educational subject within the educational scope of the Department of Computer Science and Engineering at advanced level. For the student studying according to the English version of this course, the student should Ändringar och tillägg i katalogen hittar du på vår webbplats, 292

8 Kurser, datavetenskap IT have qualifications in English corresponding to English A or Certificate in Advanced English (CAE) or Test of English as a Foreign Language (TOEFL). Start: VT12, 100 %, dag, Anm-kod: GU Model Driven Engineering, 7,5 hp (DIT596) Extending modelling languages with necessary constructs and features, or creating complementary languages, requires specialist knowledge beyond that of software modelling. The purpose of this course is to familiarize the student with contemporary technologies and notations for creation, adaptation, and transformation of modeling languages, such domain specific modeling languages, UML profiles, and languages found in software product lines. Förkunskapskrav: A student is eligible for this course if he or she has (1) knowledge in object oriented programming at the level of DIT948, DAT042, DAT050, DAT055, DAT170, TDA540, TDA545, TDA546, or TDA550 and (2) knowledge in software modelling at the level of DIT135, DIT036, TDA590, TDA591, TDA592, or TDA593. Start: VT12, 50 %, dag, Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or TOEFL 575 p, TWE score 4.5 is also required. Anm-kod: GU 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: Successfully completed a bachelor degree within Computer Science or equivalent. Specifically, the course DIT051, Computer Architecture is required. English B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or Urval: Selection is based upon the number of credit Anm-kod: GU Programming for science, 7,5 hp (DIT745) This course introduces the student into the central concepts and methods of computer programming. It introduces a variety of programming tools on a technical level, including UNIX and Java programming. The principles of the object oriented view and how object oriented programs are constructed using the Java programming language is introduced. Teaching is in the form of lectures and supervision of work with programming assignments. Förkunskapskrav: Computer literacy including some previous programming experience (e.g. Matlab). No formal programming qualifications are required. Start: HT11, 100 %, dag, Anm-kod: GU 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 B level or English proficiency equivalent to IELTS 6.5 no part under 5.5 or Anm-kod: GU 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 B level or English proficiency Anm-kod: GU Project Course, 7,5 hp (DIT520) Förkunskapskrav: Finished at least two years of a Bachelor s programme in computer science or equivalent. Anm-kod: GU Start: VT12, 25 %, dag, Anm-kod: GU 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 B level or English proficiency Anm-kod: GU Kurser som huvudsakligen behandlar miljö och hållbar utveckling, och där mer än Kurser som delvis behandlar miljö och hållbar utveckling, och där mindre än 293