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).
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
Frequency | Weekday | Time | Format / Place | Period |
---|
Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
---|---|---|---|---|---|---|---|
Naturwissenschaftliche Informatik / Diplom | (Enrollment until SoSe 2004) | HS |