Suche - BMSD - TU Dortmund

Suche
Personensuche

1925 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 [...] 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. CCB
2. Fakultät - CCB
3. Service
Software

Software Die Fakultät für Chemie und Chemische Biologie stellt ihren Mitarbeitern (nur dienstliche Nutzung) und Studierenden Lizenzen für diverse Softwarepakete zur Verfügung. ChemOffice Persönliche Lizenzen [...] Lizenzen ist die Angabe einer *@tu-dortmund.de - E-Mail-Adresse. Download-Portal Revvity Signals Software, Inc. Anleitung Labor- und Büroinstallationen Wenden Sie sich bitte an die Mitarbeiter des I …
1. IIM
2. Meldung: 17.3.2021
Neue Stellenausschreibungen des ISST

en: Wissenschaftliche Mitarbeiter*innen in der Softwareentwicklung im Bereich Industrie 4.0 Wissenschaftliche Mitarbeiter*innen als Softwarearchitekt*in im Bereich Industrie 4.0 …
1. CET
2. Meldung: 1.3.2021
„Gerade in Sachen IT neigt man zum Overthinking“

um uns auch weiterhin im Bereich Individualsoftware für die kommenden fünf Jahre innovativ aufzustellen. Sie bieten mit der EXWE GmbH webbasierte Individual-Software und Onlineshop-Lösungen an. Welche [...] gegründet und hat sich seitdem als IT-Dienstleister mit Spezialisierung für E-Commerce und Individualsoftware sehr zufriedenstellend entwickelt. Zusammen mit meinem Geschäftspartner Chris Apfelbeck konnten [...] Anfang stehen? Gerade in Sachen IT neigt man zum Overthinking. Ich erlebe immer wieder, wie Softwareprojekte größer geplant werden, als sie sich jemals innerhalb von zwei Jahren mit organischem Wachstum …
1. lkp
2. Lehre
Projekt- und Abschlussarbeiten am FG ME

Betreuer Kurzbeschreibung (Typ*) Entwicklung einer Softwarelösung zur lokalen Manipulation von Druckparametern im FLM- Verfahren David Grundmann Software /Programmierung, Literaturrecherche (PA, BA): Zur [...] Zur Erzeugung härterer oder weicherer Bereiche in 3D-gedruckten Bauteilen, soll eine Softwarelösung zur teilautomatisierten Generierung des Maschinencodes entwickelt werden. Hierzu ist eine geeignetes C [...] zu machen. Untersuchungen an Gitterstrukturen Martin Möller Konstruktiv, Design of Experiments, Software / Programmierung, Literaturrecherche (PA, BA, MA): Folgende Themen können bearbeitet werden:- Wege …
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 …
1. ps
2. Mitarbeiter
Wissenschaftliche Mitarbeiter

Systems Distributed Software Versioning Domain-Specific Languages and Language-Driven Engineering Metamodeling and Language Workbenches Functional Programming Local-First Software [...] cs.tu-dortmund de Telefon : (+49) 231 755-7759 Raum: 113 (OH14) Forschungsgebiete: Model-Driven Software Development Domain-Specific Languages and Language-Driven Engineering Metamodeling and Language [...] Forschungsgebiete: Code Generators and Application Generation AI-supported Code Generation Model-Driven Software Development Domain-Specific Languages and Language-Driven Engineering Metamodeling and Language …