Suche

Unser neuer Workshop: 3D-Druck Advanced!

unseren Easy Start-Workshop besucht oder anderweitig Vorwissen im Bereich Konstruktionssoftware (z.B. Tinkercad) und der Slicer-Software „Cura“ erworben? Dann ist dieser Workshop vielleicht was für dich! In [...] Du lernst, wie du Fehler beim 3D Druck erkennen kannst und mit gezielten Einstellungen der Slicer-Software „Cura“ löst. Weitere Informationen findest du in den Workshopangeboten in den aktuell angebotenen …

Zwei Arbeiten für den ICSE Journal-First Track angenommen

Fachzeitschriften (IEEE Transaction on Software Engineering (IEEE TSE), ACM Transactions on Software Engineering and Methodology (ACM TOSEM) und Empirical Software Engineering (EMSE)) die Möglichkeit geben [...] über die Ergebnisse an. Die IEEE/ACM International Conference on Software Engineering (ICSE) ist die führende Konferenz für Software Engineering. Seit 1975 ist sie ein anerkanntes jährliches Forum, auf [...] auf dem Gebiet des Software-Engineering zusammenkommen und diskutieren. Mit einem h5-Index von 77 ist sie laut Google Scholar der führende Publikationsort im Bereich der Softwaresysteme. Prof. Hermann fungiert …

Wissenschaftliche Arbeit beim IEEE Transactions on Software Engineering Journal angenommen

n untersucht. Die Zeitschrift IEEE Transactions on Software Engineering ist eine der führenden Zeitschriften für die Erforschung von Softwaresystemen in der Informatik. Mit einem h5-Index von 59 und einem [...] Gemeinsam mit SAP haben wir die derzeitige Praxis der Wiederverwendung von Open-Source-Software bei SAP und in offenen Projekten untersucht. Wir fanden heraus, dass mehr als 87 % (bzw. 56 %) der Abhängigkeiten [...] Impact-Faktor von 6,226 steht sie laut Google Scholar an dritter Stelle der Publikationsorte für Software-Systemforschung. …

Lehrstuhl 14 der Fakultät Informatik

Lehrstuhl 14 für Software Engineering Der Lehrstuhl 14 der Fakultät für Informatik an der TU Dortmund beschäftigt sich mit der Lehre und Forschung in den Bereichen Softwarearchitektur , Geschäftsprozesse [...] den formalen und logischen Grundlagen des Software Engineerings . Diese Forschung dient außerdem als Grundlage für das verbundene Fraunhofer-Institut für Software- und Systemtechnik (ISST) . Unser Lehrstuhl [...] Automated Quality Assurance (AQUA) wird von Prof. Dr. Falk Howar geleitet. Prof. Dr. Jakob Rehof AG Software Engineering by Algorithms and Logic (SEAL) © SEAL Prof. Dr.-Ing. Petra Wiederkehr AG Virtual Machining …

Forschungsschwerpunkte

und logische Grundlagen der Softwaretechnik Formale Modelle Lambda-Kalkül Kombinatorische Logik Algorithmische Typentheorie Intersektionstypen Logikbasierte Software-Synthese (CL)S Theorembeweiser Automatische [...] Verteilte Systeme Software Engineering Funktionale Programmierung (Co-)Algebraische Datentypen Komponentenbasierte Programmierung Komponentisierung Automatisierte Komposition Software-Architektur [...] Projekte der Forschungsgruppe SEAL Die Forschungsgruppe " Software Engineering by Algorithms and Logic " (SEAL) ist an der Grundlagenforschung des Fraunhofer ISST beteiligt. Die weiteren Forschungsgebiete …

Archiv

2024/2025 Betriebssystembau Einführung in die Programmierung Sommersemester 2024 Systemsoftwaretechnik Verlässliche Systemsoftware Betriebssysteme Wintersemester 2023/2024 Einführung in die Programmierung A [...] Arbeitsgruppenseminar Verlässliche Systemsoftware Betriebssysteme Wintersemester 2022/2023 Betriebssystembau Arbeitsgruppenseminar Sommersemester 2022 Verlässliche Systemsoftware Betriebssysteme …

