392189 Themen in System- und Softwareengineering (S) (WiSe 2005/2006)
Contents, comment
-
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).
Bibliography
-
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
External comments page
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Di | 15-17 | C0-288 | 17.10.2005-10.02.2006 |
Subject assignments
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Naturwissenschaftliche Informatik / Diplom | (Enrollment until SoSe 2004) | HS |
- Registered number: 3
- This is the number of students having stored the course in their timetable. In brackets, you see the number of users registered via guest accounts.
- Address:
- WS2005_392189@ekvv.uni-bielefeld.de
- This address can be used by teaching staff, their secretary's offices as well as the individuals in charge of course data maintenance to send emails to the course participants. IMPORTANT: All sent emails must be activated. Wait for the activation email and follow the instructions given there.
- If the reference number is used for several courses in the course of the semester, use the following alternative address to reach the participants of exactly this: VST_387749@ekvv.uni-bielefeld.de
- Coverage:
- No students to be reached via email
- Notes:
- Additional notes on the electronic mailing lists
- Last update basic details/teaching staff:
- Friday, December 11, 2015
- Last update times:
- Thursday, October 13, 2005
- Last update rooms:
- Thursday, October 13, 2005
- Type(s) / SWS (hours per week per semester)
- S / 2
- Department
- Faculty of Technology
- Questions or corrections?
- Questions or correction requests for this course?
- Planning support
- Clashing dates for this course
- Links to this course
- If you want to set links to this course page, please use one of the following links. Do not use the link shown in your browser!
- The following link includes the course ID and is always unique:
- https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=387749
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 387749