zur Karte
Das Institut setzt sich zusammen aus den Teams "Baumechanik", "Statik und Dynamik" und "Continuum Mechanics".
Das Institut ist für die Vermittlung mechanischer Grundlagen, Tragwerksanalyse und zugehörige numerische Methoden im Bauingenieurwesen zuständig.
Das Institut verbindet theoretische und numerische Grundlagenforschung mit experimenteller Validation sowie computergestützter Simulation.
Haben Sie etwas verpasst? Hier finden Sie nochmal alle aktuellen und vergangenen Meldungen.
Teil von:
Sie sind hier:
Das Journal Transactions on Software Engineering and Methodology ist die führende Journal für Softwaretechnik, die von der Association for Computing Machinery (ACM) herausgegeben wird. Deren Board of …
für alle Angehörigen der TU Dortmund sowie externe Benutzer:innen. Gitlab ist eine Software zur Softwareentwicklung, hierbei insbesondere zur Versionsverwaltung. Über die integrierten Funktionen lässt …
can, in certain domains, produce fully verified software at a nontrivial scale and with runtime performance that meets or exceeds the best unverified software." This lecture is about writing functional programs [...] them correct. Coq - the 2013 ACM Software System Award winner - is an interactive proof assistant for the development of mathematical theories and formally certified software. Its underlying theory is the [...] proof assistant technology has matured enough to also enable formal certification of substantial software systems. Two major success stories are the seL4 operating system microkernel and the CompCert optimising …
IEEE/ACM 20th International Conference on Mining Software Repositories (MSR)}, title={DGMF: Fast Generation of Comparable, Updatable Dependency Graphs for Software Repositories}, year={2023}, volume={}, number={} …
Du erstellst Deinen ersten einfachen Entwurf und lernst die Parameter für den Druck in der Slicer-Software „Cura“ eigenständig auszuwählen. Am Ende des Kurses hast Du die Möglichkeit, Dein eigenes kleines [...] USB-Port benötigt. Wenn kein eigenes Endgerät zur Verfügung steht, wird Dir die benötigte Hard- und Software zur Nutzung bereitgestellt. Es handelt sich um ein hybrides Angebot; am Workshop kann sowohl vor …
Beteiligung der Professur Digitale Transformation zum Thema DevOps, der Integration von Softwareentwicklung und Softwarebetrieb. Der Beitrag unter dem Titel „ Understanding how DevOps aligns development and o [...] Wissen und Fähigkeiten im Zusammenhang mit der Planung, dem Aufbau und dem Betrieb von Softwareprodukt-Aktivitäten integrieren. Zentrale Herausforderungen sind hier das Alignment, die Abstimmung von Fähigkeiten …
Forschungsprojekts wurde zunächst eine Analyse verfügbarer Open Source und kommerzieller Projektmanagement-Software durchgeführt. Parallel dazu wurden gemeinsam mit den Partnerunternehmen die Anforderungen [...] definiert. Die Verknüpfung beider Ergebnisse ermöglicht eine zielgerichtete Auswahl der Projektmanagementsoftware. Darüber hinaus wurde die Produktionssystemgestaltung in Arbeitsinkremente aufgeteilt, um …
0000-0003-4286-714X © Privat Forschungsinteressen Statische und dynamische Programmanalyse Sichere Softwareentwicklung Capability-based security Vulnerability detection Publikationen Total Recall? How Good are [...] Roth, Ben Hermann, Mira Mezini In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024) . DOI: https://doi.org/10.1145/3650212.3652114 Artifact: https://doi [...] Übungsbetrieb in den vergangenen Semestern: Datenstrukturen, Algorithmen und Programmierung 1 Softwaretechnik Proseminar Abstrakte Interpretation Vorträge "Privacy made easy? - Ein hybrides Verwaltungskonzept …
Upgrades unterzogen, bei dem das Triggersystem von einem hardware- und softwarebasierten Modell zu einem vollständig softwarebasierten Modell weiterentwickelt wurde. In dieser Arbeit werden Messungen mit [...] die vom LHCb-Experiment für beide Modelle aufgezeichnet wurden, sowie die Inbetriebnahme des softwarebasierten Triggers. Die allererste Messung der zeitintegrierten ungetaggten CP-Asymmetrie im Zerfall von …
und die Links zu nützlicher Software, die wir auch im Vortrag erwähnen. Tools und Tipps Studium: Eine Frage der Einstellung Semesterablauf Prokrastination Nützliche Software Essen am Campus Literatur (Uni-Bib …
