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:
2014 - LS14 BA Proposalvortrag: Einsatz von JavaFX 8 in Software-Projekten zur Realisierung grafischer Benutzungsschnittstellen im Software-Praktikum 21.11.2014 - ISST BA Proposalvortrag: Konzeption und [...] otheken“ für die Realisierung von 2D-Computer-Spielen im Software-Praktikum 28.05.2014 - LS14 Clean Code - Code-Qualität im Software-Praktikum 28.05.2014 - LS14 Klassifizierung von Texten unter Einsatz …
t Dortmund, wo er den Lehrstuhl für Software Engineering innehat. Von 2006 bis 2021 war er zudem Mitglied der Institutsleitung des Fraunhofer-Instituts für Software- und Systemtechnik (ISST) in Dortmund [...] grundlegende Beiträge im Bereich der computergestützten Verifikation verliehen. Der Professor für Software Engineering von der Fakultät für Informatik wurde für die Einführung der kontextbeschränkten Analyse [...] theoretischen, methodischen und praktischen Entwicklungen und effizienten Werkzeugen, die in der Softwareentwicklung eingesetzt werden“, heißt es in der Begründung der CAV-Jury für die Verleihung des diesjährigen …
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 …
