Concrete topics Spring Industry contact can be provided : Data requirements for System of Systems case study on how to define and monitor them Supervisor: Philipp Leitner I supervise master projects in the broad areas of Web and cloud engineering, performance testing, and mining software repositories.
SIC also supports young start-ups in further developing and marketing their ideas and inventions. These links enable change impact analysis, provide input for certification, and improve program comprehension.Our students are intensively supported by preliminary courses and tutors. In addition, the Saarland Informatics Campus offers the opportunity to participate in research projects at an early stage. Traceability is an increasingly important part of software development, especially in safety-critical domains where it is often mandated by certification authorities. The goal of the thesis is therefore to create a DSL for querying traceability information based on a set of scenarios and evaluate the language based on these scenarios and realistic examples. Whether in the automotive, energy or healthcare industries, not only IT companies but also government institutions, banks and industry are recruiting competent and committed junior staff — worldwide! Traceability is "the ability to interrelate any uniquely identifiable software engineering artifacts to any other, maintain required links over time, and use the resulting network to answer questions of both the software product and its development process" COEST. Drop by my office if you are interested in a thesis with me. Saarland Informatics Campus E1 3, R. Students interested in doing their master's thesis with me are advised to contact me directly, ideally listing their interests in the initial email what trends and technologies are you excited about and want to know more about? A semester ticket allows free trips by train or bus in the surrounding area, and Paris lures in less than two hours by ICE. For instance, a developer should be able to see requirements that are connected to a class in a UML class diagram in Papyrus. Using collaborative features to facilitate traceability maintenance: Proposal A query language for traceability models: traceability information, i.
This thesis should explore conceptual and tool support to address both issues by providing visualisation techniques e. Some examples of available topics are: Security extension for ArchUnit.
And the university orchestra, choirs, theater groups, and language center offer cultural variety. The nearby forest and the sports courses offer opportunities to keep fit. A formal experiment in search-based software testing and mutation testing.
Systematic literature review on lightweight formal methods Automatic construction of models from black-box software artefacts Supervisor: Riccardo Scandariato : My research area is security and privacy.