Prof. Dr. Eric Bodden

In the upcoming summer semester, Martin Monperrus and I will be teaching a new course on Automated Software Engineering, here at TU Darmstadt. During the course we will look at the entire development life-cycle from a tool perspective: How can automated tools support programmers during the design, implementation, testing and maintenance of a software product? We will talk about approaches to…

• automated analysis & definition of requirements
• computer-aided design of software
• implementation with intelligent IDEs
• automated testing and verification
• computer-aided bug finding
• aiding program understanding by mining latent specifications from existing software
• advanced debugging & profiling techniques
• computer-aided refactoring and documentation

The course webpage contains a rough outline of the topics that we have planned but at this point we are still open for suggestions, as long as they fit the general topic.