BA Seminar: Advanced Topics in Software and Systems Engineering

Schedule

  • Seminar (Prof. Dr. Stefan Leue, Martin Kölbl)
    Wednesday 10:00 - 11:30   Room PZ 801      Start: 20 April 2022
  • Students who would like to give a talk, please join the session on April 20th.

Workload

Seminar presentation (appr. 30 mins.) plus seminar report (appr. 10 pages).

Prerequisites

Second semester Bachelor in Computer Science or Information Engineering standing in terms of Programming and Discrete Mathematics.

Course content

This seminar introduces into selected specialized areas in Software Engineering. It complements the course in Software Engineering being taught concurrently.

Teaching methods

For attendance, the registration in ZEuS is mandatory. Submission will be done in Ilias.
The course will be offered in English, but seminar presentations can be given in German, if so desired.

Learning objectives

Participants will be enabled to assess advanced software engineering techniques and to employ them correctly in their professional role as software developer, architect or project manager.

Course literature

Ian Sommerville:  Software Engineering, 10th Edition.
Clark et al: Handbook of Modelchecking, 2018
Several Papers

Target group

Second semester Bachelor in Computer Science or Information Engineering standing in terms of Programming and Discrete Mathematics.

Credits

ECTS 4

Weekly teaching hours

SWS 2

Topics

Topic 1: Project Management
Software Engineering, Chapter 22 + 23, Edited by Ian Sommerville, 10th Edition

Topic 2: DevOps, Continous Delivery
[DevOps: a software architect's perspective]

Topic 3: Service and Aspect-Oriented Software Engineering
Software Engineering, Chapter 18 + 31 [chapter 31 is only digitally available], Edited by Ian Sommerville, 10th Edition

Topic 4: Realtime and Embedded Systems Engineering
Software Engineering, Chapter 20 + 21, Edited by Ian Sommerville, 10th Edition

Topic 5: Dependability and Safety Engineering
Software Engineering, Chapter 10 + 12, Edited by Ian Sommerville, 10th Edition

Topic 6: Security and Resilience Engineering
Software Engineering, Chapter 13 + 14, Edited by Ian Sommerville, 10th Edition

Topic 7: JVM fuzzing for JIT-induced side-channel detection
[ICSE20]

Topic 8: Ethische Deliberation für agile Softwareprozesse
[https://www.bidt.digital/wp-content/uploads/2020/06/bidt_Working-Paper_EDAP.pdf]

Topic 9: Combining Model Checking and Testing
Handbook of Modelchecking, Chapter 19, 2018

Topic 10: Technical Debt
Chapter on Ilias

Topic 11: Data Scientists in Software Teams: State of the Art and Challenges
[IEEE Transaction, 2017]

Topic 12: A Survey of Smart Contract Formal Specification and Verification
[ACM 2022]

Topic 13: Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE
[VMCAI22][SAS21]