Formal Methods in Software Engineering

Room: TBA

Kick-Off Meeting: TBA

Lecturer:

Prof. Dr. Bernhard Rumpe

Supervising Assistants:

Course Type:Seminar

Course ID:TBA

Subject: Formal Methods in Software Engineering

In model-driven Engineering models are the main development artifacts. By utilizing rigorously designed modeling-languages these models obtain a formal meaning which enables automated processing such as verification or static analyses of these models. Ultimately, this enables agile and distributed development by automation.

What you will learn: Topics of the seminar include but are not limited to

Formal semantics of Modeling Languages
Semantic Differencing

Registration and briefing:

Please describe your experience (programming skills, attended lectures, lab courses, seminars).

Preconditions:

Interesse an Softwaretechnik und modellgetriebenen Entwicklungsprozessen. Der Besuch der Vorlesung Modellbasierte Software Entwicklung (kann auch paralle l zum Seminar erfolgen) oder Generative Softwareentwicklung ist wünschenswert.

Content:
Please inform yourself about the learning objectives in the "Modulhandbuch" (M.Sc.).

main page about us - staff - activities - teams - how to find us teaching - lectures - bachelor theses - master theses research - projects publications - by topic - books - ph.d. theses jobs - research (WiMi) - students (HiWi) - industrial cooperation videos		Formal Methods in Software Engineering Room: TBA Kick-Off Meeting: TBA Lecturer: Prof. Dr. Bernhard Rumpe Supervising Assistants: Imke Drave, M.Sc. Oliver Kautz, M. Sc. Course Type:Seminar Course ID:TBA Subject: Formal Methods in Software Engineering In model-driven Engineering models are the main development artifacts. By utilizing rigorously designed modeling-languages these models obtain a formal meaning which enables automated processing such as verification or static analyses of these models. Ultimately, this enables agile and distributed development by automation. What you will learn: Topics of the seminar include but are not limited to Formal semantics of Modeling Languages Semantic Differencing Registration and briefing: Please describe your experience (programming skills, attended lectures, lab courses, seminars). Preconditions: Interesse an Softwaretechnik und modellgetriebenen Entwicklungsprozessen. Der Besuch der Vorlesung Modellbasierte Software Entwicklung (kann auch paralle l zum Seminar erfolgen) oder Generative Softwareentwicklung ist wünschenswert. Content: Please inform yourself about the learning objectives in the "Modulhandbuch" (M.Sc.).