Duration:
1 Semester | Turnus of offer:
each summer semester | Credit points:
6 |
Course of studies, specific field and terms: - Master Media Informatics 2020 (optional subject), computer science, 3rd semester
- Master Entrepreneurship in Digital Technologies 2020 (advanced module), technology field computer science, Arbitrary semester
- Master Computer Science 2019 (basic module), Theoretical computer science, 1st or 2nd semester
- Master Medical Informatics 2019 (optional subject), Theoretical computer science, 1st or 2nd semester
- Master IT-Security 2019 (compulsory), Theoretical computer science, 1st or 2nd semester
- Master Medical Informatics 2014 (basic module), computer science, 1st or 2nd semester
- Master Media Informatics 2014 (optional subject), computer science, Arbitrary semester
- Master Entrepreneurship in Digital Technologies 2014 (basic module), technology field computer science, 1st or 2nd semester
- Master Computer Science 2014 (optional subject), specialization field IT security and safety, 2nd or 3rd semester
- Master Computer Science 2014 (basic module), Theoretical computer science, 1st or 2nd semester
|
Classes and lectures: - Specification and Modelling (exercise, 2 SWS)
- Specification and Modelling (lecture, 2 SWS)
| Workload: - 20 Hours work on project
- 60 Hours in-classroom work
- 80 Hours private studies and exercises
- 20 Hours exam preparation
| |
Contents of teaching: | - Introduction to modelling and specification
- Modelling concepts (data, streams, traces, diagrams, tables)
- Modelling software components (state, behaviour, structure, interface)
- Modelling concurrency
- Algebraic specification
- Composing, refining, analysing and transforming specifications and models
- Specification languages and tools for specification and modelling
| |
Qualification-goals/Competencies: - The students can argue on the importance of specifications and models for software development.
- They can characterize, apply, adapt and extent important specification and modelling techniques.
- They can model and specify simple software/hardware system in an adequate way.
- They can describe a system from different views and on different levels of abstraction.
- They can apply specifications and models in software development.
- They can analyse specifications and models.
|
Grading through: - Written or oral exam as announced by the examiner
|
Responsible for this module: Teachers: |
Literature: - V.S. Alagar, K. Periyasamy: Specification of Software Systems - Springer 2013
- M. Broy, K. Stølen: Specification and Development of Interactive Systems - Springer 2001
- J. Loeckx, H.-D. Ehrich, M. Wolf: Specification of Abstract Data Types - John Wiley & Sons 1997
- D. Bjorner: Software Enginneering 1-3 - Springer 2006
- U. Kastens, H. Kleine Büning: Modellierung - Grundlagen und formale Methoden - Hanser 2005
|
Language: - German and English skills required
|
Notes:Admission requirements for taking the module:
- None
Admission requirements for participation in module examination(s):
- Successful completion of exercises as specified at the beginning of the semester.
Module Examination(s):
- CS4020-L1: Specification and Modeling, written exam, 90min, 100% of the module grade. |
Letzte Änderung: 1.2.2022 |
für die Ukraine