Turnus of offer:
each summer semester
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)
- 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
- 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.
- Written or oral exam as announced by the examiner
Responsible for this module:
- 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
- German and English skills required
Admission requirements for taking the module:
Admission requirements for participation in module examination(s):
- Successful completion of exercises as specified at the beginning of the semester.
- CS4020-L1: Specification and Modeling, written exam, 90min, 100% of the module grade.
Letzte Änderung: 1.2.2022