Search result: Catalogue data in Spring Semester 2020
Computer Science Bachelor ![]() | ||||||
![]() | ||||||
![]() ![]() | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|---|
252-0216-00L | Rigorous Software Engineering ![]() | O | 8 credits | 4V + 2U + 1A | F. Friedrich Wicker, H. Lehner, M. Schwerhoff | |
Abstract | This course introduces both theoretical and applied aspects of software engineering and analysis. It covers: - Software Architecture - Informal and formal Modeling - Design Patterns - Code Refactoring - Program Testing - Dynamic Program Analysis - Static Program Analysis | |||||
Objective | The course has two main objectives: - Understand, end-to-end (theoretical and practical), the core techniques for building quality software - Understand how to apply these techniques in practice | |||||
Content | Some of the core technical topics covered will be: - modeling and mapping of models to code - common code design patterns - functional and structural testing - dynamic and static analysis | |||||
Literature | Will be announced in the lecture. |
Page 1 of 1