Moses - Softwarequalität

Zur Modulseite PDF generieren

Modul / Version
#40712 / #2

Gültigkeit
SS 2014 - SS 2014

Verfügbare Sprache(n)
Deutsch

Titel des Moduls
Softwarequalität - Praxis

Leistungspunkte
3

Modulverantwortliche*r
Jähnichen, Stefan

Benotung
Benotet

Prüfungsform
Portfolioprüfung

Lehrsprache(n)
Deutsch

Zugehörigkeit

Fakultät
Fakultät IV

Institut
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet
34351200 FG Softwaretechnik

Prüfungsausschuss
Keine Angabe

Kontakt

Sekretariat
TEL 12-3

Ansprechpartner*in
Duske, Kristian

E-Mail-Adresse
stefan.jaehnichen@tu-berlin.de

Webseite
Keine Angabe

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum SS 2014 - SS 2014.

Lernergebnisse

Die Studierenden besitzen Fähigkeiten und Erfahrungen im praktischen Umgang mit Werkzeugen für die automatische Softwareanalyse oder einen vertieften Einblick in die Entwicklung verteilter eingebetteter Systeme. Das Modul vermittelt überwiegend: Fachkompetenz 10x Methodenkompetenz 30x Systemkompetenz 40x Sozialkompetenz 20x

Lehrinhalte

In der IV Verifikation von C-Programmen in der Praxis wird vermittelt, wie mit Hilfe von Werkzeugen aus dem industriellen Umfeld eine automatische Analyse für Teile einer realen Software durchgeführt werden kann. Das Seminar Entwicklung verteilter eingebetteter Systeme ermöglicht es den Teilnehmern, sich mit aktuellen Forschungsthemen der Softwaretechnik vertraut zu machen, diese in einem Vortrag zu präsentieren und in einer Ausarbeitung geeignet wiederzugeben.

Modulbestandteile

Wahlpflichtbereich

Aus den folgenden Veranstaltungen muss eine Veranstaltung abgeschlossen werden.

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
Entwicklung verteilter eingebetteter Systeme	SEM	0434 L 190	WiSe	Keine Angabe	2
Verifikation von C-Programmen in der Praxis	IV	0434 L 196	SoSe	Keine Angabe	2

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Entwicklung verteilter eingebetteter Systeme (SEM):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	2.0h	30.0h
Vor-/Nachbereitung	15.0	4.0h	60.0h
			90.0h(~3 LP)

Verifikation von C-Programmen in der Praxis (IV):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	2.0h	30.0h
Vor-/Nachbereitung	15.0	4.0h	60.0h
			90.0h(~3 LP)

Der Aufwand des Moduls summiert sich zu 90.0 Stunden. Damit umfasst das Modul 3 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

In den Integrierten Veranstaltungen Softwarequalitätsmanagement und Verifikation von C-Programmen in der Praxis kommen Vorlesungen, Übungen und kurze Präsentationen der Studierenden zum Einsatz. Im Seminar Entwicklung verteilter eingebetteter Systeme wird von den Studierenden ein wissenschaftlicher Vortrag gehalten und eine Ausarbeitung angefertigt.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

Kenntnisse in den Grundlagen der theoretischen Informatik (Logik, Diskrete Mathematik) sind wünschenswert.

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Portfolioprüfung

Art der Portfolioprüfung

Keine Angabe

Sprache(n)

Deutsch

Prüfungselemente

Name	Punkte/Gewicht	Kategorie	Dauer/Umfang
praktische Übungsaufgaben aus der IV Verifikation von C-Programmen in der Praxis oder Referat inkl. Ausarbeitung aus dem Seminar Softwaretechnik	100	Keine Angabe	Keine Angabe

Notenschlüssel

Keine Angabe

Prüfungsbeschreibung (Abschluss des Moduls)

Die Gesamtnote für das Modul entspricht der Note aus der gewählten Lehrveranstaltung. In der IV Verifikation von C-Programmen in der Praxis werden praktische Übungsaufgaben bewertet und beim Seminar Entwicklung verteilter eingebetteter Systeme wird ein Referat inkl. Ausarbeitung bewertet.

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Winter- und Sommersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Die Zulassung zum Modul (Teilnehmerbeschränkung) wird durch eine elektronische Anmeldung über http://www.swt.tu-berlin.de/menue/studium_und_lehre/ geregelt. Die verbindliche Anmeldung erfolgt vier Wochen nach Beginn des Moduls beim Modulverantwortlichen.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: nicht verfügbar

Literatur

Empfohlene Literatur
J. Wietzke, M.T. Tran: Automotive Embedded Systeme, Springer-Verlag, 2005.
K. Lemke, C. Paar, M. Wolf: Embedded Security in Cars, Springer-Verlag, 2005.
P. Clements, L. Northrop: Software Product Lines - Practices and Patterns, Addison Wesley, 2002.
P. Liggesmeyer, D. Rombach (Hrsg.): Software Engineering eingebetteter Systeme, Grundlagen - Methodik - Anwendungen, Elsevier-Verlag, 2005.

Zugeordnete Studiengänge

Dieses Modul findet in keinem Studiengang Verwendung.

Studierende anderer Studiengänge können dieses Modul ohne Kapazitätsprüfung belegen.

Wirtschaftsingenieurwesen - Master (IuK) Das Modul ist sinnvoll mit allen anderen Modulen von „Softwaretechnik“ kombinierbar

Sonstiges

Keine Angabe