Module CS4020-KP06, CS4020SJ14
Specification and Modelling (SpezMod14)
Duration
1 Semester
Turnus of offer
each summer semester
Credit points
6
Course of studies, specific fields and terms:
- Master Media Informatics 2020, optional subject, computer science
- Master Entrepreneurship in Digital Technologies 2020, advanced module, specific
- Master Computer Science 2019, basic module, Theoretical computer science
- Master Medical Informatics 2019, optional subject, Theoretical computer science
- Master IT-Security 2019, compulsory, Theoretical computer science
- Master Medical Informatics 2014, basic module, computer science
- Master Media Informatics 2014, optional subject, computer science
- Master Entrepreneurship in Digital Technologies 2014, basic module, technology field computer science
- Master Computer Science 2014, optional subject, specialization field IT security and safety
- Master Computer Science 2014, basic module, Theoretical computer science
Classes and lectures:
- Specification and Modelling (exercise, 2 SWS)
- Specification and Modelling (lecture, 2 SWS)
Workload:
- 20 hours exam preparation
- 80 hours private studies and exercises
- 60 hours in-classroom work
- 20 hours work on project
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:
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.
Last Updated:
06.01.2025