Software Engineering
Document Actions

Advanced Topics in Software Engineering (Seminar)

In this seminar, we want to investigate recent achievements regarding two active research fields. On the one hand, we want to regard the wide area of quality assurance for software systems. In this area, we will have two blocks. One on particular problems concerning testing of graphical user interfaces and another investigating the usage of formal verification in industrial contexts. On the other hand, we want to consider approaches to tame the ever growing complexity of contemporary systems. We will also have two blocks, one assessing the idea of software product lines and one addressing current theory and practice of component-based software development.

Topics

  • GUI Testing
    • Generation of Test Scripts
    • Maintenance of Test Scripts
    • Topes: A New Approach for Data Validation
  • Formal Methods
    • The Play-In/Play-Out Approach
    • Domain Specific Formal Languages in the Railroad Domain
    • (Automotive)
    • (RAT)
    • (Empirical Studies)
  • Product Lines
    • Variability following Pohl
    • Variability following NN
    • DSL for Product Lines
  • Components
    • BIP Component Framework
    • Rich Components
    • Cadena Component Verification

e-Learning Platform

Schedule

28.4.2009 Kick-Off Meeting

The seminar presentations take place as a block.

Registration

Please register directly using the "Vorlesungsverzeichnis" (HIS-LSF). You can additionally write Stephan or Bernd if you have own exciting proposals of advanced topics in Software Engineering. The language of the course is English.