Consulting market, basic methods and analysis tools, peculiarities of IT consulting, basis types of case studies.

Participation lecture, development of an interactive role play in the group, individual execution of a short case study.

Technological and topological mechanisms for securingnetworks, attack patterns and defense mechanisms againstthem. Basics of, variants of and defense against malicioussoftware. Analysis and judgement of security mechanismsand related activities. Excercies at the end of each semester provide practicalexperience in dealing with security topics.

Presentation with a lot of room for discussions andinteraction. Finalized by a hands-on session.

Students in this course

• get to know model-based methods/toosls and their application in the software development cycle,
• obtain practical experiences by carrying out programming tasks.e

Selection of topics covered:

• Formal Modelling Languages
  • Synchronous languages (Lustre/SCADE)
  • Temporal Specifications (LTL)
• Domain-specific Extensions
  • Textual versus visual modelling
  • Modeltransformation via internal DSLs
  • Modelling guide lines
• Formal testing and verification
  • Coverage criteria
  • Testcasegeneration
  • Static analysis and model-checking

Prerequisistes:

• UML Basics
• C++,
• Logic (propsitional),
• Lexer, Parser, EBNF (Compiler basics)

Mix of lecture (2/3) and practical exercies/project work (1/3)