Proseminar: Best Practices of Modern and Efficient Software Engineering

Lehrveranstaltungsnummer:12.53861

Dozenten:

Betreuende Assistenten:

Termine

  • Kick-Off Meeting: 4. Oktober 2018 12.30 Uhr
  • The proseminar will be held as a block course with presentations at the end of the semester.

Art der Veranstaltung:

Proseminar

Language:

de/en

Beschreibung: Das Proseminar soll zur Vorbereitung einer Vertiefung im Umfeld der Softwaretechnik und Softwareentwicklung dienen, um die Konstruktion komplexer Software in Bachelor- und Masterprojekten zu erleichtern. Java als Sprache und als Entwicklungsplattform bleibt eins der beliebtesten Werkzeuge in der modernen Software-Entwicklung. Im akademischen Umfeld wird Java zwar eingeführt, wichtige Aspekte der praktischen Anwendung kommen oft zu kurz.

Das Ziel dieses Proseminars ist es, die tiefergehenden Aspekte der Java Programmierung zu untersuchen und die Best-Practices zu identifizieren und vorzustellen. Die Ergebnisse sollen anschließend ausgearbeitet und in einem Vortrag vorgestellt werden.

Materialien:
Voraussichtliche Themen:
  • (01) Java Exceptions und alternative Fehlerbehandlungsstrategien
  • (02) Design Patterns und ihre Anwendung in Java
  • (03) Modellierung mit UML/P
  • (04) Concurrency in Java
  • (05) Interaction and Realizability
  • (06) Computability and realizability for interactive computations
  • (07) Compositional Refinement
  • (08) Petri Nets
  • (09) Machine Learning in Theorem Proving