Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Switch to english language
Startseite    Anmelden     
Logout in [min] [minutetext]
WiSe 2022/23

Formal Methods for Software Engineering - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung SWS 4
Veranstaltungsnummer Max. Teilnehmer/-innen
Semester WiSe 2022/23 Zugeordnetes Modul
Erwartete Teilnehmer/-innen
Rhythmus
Hyperlink https://moodle.uni-weimar.de/course/view.php?id=40750
Sprache englisch
Termine Gruppe: [unbenannt]
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
Fr. 11:00 bis 12:30 wöch. von 14.10.2022  Schwanseestraße 143 - Lintpool 2.17      
Einzeltermine anzeigen
Fr. 11:00 bis 12:30 wöch. von 14.10.2022  Schwanseestraße 143 - Seminarraum 3.31      
Einzeltermine anzeigen
Mo. 15:15 bis 16:45 wöch. von 17.10.2022  Schwanseestraße 143 - Seminarraum 2.16  

Vorlesung

 
Gruppe [unbenannt]:
 
 


Zugeordnete Personen
Zugeordnete Personen Zuständigkeit
Soaibuzzaman, . , Master of Science
Ringert, Jan, Prof., Dr.rer.nat.
Studiengänge
Abschluss Studiengang Semester Leistungspunkte
Master Digital Engineering (M.Sc.), PV 19 - 6
Master Digital Engineering (M.Sc.), PV 17 - 6
Master Computer Science for Digital Media (M.Sc.), PV 2020 - 6
Master Human-Computer Interaction (M.Sc.), PV19 - 6
Master Human-Computer Interaction (M.Sc.), PV17 - 6
Master Human-Computer Interaction (M.Sc.), PV15 - 6
Zuordnung zu Einrichtungen
Intelligente Softwaresysteme
Fakultät Medien
Inhalt
Beschreibung

Formal methods are rigorous techniques for the mathematical analysis of software and hardware systems. This course introduces aspects of formal methods with applications to software engineering problems.

 

The topics covered in the course include:

  • Introduction to Formal Methods
  • Formal methods tools, e.g.,
    • SMT solvers on the example of Z3
    • Relational models and the Alloy Analyzer
    • Model Checking using SMV
  • Applications of formal methods in practice

 

After completion students will be able to

  • Model problems in different formalisms
  • Analyze software models using formal method tools
  • Evaluate formal methods for software engineering problems
Literatur

Slides, selected recordings, and links to literature will be shared during the lecture

Voraussetzungen

Digital Engineering students must have passed the Software Engineering course

Leistungsnachweis

Participation in exercises

Marked homework project including a presentation

Zielgruppe

M.Sc. Computer Science for Digital Media

M.Sc. Digital Engineering

M.Sc. Human-Computer Interaction


Strukturbaum
Die Veranstaltung wurde 10 mal im Vorlesungsverzeichnis WiSe 2022/23 gefunden:
Specialization  - - - 1
Electives  - - - 3
Master  - - - 4
Electives  - - - 5
Electives  - - - 7
Specialization  - - - 8
Elective Modules  - - - 9
Electives  - - - 10

BISON-Portal Startseite   Zurück Kontakt/Impressum Datenschutz