DTU.dk
Departments and Centers
Departments and Centres
DTU Aqua
DTU Bioengineering
DTU Biosustain
DTU Chemical Engineering
DTU Chemistry
DTU Civil Engineering
DTU Compute
DTU Electrical Engineering
DTU Energy
DTU Engineering Technology
DTU Entrepreneurship
DTU Environment
DTU Food
DTU Fotonik
DTU Health Tech
DTU Learn for Life
DTU Management
DTU Mechanical Engineering
DTU Nanolab
DTU Physics
DTU Skylab
DTU Space
DTU Wind and Energy Systems
Research groups
Research groups
Shortcuts
Phonebook
Directions/map
Supplier information (CVR and EAN)
Course base
Programme specifications
Internship and Project Bank
Job and Career
DTU Alumni
DTU Inside
(intranet)
Webshop
DTU Library
DTU Orbit (Research database)
Contact
Dansk
DTU Compute
Persons
Publications
Projects
Teaching
PhD
Research
Continuing Education
Cooperation
Employees
About us
Front page
Research
Research sections
Software Systems Engineering
Courses
Front page
Research
Research sections
Software Systems Engineering
Courses
Algorithms, Logic and Graphs
Cognitive Systems
Cybersecurity Engineering
Dynamical Systems
Embedded Systems Engineering
Mathematics
Scientific Computing
Software Systems Engineering
Employees
Why Formal Methods?
Courses
Projects
Publications (findit)
Publications (orbit)
Current PhD projects
Statistics and Data Analysis
Visual Computing
Courses
The following courses are partially or fully offered by the section:
Course no.
Title
Points (ECTS)
Timetable group
02141
Computer Science Modelling
10
F4
02148
Introduction to Coordination in Distributed Applications
5
January
02160
Agile Object-oriented Software Development
10
F5
02161
Software Engineering 1
5
F2A
02162
Software Engineering 2
10
E3
02170
Database Systems
5
F2B
02239
Data Security
7.5
E5B
02242
Program Analysis
7.5
E2A
02244
Logic for Security
7.5
F2A
02246
Model Checking
7.5
E4A
02247
Compiler Construction
5
F2B
02263
Formal Aspects of Software Engineering
5
E1A
02267
Software Development of Web Services
5
January
02268
Process-oriented and Event-driven Software Systems
5
F3A
02269
Process Mining
5
E5A
02291
System Integration
5
F5A
02312
Introductory Programming
10
E4B, January
02314
Introductory Programming
5
E4B
02318
Elementary Programming for Diplom-E
5
E5A, F5B
02324
Advanced Programming
10
F2A, June
02327
Introductory Databases and Database Programming
5
F3A
02332
Compiler Construction
5
E4A
02362
Project in Software Development
5
F4A
02363
Front End Web Technology
5
F2A
02369
Software Processes and Patterns
5
E1B
02393
Programming in C++
5
E7
02913
Advanced Analysis Techniques
5
June