Drei Fragen an Systemadministrator Sven Buijssen

Manche Anwendungssoftware baut auf Dutzenden von Softwarebibliotheken auf, die eigenen Entwicklungszyklen unterliegen. Ich muss herausfinden, welche konkrete Version einer Softwarebibliothek geeignet [...] ist und welche in Kombination mit anderen Softwarebibliotheken sowie mit der konkreten Anwendungssoftware passt. Ziel ist natürlich, dass die Anwendungssoftware die auf LiDO3 zur Verfügung stehenden Ressourcen [...] besonders herausfordernd erwiesen sich in der Vergangenheit eine Analysesoftware vom europäischen Kernforschungszentrum CERN und eine Software zur Visualisierung von Simulationsergebnissen. Es dauerte in beiden …

Johannes Düsing

Proseminar Abstrakte Interpretation Softwaretechnik Fachprojekt Qualitätsmetriken für Softwarebibliotheken Webtechnologien I Proseminar: Wiederverwendung von Open-Source Software Fachprojekt: Detektieren von [...] für ganze Software-Repositories Propagation von Sicherheitlücken in Abhängigkeits- und Aufrufgraphen Datenflussanalysen durch abstrakte Interpretation Qualitätsmetriken für Software-Artefakte Publikationen [...] Updatable Dependency Graphs for Software Repositories Tobias Litzenberger, Johannes Düsing, Ben Hermann In Proceedings of IEEE/ACM 20th International Conference on Mining Software Repositories (MSR) DOI: https://doi …

Tobias Liboschik

Für die Weiterentwicklung der Machine Learning Pipeline in der Software und die Beratung unserer Kunden bei der Nutzung unserer Software Was mögen Sie besonders an Ihrem Beruf? Die Nähe zu interessanten [...] Sie? Weidmüller Interface GmbH & Co. KG Was machen Sie in Ihrem Beruf konkret? Entwicklung einer Software zur einfachen Anwendung von Machine Learning in der industriellen Fertigung Wo brauchen Sie in Ihrem [...] en Anwendungen diverser industrieller Produktionsprozesse und Softwareentwicklung …

Ben Hermann startet Forschungsgruppe Softwaretechnik sicherer Systeme an der TU Dortmund

startet hier die Forschungsgruppe für Softwaretechnik sicherer Systeme. Wie der Name schon nahe legt forscht die Arbeitsgruppe an Methoden der Entwicklung sicherer Software. Ein besonderes Augenmerk wird dabei [...] dabei auf die Evolution von Software gelegt. Dies wird Entwickler:innen in die Lage versetzten aus Fehlern besser zu lernen und Probleme frühzeitig im Prozess zu erkennen. Ein weiteres großes Thema der [...] ftsqualität in der Informatik sein. Wir untersuche und verbessern Peer-Review-Prozesse für software-intensive Forschung. …

Karte und Navigation

Karte und Navigation

Unser neuer Workshop: 3D-Druck Advanced!

Zwei Arbeiten für den ICSE Journal-First Track angenommen

Wissenschaftliche Arbeit beim IEEE Transactions on Software Engineering Journal angenommen

Lehrstuhl 14 der Fakultät Informatik

Forschungsschwerpunkte

Archiv

Drei Fragen an Systemadministrator Sven Buijssen

Johannes Düsing

Tobias Liboschik

Ben Hermann startet Forschungsgruppe Softwaretechnik sicherer Systeme an der TU Dortmund

Karte und Navigation

Karte und Navigation

Suchergebnisse filtern

Unser neuer Workshop: 3D-Druck Advanced!

Zwei Arbeiten für den ICSE Journal-First Track angenommen

Wissenschaftliche Arbeit beim IEEE Transactions on Software Engineering Journal angenommen

Lehrstuhl 14 der Fakultät Informatik

Forschungsschwerpunkte

Archiv

Drei Fragen an Systemadministrator Sven Buijssen

Johannes Düsing

Tobias Liboschik

Ben Hermann startet Forschungsgruppe Softwaretechnik sicherer Systeme an der TU Dortmund