Menü
Software Engineering
Search Site
only in current section
Advanced Search…
You are here:
Home
›
…
›
…
›
…
›
Resources
›
Slides
›
Rhapsody Projects related to Ex. …
Info
Rhapsody Projects related to Ex. 5
RhapsodyProjects.tgz
— Gzip archive, 2924 kB (2994822 bytes)
«
December 2024
»
December
Mo
Tu
We
Th
Fr
Sa
Su
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Home
Quick Access
Team
Andreas Podelski
Daniel Dietsch
Matthias Heizmann
Jochen Hoenicke
Bernd Westphal
Anna Liolios-Zimmermann
Marlis Jost
Martin Preen
Andreas Dereani
Sergio Feo-Arenis
Marius Greitschus
Nico Hauff
Elisabeth Henkel
Dominik Klumpp
Vincent Langenfeld
Alexander Nutz
Christian Reuter
Tanja Schindler
Frank Schüssele
Marcel Ebbinghaus
Rebecca Albrecht
visual_impedance_model
Stephan Arlt
Jelena Barth
Bruno Berstel-Da Silva
Sergiy Bogomolov
Berit Brauer
Jürgen Christ
Evren Ermis
Harald Fecher
Christian Herrera
resources
Jan Leike
Stefan Maus
Corina Mitrohin
Tobias Morciniec
Marco Muniz
Amalinda Post
Martin Schäf
Christian Schilling
Mohammed Nassim Seghir
Martin Wehrle
Manuel Bentele
Teaching
Student Projects and Thesis Topics
Available
In progress
Finished
Winter Term 2024/25
Cyber-Physical Systems I - Discrete Models (Lecture)
Softwarepraktikum
Advanced Topics in Requirements Engineering (Seminar)
Automatentheorie (Proseminar)
Summer Term 2024
Automatentheorie (Proseminar)
Softwaretechnik / Software Engineering (Lecture)
Program Verification (Lecture)
Winter Term 2023/24
Cyber-Physical Systems I - Discrete Models (Lecture)
Softwarepraktikum
Summer Term 2023
Automatentheorie (Proseminar)
Softwaretechnik / Software Engineering (Lecture)
Theoretische Informatik (Lecture)
Winter Term 2022/23
Cyber-Physical Systems I - Discrete Models (Lecture)
Softwarepraktikum
Automatentheorie (Proseminar)
Programanalysis and Verification (Seminar)
Summer Term 2022
Decision Procedures (Lecture)
Theoretische Informatik (Lecture)
Program Verification (Lecture)
Softwaretechnik / Software Engineering (Lecture)
Winter Term 2021/22
Cyber-Physical Systems I - Discrete Models (Lecture)
Softwarepraktikum
Programmanalyse (Proseminar)
Summer Term 2021
Automata Theory (Seminar)
Automata Theory (Proseminar)
Program Verification (Lecture)
Softwaretechnik / Software Engineering (Lecture)
Winter Term 2020/21
Advanced Topics in Program Analysis (Seminar)
Softwarepraktikum
Cyber-Physical Systems I - Discrete Models (Lecture)
Programmanalyse (Proseminar)
Summer Term 2020
Automata Theory (Seminar, Proseminar)
Program Verification (Lecture)
Softwaretechnik / Software Engineering (Lecture)
Winter Term 2019/20
Automata Theory (Seminar)
Decision Procedures (Lecture)
Cyber-Physical Systems I - Discrete Models (Lecture)
Programmanalyse (Proseminar)
Summer Term 2019
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Program Verification (Lecture)
Softwaretechnik / Software Engineering (Lecture)
Winter Term 2018/19
Automata Theory (Seminar)
Program Analysis (Seminar)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Cyber-Physical Systems I - Discrete Models (Lecture)
Informatik III (Lecture)
Programmanalyse (Proseminar)
Summer Term 2018
Automata Theory (Seminar, Proseminar)
Decision Procedures (Lecture)
Program Analysis (Seminar)
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Program Verification (Lecture)
Softwaretechnik / Software Engineering (Lecture)
Winter Term 2017/18
Automata Theory (Seminar, Proseminar)
Program Analysis & Software Testing (Seminar)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Cyber-Physical Systems I - Discrete Models (Lecture)
Informatik III (Lecture)
Real-Time Systems (Lecture)
Summer Term 2017
Automata Theory (Seminar, Proseminar)
Program Analysis & Software Testing (Seminar)
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Cyber-Physical Systems - Hybrid Models (Lecture)
Formal Methods for Java (Lecture)
Program Verification (Lecture)
Softwaretechnik / Software Engineering (Lecture)
Winter Term 2016/17
Advanced Topics in Requirements Engineering (Seminar)
Automata Theory (Seminar, Proseminar)
Decision Procedures (Lecture)
Program Analysis & Software Testing (Seminar)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Cyber-Physical Systems I - Discrete Models (Lecture)
Software Design, Modelling, and Analysis in UML (Lecture)
Summer Term 2016
Automata Theory (Seminar, Proseminar)
Program Analysis & Software Testing (Seminar)
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Cyber-Physical Systems - Hybrid Models (Lecture)
Softwaretechnik / Software Engineering (Lecture)
Winter Term 2015/16
Automata Theory (Seminar, Proseminar)
Decision Procedures (Lecture)
Program Analysis & Software Testing (Seminar)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Software Design, Modelling, and Analysis in UML (Lecture)
Summer Term 2015
Automata Theory (Seminar, Proseminar)
Program Analysis (Seminar)
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Softwaretechnik / Software Engineering (Lecture)
Winter Term 2014/2015
Automatentheorie (Proseminar)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Informatik III
Software Design, Modelling, and Analysis in UML (Lecture)
Summer Term 2014
Automata Theory (Seminar)
Einführung in die Informatik (Vorlesung)
Seminar Formal Methods for C
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Computer Science Theory (Bridging Course) (Tutorial)
Real-Time Systems (Lecture)
Winter Term 2013/2014
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Design and Analysis of Cyber Physical Systems (Seminar)
Computer Supported Modeling and Reasoning
Informatik III
Static Code Analysis (Seminar)
Software Design, Modelling, and Analysis in UML (Lecture)
Software Testing (Seminar)
Summer Term 2013
Seminar Automata Theory
Decision Procedures (Lecture)
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Seminar Advanced Topics in Requirements Engineering
Seminar Advanced Topics in Software Engineering
Cyber-Physical Systems - Hybrid Models
Seminar Hybrid Systems
Real-Time Systems (Lecture)
Proseminar Topics in Software Engineering
Winter Term 2012/2013
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Design and Analysis of Cyber Physical Systems (Seminar)
Cyber-Physical Systems I - Model Checking (Lecture)
Formal Methods for Java (Lecture)
Software Design, Modelling, and Analysis in UML (Lecture)
Software Testing (Seminar)
Testverfahren für Softwaretechnik (Proseminar)
Summer Term 2012
Automata Theory
Decision Procedures
Seminar / Proseminar (Advanced) Topics in Requirements Engineering
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Cyber-Physical Systems - Hybrid Models
Seminar Hybrid Systems
Model-based Testing and Analysis
Real-Time Systems (Lecture)
Theory I
Winter Term 2011/2012
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Design and Anaylsis of Cyber Physical Systems
Formal Methods for Java
Program Verification
Static Code Analysis
Software Design, Modelling, and Analysis in UML
Software Testing
Tools
Ultimate
SMTInterpol
Hanfor
Gazoo
Hybrid systems
Assume-Guarantee Abstraction Refinement in SpaceEx
Benchmark Generator for Stratified Controllers of Tank Networks
FMI Co-Simulation
Guided Model Checking for Hybrid Systems
Hybrid automata: from verification to implementation
Abstraction-based Parameter Synthesis for Multiaffine Systems
Direction Refinement Framework
ACSAR
AMTV
Bohne
Exorcise
MCTA
Projects
AVACS
Salomo
Verisoft XT
Graduiertenkolleg
Case Study Repository
Wireless Fire Alarm System
Quasi-Dependent Variables
Quasi-equal Clocks Reduction
Research Data Base
Service
Gallery
Contact
Navigation
Team
Teaching
Student Projects and Thesis Topics
Winter Term 2024/25
Summer Term 2024
Winter Term 2023/24
Summer Term 2023
Winter Term 2022/23
Summer Term 2022
Winter Term 2021/22
Summer Term 2021
Winter Term 2020/21
Summer Term 2020
Winter Term 2019/20
Summer Term 2019
Winter Term 2018/19
Summer Term 2018
Winter Term 2017/18
Summer Term 2017
Winter Term 2016/17
Summer Term 2016
Winter Term 2015/16
Summer Term 2015
Winter Term 2014/2015
Summer Term 2014
Winter Term 2013/2014
Summer Term 2013
Winter Term 2012/2013
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Design and Analysis of Cyber Physical Systems (Seminar)
Cyber-Physical Systems I - Model Checking (Lecture)
Formal Methods for Java (Lecture)
Software Design, Modelling, and Analysis in UML (Lecture)
Resources
Exercises
Slides
Rhapsody project from Lecture 14
Rhapsody Projects related to Ex. 5
Lecture 01: Introduction, Formalia (annotated slides, 2-up for printing)
Lecture 01: Introduction, Formalia (annotated slides, 6-up for printing)
Lecture 01: Introduction, Formalia (annotated slides)
Lecture 02: Semantical Model (annotated slides, 2-up for printing)
Lecture 02: Semantical Model (annotated slides, 6-up for printing)
Lecture 02: Semantical Model (annotated slides)
Lecture 03: Object Constraint Language (annotated slides, 2-up for printing)
Lecture 03: Object Constraint Language (annotated slides, 6-up for printing)
Lecture 03: Object Constraint Language (annotated slides)
Lecture 04: OCL Cont'd, Object Diagrams (annotated slides, 2-up for printing)
Lecture 04: OCL Cont'd, Object Diagrams (annotated slides, 6-up for printing)
Lecture 04: OCL Cont'd, Object Diagrams (annotated slides)
Lecture 05: Class Diagrams I (annotated slides, 2-up for printing)
Lecture 05: Class Diagrams I (annotated slides, 6-up for printing)
Lecture 05: Class Diagrams I (annotated slides)
Lecture 06: A Type System for OCL (annotated slides, 2-up for printing)
Lecture 06: A Type System for OCL (annotated slides, 6-up for printing)
Lecture 06: A Type System for OCL (annotated slides)
Lecture 07: Class Diagrams II (annotated slides, 2-up for printing)
Lecture 07: Class Diagrams II (annotated slides, 6-up for printing)
Lecture 07: Class Diagrams II (annotated slides)
Lecture 08: Class Diagrams III (annotated slides, 2-up for printing)
Lecture 08: Class Diagrams III (annotated slides, 6-up for printing)
Lecture 08: Class Diagrams III (annotated slides)
Lecture 09: Class Diagrams IV (annotated slides, 2-up for printing)
Lecture 09: Class Diagrams IV (annotated slides, 6-up for printing)
Lecture 09: Class Diagrams IV (annotated slides)
Lecture 10: Constructive Behaviour, State Machine Overview (annotated slides, 2-up for printing)
Lecture 10: Constructive Behaviour, State Machine Overview (annotated slides, 6-up for printing)
Lecture 10: Constructive Behaviour, State Machine Overview (annotated slides)
Lecture 11: Core State Machines II (annotated slides, 2-up for printing)
Lecture 11: Core State Machines II (annotated slides, 6-up for printing)
Lecture 11: Core State Machines II (annotated slides)
Lecture 12: Core State Machines III (annotated slides, 2-up for printing)
Lecture 12: Core State Machines III (annotated slides, 6-up for printing)
Lecture 12: Core State Machines III (annotated slides)
Lecture 13: Core State Machines IV (annotated slides, 2-up for printing)
Lecture 13: Core State Machines IV (annotated slides, 6-up for printing)
Lecture 13: Core State Machines IV (annotated slides)
Lecture 14: Core State Machines V (annotated slides, 2-up for printing)
Lecture 14: Core State Machines V (annotated slides, 6-up for printing)
Lecture 14: Core State Machines V (annotated slides)
Lecture 15: Hierarchical State Machines I (annotated slides, 2-up for printing)
Lecture 15: Hierarchical State Machines I (annotated slides, 6-up for printing)
Lecture 15: Hierarchical State Machines I (annotated slides)
Lecture 16: Hierarchical State Machines II (annotated slides, 2-up for printing)
Lecture 16: Hierarchical State Machines II (annotated slides, 6-up for printing)
Lecture 16: Hierarchical State Machines II (annotated slides)
Lecture 17: Live Sequence Charts (annotated slides, 2-up for printing)
Lecture 17: Live Sequence Charts (annotated slides, 6-up for printing)
Lecture 17: Live Sequence Charts (annotated slides)
Lecture 18: Live Sequence Charts II (annotated slides, 2-up for printing)
Lecture 18: Live Sequence Charts II (annotated slides, 6-up for printing)
Lecture 18: Live Sequence Charts II (annotated slides)
Lecture 19: Live Sequence Charts III (annotated slides, 2-up for printing)
Lecture 19: Live Sequence Charts III (annotated slides, 6-up for printing)
Lecture 19: Live Sequence Charts III (annotated slides)
Lecture 20: Statemachines Cont'd, Inheritance I (annotated slides, 2-up for printing)
Lecture 20: Statemachines Cont'd, Inheritance I (annotated slides, 6-up for printing)
Lecture 20: Statemachines Cont'd, Inheritance I (annotated slides)
Lecture 21: Inheritance II (annotated slides, 2-up for printing)
Lecture 21: Inheritance II (annotated slides, 6-up for printing)
Lecture 21: Inheritance II (annotated slides)
Lecture 22: Inheritance III, Meta-Modelling (annotated slides, 2-up for printing)
Lecture 22: Inheritance III, Meta-Modelling (annotated slides, 6-up for printing)
Lecture 22: Inheritance III, Meta-Modelling (annotated slides)
Lecture 23: Wrapup & Questions (annotated slides, 2-up for printing)
Lecture 23: Wrapup & Questions (annotated slides, 6-up for printing)
Lecture 23: Wrapup & Questions (annotated slides)
Software Testing (Seminar)
Testverfahren für Softwaretechnik (Proseminar)
Summer Term 2012
Winter Term 2011/2012
Tools
Projects
Research Data Base
Service
Gallery
Contact
«
December 2024
»
December
Mo
Tu
We
Th
Fr
Sa
Su
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
RhapsodyProjects.tgz
—
Gzip archive,
2924 kB (2994822 bytes)
RhapsodyProjects.tgz