252-0216-00L  Rigorous Software Engineering

SemesterSpring Semester 2020
LecturersF. O. Friedrich Wicker, H. Lehner, M. Schwerhoff
Periodicityyearly recurring course
Language of instructionEnglish



Courses

NumberTitleHoursLecturers
252-0216-00 VRigorous Software Engineering4 hrs
Tue08:00-10:00ER SA TZ »
08:15-10:00CAB G 61 »
Wed10:00-12:00ER SA TZ »
10:15-12:00CAB G 61 »
F. O. Friedrich Wicker, H. Lehner, M. Schwerhoff
252-0216-00 URigorous Software Engineering
Groups are selected in myStudies.
2 hrs
Mon14:15-16:00HG D 3.2 »
Tue16:00-18:00ER SA TZ »
16:00-18:00ER SA TZ »
16:15-18:00CHN D 48 »
16:15-18:00HG D 3.1 »
16:15-18:00ML E 12 »
Thu16:15-18:00ML H 41.1 »
F. O. Friedrich Wicker, H. Lehner, M. Schwerhoff
252-0216-00 ARigorous Software Engineering1 hrsF. O. Friedrich Wicker, H. Lehner, M. Schwerhoff

Catalogue data

AbstractThis 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
ObjectiveThe 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
ContentSome 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
LiteratureWill be announced in the lecture.

Performance assessment

Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
ECTS credits8 credits
ExaminersM. Schwerhoff, F. O. Friedrich Wicker, H. Lehner
Typesession examination
Language of examinationEnglish
RepetitionThe performance assessment is only offered in the session after the course unit. Repetition only possible after re-enrolling.
Mode of examinationwritten 120 minutes
Additional information on mode of examinationThe grade will be determined by:
- a mandatory project, 20%
- a final exam, 80%

Students who are repeating the course are required to repeat the project work.
Written aidsNone.
This information can be updated until the beginning of the semester; information on the examination timetable is binding.

Learning materials

 
Main linkInformation
Only public learning materials are listed.

Groups

252-0216-00 URigorous Software Engineering
Tue16:15-18:00HG D 3.1 »
GroupsG-01
Mon14:15-16:00HG D 3.2 »
G-02
Tue16:15-18:00CHN D 48 »
G-03
Tue16:00-18:00ER SA TZ »
G-04
Tue16:00-18:00ER SA TZ »
16:15-18:00ML E 12 »
G-05
Thu16:15-18:00ML H 41.1 »

Restrictions

There are no additional restrictions for the registration.

Offered in

ProgrammeSectionType
Computer Science BachelorMajor: Systems and Software EngineeringOInformation