Website
Curriculum

Modul CS4020-KP06, CS4020SJ14

Specification and Modelling (SpezMod14)

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