Suche - BMSD - TU Dortmund

Suche
Personensuche

1912 Ergebnisse

1. SEAL
2. Veranstaltung: 8.4.2024
Aktuelle Themen im logikbasierten Software Engineering

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 [...] and proving them correct. Coq - the 2013 ACM Software System Award winner - is an interactive proof assistant for the development of formally certified software and mathematical theories. Its underlying theory [...] 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 …
1. SEAL
2. Lehre
3. Lehrveranstaltungen
4. Sommersemester 2025
Aktuelle Themen im logikbasierten Software Engineering

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 [...] and proving them correct. Coq - the 2013 ACM Software System Award winner - is an interactive proof assistant for the development of formally certified software and mathematical theories. Its underlying theory [...] 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 …
1. ITMC
2. Meldung: 15.11.2022
Jahreshaushaltabschluss 2022

bevorstehenden Jahreshaushaltsabschlusses 2022 den Kauf von Software bis zum 07.12.2022 abzuwickeln. Ab Januar 2023 können Sie die Software wieder wie gewohnt erwerben. Vielen Dank für Ihr Verständnis …
1. ITMC
2. Meldung: 1.6.2022
Scherwiegende Sicherheitslücke in Office/Windows

Es gibt eine neue Softwareflexibilität in Microsoft-Produkten, die aktiv ausgenutzt wird. Besonders gefährlich daran ist, dass diese ohne Nutzereingriff ausnutzbar ist. Aktuelle Virenscanner erkennen die [...] , dass das anfällige tool msdt.exe den Schadbefehl ausführt: reg add "HKLM\SOFTWARE\Policies\Microsoft\Windows\ScriptedDiagnostics" /v EnableDiagnostics /t REG_DWORD /d 0 /f Informationen des BSI Informationen …
1. SEAL
2. Veranstaltung: 8.4.2024
Aktuelle Themen im logikbasierten Software Engineering

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 [...] and proving them correct. Coq - the 2013 ACM Software System Award winner - is an interactive proof assistant for the development of formally certified software and mathematical theories. Its underlying theory [...] 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 …
1. SSE
2. Research
Publikationen

Hermann In Mining Software Repositories 2025 DOI: tba ( Preprint ) Artifact: https://doi.org/10.5281/zenodo.14226786 Preprint PDF (198 KB) MARIN: A Research-Centric Interface for Querying Software Artifacts on [...] 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 [...] and Dirk Beyer In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022). Association for Computing Machinery …
1. Digitale Lehre
2. Barrierefreiheit
Word

ragen abwägen. Zur Anleitung für Youtube-Untertitel Es gibt im Internet freie Speech to Text-Converter-Software . Damit können Sie zumindest Transkripte herstellen. Sicherlich ein etwas umständlicher Weg [...] aber das Abtippen des gesprochenen Worts erspart. Streamer ist eine kostenpflichtige Speech to Text-Software, die automatische Untertitel oder Transkripte erstellt. Derzeit kann man sie kostenlos einen Monat …
1. FS
2. Selbstlernen
Sprachlabor

erweitern bzw. vertiefen? Dann nutzen Sie unser Angebot im Sprachlabor! Das Sprachlabor ist mit Selbstlernsoftware in verschiedenen Sprachen ausgestattet und kann von Ihnen nach einer Einweisung zu den Öff [...] teilzunehmen. Fakten im Überblick Arbeitsplätze im Sprachlabor (EF 61, Raum 204) 15 Plätze Selbstlernsoftware Tell me More für die Sprachen Deutsch als Fremdsprache , Englisch, Französisch, Spanisch und [...] Im Zuge dieser Einführungsveranstaltung erhalten interessierte Studierende eine Einweisung in die Software Tell Me More . Eine Anmeldung über die Kursplattform zur Veranstaltung "210406-S-Autonomes Lernen …
1. Reha
2. Meldung: 16.4.2024
Fachgebiet Rehabilitationstechnologie wird ab Sommersemester 2024 von Dr. Susanne Dirks vertreten

Technologieentwicklung, der Software-Ergonomie und dem User Interface Design sammeln können. Das Thema ‚Barrierefreiheit‘ hat Susanne Dirks auch während ihrer Zeit als Softwareentwicklerin begleitet. Als Indu [...] erst einmal für eine Tätigkeit in der Wirtschaft. In ihrer mehr als 10-jährigen Tätigkeit als Softwareentwicklerin und Projektmanagerin in einem Unternehmen mit sprachtechnologischen Schwerpunkt hat sie fundierte [...] ihrem technisch geprägten Hintergrund von den Themen ‚Sprachtechnologie‘ und ‚Barrierefreie Softwareentwicklung‘. Die Forschungsschwerpunkte von Frau Dr. Dirks liegen in den Bereichen der digitalen Barr …
1. IIM
Fraunhofer ISST

Fraunhofer-Institut für Software- und Systemtechnik ISST Der Lehrstuhl für Industrielles Informationsmanagement unterhält enge Verbindungen zum Fraunhofer-Institut für Software- und Systemtechnik ISST [...] Institutsleitung unserem Lehrstuhlinhaber Prof. Dr.-Ing. Boris Otto. Das Fraunhofer-Institut für Software- und Systemtechnik ISST entwickelt Datenraumtechnologien für einen souveränen Datenaustausch und [...] e bieten wir komplette Systemlösungen. © Sabine Buchh Zur Homepage des Fraunhofer Instituts für Software- und Systemtechnik Bitte Bildnachweis einfügen Data Researchers – Die Videoreihe mit Prof. Dr.-Ing …