Was ist das hier?

  • Eine Plattform von Flensburger Studenten für Flensburger Studenten
  • Ein Wiki zum Sammeln von Wissen
  • Ein Forum zum Austausch
  • Eine Wissensdatenbank zum Informatikstudium:
    • Programmieren in C, C#, PHP, Javascript, HTML, CSS
    • Datenbanken und Abfragen mit SQL
    • 2D / 3D - Gestaltung
    • Mathe, Physik, Gerätetechnik, RoBs
    • Audio- / Videotechnik
    • ...und vieles mehr

Anmelden

Warum registrieren?

Weil besser als gut!

 

Software Engineering

B.Sc. Angewandte Informatik
Studiengang B.Sc. Angewandte Informatik
Modulbezeichnung Software Engineering
Semester 4. Semester
Modulverantwortliche(r) Prof. Dr. H.W. Lang
Lehrform / SWS Vorlesung / Übung, 4-std., 4. Semester
Kreditpunkte 5
Voraussetzungen Orientierungsprüfung

Semesterthemen

Software-Engineering ist die Lehre von der ingenieurmäßigen Entwicklung, Erstellung und Wartung von großen Software-Paketen, unter Anwendung des jeweiligen Standes der Technik in den Teilbereichen Spezifikation, Architektur, Programmierung, Test und Dokumentation.

  • Formale Verifikation von Programmen
  • Testmethoden für Software
  • Software-Entwurfsmuster (Design Patterns)
  • UML-Notation

Übungsaufgaben

Formale Verifikation

Hier mal ein paar Lösungen zu den Aufgaben von Prof. Lang zum Thema "Formale Verifikation".

Vorlesungen

Wichtige Artikel

Hinweis zu den Übungen

Programmiert wird in Java.



Kategorie: 4. Semester | Software Engineering
| Mehr

Zahlen & Daten

  • 16338 Seitenaufrufe
  • 794 Tage alt
  • 33 Versionen
  • Letzte Änderung: 08.04.2011 um 11:15 Uhr

Publish