Search - BMSD - TU Dortmund

Search
People Search

1434 results

1. SE
Chair 14 of the Faculty of Computer Science

Chair 14 for Software Engineering Chair 14 of the Faculty of Computer Science at the TU Dortmund University is engaged in teaching and research in the areas of Software Architecture , Business Processes [...] Processes and the formal and logical foundations of Software Engineering . This research also serves as the basis for the affiliated Fraunhofer Institute for Software and Systems Engineering (ISST) . Our chair [...] Automated Quality Assurance (AQUA) Group is lead by Prof. Dr. Falk Howar. Prof. Dr. Jakob Rehof Software Engineering by Algorithms and Logic (SEAL) Group © SEAL Prof. Dr.-Ing. Petra Wiederkehr Virtual …
1. AQUA
2. Teaching
Seminars

Seminars Proseminar: Automotive Software Engineering Proseminar: Software Verification Seminar: AI in Software Engineering Seminar: Safe Autonomous Systems …
1. PAS
2. Research
Process Automation Systems - Software

Software The Laboratory of Process Automation Systems is commited to open-source software developement. Find below an overview of our available software and toolboxes. do-mpc …
1. Graduiertenzentrum
2. Event: 9/13/2023
Taking off with MAXQDA: Conducting a research project with qualitative data analysis software | Methods for Humanities & Social Sciences

a licence for the qualitative research software MAXQDA is provided. The participants must use the software to follow along. Previous knowledge of the software is beneficial but not at all required. The [...] establish a solid understanding of using the software from data exploration to retrieving results. This way the participants will receive an overview of the software’s foundational functions. This will allow [...] solid introduction into using MAXQDA for both interested researchers and already active users. The software can be used for the analysis of a wide range of empirical data such as interviews, focus groups …
1. ITMC
2. Our Services
IT Workplace

good hardware and the right software for the customer. The ITMC advises and supports TU Dortmund employees in both areas. In part, students can also benefit from the software offer. © Saskia Molewicz/TU [...] University. Learn More ... © Saskia Molewicz/TU Dortmund Software / License Management The ITMC has signed framework agreements for numerous software products. See which one supports you in your area of work …
1. ITPL
2. Teaching
3. Courses
IT-Systeme in der industriellen Produktion

this basis, modern software development methods are brought into focus. The focus is on the agile software development method SCRUM. In addition, students learn the importance of software testing in the context [...] Wednesdays, 12:15 - 13:45 HG2 HS3 23.04.2025 © itpl In this module, students learn the basics of the software development cycle in the context of production and logistics. To this end, programming concepts [...] programming language are first introduced and intensively discussed. Based on this, the fundamentals of software development methods are covered. These include typical approaches such as top-down and bottom-up …
1. BMSD
2. Studies
3. Courses
Software in der Strukturmechanik

Software in der Strukturmechanik (Software in structural mechanics) Topic The course teaches the use of commercial programs for structural mechanics. Several established software packages in structural [...] overall model are compared. Course contents Practice-oriented structural modeling with commercial software Program philosophy of different suppliers Input structure and calculation modules Load case combination [...] verifiable structural analysis Products of the companies D.I.E., RIB, Sofistik, Dlubal and mb AEC Software Accompanying material Reprint of the lecture Degree course The course is intended for 6th semester …
1. AQUA
2. Teaching
Software Verification

Master's module Software Verification Module INF-MSc-333 Type Advanced module from research area: "Software, Security and Verification" Credits 6 Credits (Lecture + Exercise) The course teaches concepts [...] concepts in the area of automated formal verification of software. The focus of the course is on methods that map the verification problem to a logical satisfiability problem or into an automata-based representation [...] generating inductive invariants during verification are considered. In the area of verification of software components, methods that generate formal behavior models from implementations are discussed, as …
1. SSE
2. News: 8/25/2023
SSE@TUDo visits SSE@UPB

Statically Analyzing Complete Software Ecosystems . The Secure Software Engineering group in Paderborn develops languages, mechnisms, processes, and tools to allow software developers to express security [...] We spent two days in Paderborn at the Heinz-Nixdorf-Institute - the home of the Secure Software Engineering group at Paderborn University . Our goals were to catch up on each others research and to identify [...] identify new areas to collaborate. Both groups work on static program analysis and software ecosystem security. In ongoing work, we collaborate on the development of the PhASAR platform currently making …
1. SSE
2. News: 3/4/2024
Paper on Evaluation Methodology accepted at ISSTA'24

the Software Technology Group from Prof. Mira Mezini at TU Darmstadt . The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing [...] Good are Static Call Graphs Really?" just accepted at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) , we construct dynamic baselines that show a realistic call graph for [...] s, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. It has a CORE ranking of A. …