Start my eKVV Studieninformation Lernräume Prüfungsverwaltung Bewerbungs-/Statusportal Anmelden

392189 Themen in System- und Softwareengineering (S) (WiSe 2005/2006)

Inhalt, Kommentar

In diesem Seminar wird die aktuelle Arbeit der RVS-Gruppenteilnehmer vorgestellt. Hauptthemengebiete sind: System-Lifecycle von Requirements bis Decommissioning, Requirements-Engineering mit Ontological Analysis (OA), Formale Spezifikation, Design-Spezifikation mit UML, Konsistenz- und Vollständigkeitsüberprüfungen, Implementation-Relation und formale Verifikation, Forward-Engineering (Code von Design), Validierung, Testen, Projekt-Management und Ressourcen-Schätzung, typische Probleme der Wartung (Operational Maintenance).

Literaturangaben

Lamport, Specifying Systems
Ladkin, Causal Analysis of Systems
Henkel, Safely Sliding Windows
Barnes, High-Integrity Software: The SPARK Approach
Abrial, The B Book
Somerville, Software Engineering
Brügge, Dutoit, Objektorientierte Softwaretechnik
Boehm, Software Engineering Economics
Brooks, The Mythical Man-Month
Glass, Software Runaways
Yourdon, Death March
Demarco, Lister, Waltzing With Bears
Vorlesungsskripte der AG RVS

Externe Kommentarseite

http://elearn.rvs.uni-bielefeld.de/mainpage/SystemSoftware/systemsoftware.php

Lehrende

Termine (Kalendersicht )

Rhythmus Tag Uhrzeit Format / Ort Zeitraum  

Zeige vergangene Termine >>

Klausuren

  • Keine gefunden

Fachzuordnungen

Studiengang/-angebot Gültigkeit Variante Untergliederung Status Sem. LP  
Naturwissenschaftliche Informatik / Diplom (Einschreibung bis SoSe 2004)   HS
Konkretisierung der Anforderungen
Keine Konkretisierungen vorhanden
Lernraum
Teilnehmer*innen
Automatischer E-Mailverteiler der Veranstaltung
Änderungen/Aktualität der Veranstaltungsdaten
Sonstiges