392159 Requirements- und Design-Engineering (S) (SoSe 2008)
Contents, comment
-
Dies ist die Fortsetzung von dem im Wintersemester angebotenen System- und Software-Engineering Seminar. Die Hauptthemen im Sommersemester basieren hauptsächlich auf den Requirements- und Design-Phasen der Systementwicklung. Hauptthemengebiete sind: Allgemeine Requirements-Engineering und -Analyse, Requirements-Engineering mit Ontological Analysis (OA), Formale Spezifikation, Design-Spezifikation, Konsistenz- und Vollständigkeitsüberprüfungen, Implementation-Relation und formale Verifikation, Forward-Engineering (Code von Design).
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
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Di | 15-17 | C0-288 | 07.04.-18.07.2008 |
Subject assignments
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Intelligente Systeme / Master | (Enrollment until SoSe 2012) | System- und Software-E | Wahlpflicht | 2. | 2 | unbenotet | |
| Medieninformatik und Gestaltung / Bachelor | (Enrollment until SoSe 2011) | Wahl | |||||
| Naturwissenschaftliche Informatik / Diplom | (Enrollment until SoSe 2004) | allgem.HS | HS | ||||
| Naturwissenschaftliche Informatik / Master | (Enrollment until SoSe 2012) | System- und Software-Eng | Wahlpflicht | 2. | 2 | unbenotet |
- Address:
- SS2008_392159@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_8069387@ekvv.uni-bielefeld.de
- Notes:
- Additional notes on the electronic mailing lists
- Last update basic details/teaching staff:
- Friday, December 11, 2015
- Last update times:
- Friday, May 2, 2008
- Last update rooms:
- Friday, May 2, 2008
- Type(s) / SWS (hours per week per semester)
- seminar (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=8069387
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 8069387