Electures-Portal - Guest

Softwaretechnik - SS 2008

• Softwaretechnik
  • 1. Kapitel
    • 1.1. Einführung
  • 2. Kapitel
    • 2.1. JAUS, Typkorrektheit
  • 3. Kapitel
    • 3.1. Featherweight Java
    • 3.2. Featherweight Java
  • 4. Kapitel
    • 4.1. Linksets
    • 4.2. Linksets
    • 4.3. Linksets
  • 5. Kapitel
    • 5.1. Design by Contract
  • 6. Kapitel
    • 6.1. Programmverifikation
    • 6.2. Korrektheitsaussagen,Hoarke-Tripel
    • 6.3. Verifizierung am Beispiel
    • 6.4. Programmverifikation
    • 6.5. Parallelität
    • 6.6. Prallelität
    • 6.7. Parallelität
    • 6.8. UML
  • 7. Kapitel
    • 7.1. MDA
    • 7.2. Metamodellierung
    • 7.3. Metamodellierung
  • 8. Kapitel
    • 8.1. Requirements Engineering
  • 9. Übung
    • 9.1. Blatt 1
    • 9.2. Blatt 2
    • 9.3. Blatt 3
    • 9.4. Blatt 4