Modul CS4020

Dauer:

Angebotsturnus:

Studiengang, Fachgebiet und Fachsemester:

• Master Mathematik in Medizin und Lebenswissenschaften 2010 (Wahl), Informatik, Beliebiges Fachsemester
• Master Informatik 2012 (Pflicht), Informatik-Pflichtveranstaltungen, 1. Fachsemester

Qualifikationsziele/Kompetenzen:

• Die Studierenden können über die Rolle von Spezifikation und Modellierung in der Softwareentwicklung argumentieren.
• Sie können wichtige Spezifikations- und Modellierungstechniken charakterisieren, anwenden, anpassen und erweitern.
• Sie können einfache informatische Systeme angemessen modellieren und spezifizieren.
• Sie können ein System aus verschiedenen Sichten und auf verschiedenen Abstraktionsebenen beschreiben.
• Sie können Spezifikation und Modellierung in der Softwareentwicklung einsetzen.

Vergabe von Leistungspunkten und Benotung durch:

• Klausur oder mündliche Prüfung nach Maßgabe des Dozenten

Modulverantwortlicher:

• Prof. Dr. Martin Leucker

Lehrende:

• Institut für Softwaretechnik und Programmiersprachen

• Dr. Annette Stümpel
• Prof. Dr. Martin Leucker

Literatur:

• V.S. Alagar, K. Periyasamy: Specification of Software Systems - Springer 2011
• 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

Sprache:

• Sowohl Deutsch- wie Englischkenntnisse nötig

Letzte Änderung: