Title of Course: Software Technology
Exam number: XM 1470
Length of course: 2 + 2 hours per week
Type of course: Lecture and Exercises
Language: English
Lecturer: Prof. Dr. W. Dosch
Aim of course: The lecture surveys important methods for the development of large software systems. Its organisation follows the phases of the software life cycle, viz. requirements definition, design, implementation, integration and testing. The lecture presents description techniques, construction principles and design methods using characteristic case studies.
Course Requirements: Basic knowledge of programming languages, practice in object-oriented programming
Recommended Literature:

• Helmut Balzert: Lehrbuch der Software-Technik: Software-Entwicklung. Spektrum Akademischer Verlag, Heidelberg, 2nd ed., 2001
• Ian Sommerville: Software Engineering.Addison-Wesley, Wokingham, England, 6th ed., 2001
  

Shares Module with:

• Diplom Computer Science, 6. term
• Bachelor Computer Science, 6. term (old)
• Bachelor Computer Science, 4. term (new)
  

Contents:
1. Foundations
1.1 Survey
1.2 Software Process
1.3 Software Quality
1.4 Software Quality Control
1.5 Models
2. Requirements Engineering
2.1 Activities, Aims, Problems
2.2 Basic Formalisms
2.3 Object-oriented Modelling
3. Design
3.1 Foundations
3.2 Architectural Design
3.3 Object-orientierted Design
4. Validation, Verification, and Test
4.1 Basic Notions and Methods
4.2 Software Inspection
4.3 Sofware Testing
4.4 Formal Program Verification

<<back