Suche - BMSD - TU Dortmund

Suche
Personensuche

1912 Ergebnisse

1. Computer Science
2. Studium
3. Studiengänge
4. Bachelor Lehramt BK Informatik
5. Studienplan Bachelor Lehramt BK Informatik
Bachelor Lehramt BK mit sonst. Fach

oder Lehrer an einem Berufskolleg unterrichten werden. Software-Zyklus (dunkelblau) In den Veranstaltungen des Software-Zyklus lernen Sie, Software zu entwickeln. Das Spektrum reicht von der Erstellung [...] auch in den in den Studienplan integrierten Praktika an. Im Software-Praktikum werden Sie in Gruppenarbeit anspruchsvolle Software-Projekte erarbeiten, um wertvolle Programmiererfahrung und Kompetenzen …
1. PVM
2. Lehre
3. Bachelor
Kombiseminar

MacOS verfügbar ist. Es sind keine Vorkenntnisse im Umgang mit der Statistik-Software SPSS erforderlich - die Bedienung der Software wird im Rahmen des Kombiseminars ebenso vermittelt wie die nötigen [...] für die geeignete Teilnehmende rekrutiert werden müssen. Die Datenauswertung erfolgt mit der Statistik-Software SPSS. Der Leistungsnachweis für das Seminar beinhaltet die Durchführung einer empirischen Studie …
1. Digitale Lehre
2. Tools
3. Aufzeichnungen
Software

Welche Software ist für Audio-und Videoaufzeichnungen empfehlenswert? Audioaufnahmen können mit der freien Software Audacity produziert werden. Für die Aufzeichnung von Videos empfiehlt das ITMC Lehrenden [...] Lehrenden derzeit die freie Software Open Broadcast Studio (OBS). Auch mit den Softwareprodukten Camtasia, Captivate oder Articulate (Storyline) können Videos erstellt werden. Falls für Captivate oder Articulate …
1. ITMC
2. Unsere Services
3. IT-Infrastruktur
Server / Storage / Sicherung

Freigabe der Software im Netz der TU erforderlich ist, betreibt das ITMC die erforderlichen Lizenzserver. Diese Lizenzserver verwalten sowohl TU-weite Softwarelizenzen, als auch lokale Softwarelizenzen, z.B. [...] wird. Für die Einrichtung ist ein VMWare-kompatibles Betriebssystemimage erforderlich. Eine Softwarepflege durch das ITMC findet nicht statt. Virtueller Server / Standardimage Es werden virtuelle Server …
1. Computer Science
2. Forschung
3. Forschungsprofil
Software, Sicherheit und Verifikation

il Forschungsbereich "Software, Sicherheit und Verifikation" Ein zentrales Thema der Informatik ist die Entwicklung von Software, insbesondere von umfangreichen Software-Systemen, die mittlerweile nahezu [...] frühzeitigen Fehlererkennung Modellierung und Ausführung von Geschäftsprozessen Visualisierung von Software Algorithmische Unterstützung bei der Schemaentwicklung, unter Berücksichtigung semantischer Bedingungen …
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. Computer Science
2. Studium
3. Studiengänge
Bachelor Informatik

mit dem Grad Bachelor of Science (B.Sc.) abgeschlossen. Software-Zyklus (dunkelblau) In den Veranstaltungen des Software-Zyklus lernen Sie, Software zu entwickeln. Das Spektrum reicht von der Erstellung [...] auch in den in den Studienplan integrierten Praktika an. Im Software-Praktikum werden Sie in Gruppenarbeit anspruchsvolle Software-Projekte erarbeiten, um wertvolle Programmiererfahrung und Kompetenzen [...] beschriebenen Modulen des Wahlbereichs und ein (weiteres) Modul aus dem Modulkatalog “Konzepte für Software” des Wahlpflichtbereichs (gemäß Anhang A Abs. 3 BPO Informatik) Nebenfach (grün) Als Informatikerin …
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. 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. 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 …