Suche - BMSD - TU Dortmund

Suche
Personensuche

1910 Ergebnisse

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-W-Autonomes Lernen …
1. BCI
2. Studium
3. Qualität der Lehre
Bio- und Chemieingenieurwesen

000€ für Software 109.500 € für innovative Lehreprojekte: AD: Digitalisierung in der Lehre: Programmierung in der Praxis BPT: Konstruktion eines Mikrobioreaktorbauteils mittels 3D-CAD-Software in der V [...] Studienbedingungen 15.000€ für Software 95.000 € für innovative Lehreprojekte: BPT: Rechnerische Modellierung von metabolischen Netzwerken mit aktueller Simulationssoftware in der Übung zur Vorlesung Sy [...] Tutorien 312.800 € für Personalaufbau zur Verbesserung der Lehre und Studienbedingungen 5.000€ für Software 92.200 € für innovative Lehreprojekte: Folgeantrag: Ganzheitliche didaktische Planung der Labore …
1. EC
2. Meldung: 29.4.2025
Abschlussarbeit beim Fraunhofer ISST

Das Fraunhofer-Institut für Software- und Systemtechnik ISST entwickelt Datenraumtechnologien für einen souveränen Datenaustausch und baut mit seinen Partnern zukunftsweisende Datenökosysteme auf. Hier [...] Abschlussarbeiten am Fraunhofer ISST: Flyer Kontakt: Felix Franke Recruiting Fraunhofer-Institut für Software- und Systemtechnik ISST Speicherstraße 6 44147 Dortmund E-Mail …
1. SEAL
2. Veranstaltung: 3.4.2023
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 [...] 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 …
1. SSE
2. Teaching
3. Winter Semester 2021/2022
Fachprojekt: Qualitätsmetriken für Software Bibliotheken

Messen von Softwarequalität Modul: tba Credits: 7 SWS: 4 Ort: Nur digital (Zoom und Moodle) Start: tba Moodle: tba Unterrichtssprache: Deutsch Inhalt Öffentlich zugängliche Software-Repositories wie beis [...] Central oder die NPM Registry bieten Entwicklern einfachen Zugriff auf Tausende verschiedener Software-Bibliotheken. Neben einer kurzen Beschreibung des Funktionsumfangs und der Zahl der Downloads stehen E [...] Metriken praktisch umgesetzt und in das Delphi System integriert. Delphi hält einen Index aller Software-Bibliotheken von Maven Central vor, und berechnet verschiedenste Metriken für jedes einzelne Release. So …
1. SEAL
2. Lehre
3. Abschlussarbeiten
4. DiDo-Vortragsliste
5. Shadowpage
2014

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 …
1. Computer Science
2. Meldung: 16.10.2023
Prof. Jakob Rehof mit internationalem Informatikpreis geehrt

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 …
1. Reha
2. Meldung: 13.3.2023
„Erinnermich“: Der MArS – der Medien- und Arbeitsraum für Studierende

Arbeitsplätzen finden sich auch sieben fest installierte PCs mit lizensierter Software (MAXQDA, SPSS und Citavi). Dieselbe Software bekommt man auch mobil zum Ausleihen auf Laptops, falls das eigene Endgerät [...] für die Bachelor- oder Masterarbeit nicht ausreicht. Dafür reicht eine E-Mail mit der benötigten Software und einer Bestätigung der betreuenden Person – und dann kann nach kurzer Zeit der Laptop für maximal …
1. SEAL
Kontakt

Kontakt Anschrift Software Engineering by Algorithms and Logic (SEAL) Technische Universität Dortmund Lehrstuhl XIV - Software Engineering Otto-Hahn-Str. 12 44227 Dortmund Telefon: (+49)231 755-7953 Fax: …
1. ITMC
2. Meldung: 15.10.2025
Phishingmail mit dem Betreff "WG: Case File No. 187418601910-3 Delivered to IHRE_MAILADRESSE"

IHRE_MAILADRESSE" bitte sofort löschen! Man versucht Sie zu einem Download von Schadsoftware zu überreden. Falls Sie Software heruntergeladen haben (angeblich ein Adobe-Update) oder Zugangsdaten eingegeben …