Suche - BMSD - TU Dortmund

Suche
Personensuche

3412 Ergebnisse

1. Graduiertenzentrum
2. Veranstaltung: 20.9.2023
Advanced use of MAXQDA: Feedback and advanced tools for using qualitative data analysis software | Methods for Humanities & Social Sciences

questions. For this course, a licence for the qualitative research software MAXQDA is provided. The participants must use the software to follow along. It is strongly recommended to attend the first part [...] sessions. Finally, the participants will be introduced to the various workflows and combinations of software functions that can be applied with MAXQDA. This will provide the participants with models to follow [...] into various workflows for MAXQDA Goals: Advanced knowledge of MAXQDA functions Overview of various software workflows with their respective advantages and limitations Solid understanding to create a well-balanced …
eldorado.tu-dortmund.de/items/8bb3fa46-70ba-403a-993c-362ef6f252f2/full

IBM: Dokumenten- und Archivsysteme auf Basis kommerzieller Software

NRW IBM: Dokumenten- und Archivsysteme auf Basis kommerzieller Software IBM: Dokumenten- und Archivsysteme auf Basis kommerzieller Software Simple item page dc.contributor.author Bockholt, Rainer de dc [...] IBM: Dokumenten- und Archivsysteme auf Basis kommerzieller Software Skip to main content Wartungsarbeiten: Am 07.11.2025 von ca.15:00 bis 16:00 Uhr steht Ihnen das System nicht zur Verfügung. Bitte stellen [...] Dortmund de dc.subject.ddc 000 de dc.title IBM: Dokumenten- und Archivsysteme auf Basis kommerzieller Software de dc.type Text de dc.type.publicationtype conferenceObject dcterms.accessRights open access Files …
eldorado.tu-dortmund.de/items/f75c15cc-8785-46d2-9c39-98108c79277e/full

Das Projekt MuSofT - Multimedia in der SoftwareTechnik

Arbeitstagung Lehren und Lernen Das Projekt MuSofT - Multimedia in der SoftwareTechnik Das Projekt MuSofT - Multimedia in der SoftwareTechnik Simple item page dc.contributor.author Alfert, Klaus de dc.date [...] Das Projekt MuSofT - Multimedia in der SoftwareTechnik Skip to main content Wartungsarbeiten: Am 07.11.2025 von ca.15:00 bis 16:00 Uhr steht Ihnen das System nicht zur Verfügung. Bitte stellen Sie sich [...] (Dortmund,07.02.2002) de dc.subject.ddc 004 de dc.title Das Projekt MuSofT - Multimedia in der SoftwareTechnik de dc.type Text de dc.type.publicationtype conferenceObject dcterms.accessRights open access …
1. Physik
2. Meldung: 13.11.2025
DFG fördert Dortmunder Projekt zur Verifikation digitaler Quantensimulationen

schwieriger ist es, solche Simulationen zuverlässig zu verifizieren. Herkömmliche Methoden der Softwareverifikation stoßen dabei schnell an ihre Grenzen – vor allem, wenn komplexe Phänomene wie beispielsweise [...] gestalten.“ Prof. Dr. Falk Howar ergänzt: „Wir verfügen über langjährige Erfahrung in der formalen Softwareverifikation. Diese Expertise bringen wir nun in die Welt der Quanteninformatik ein – ein Forschungsfeld [...] kommenden Jahren stark an Bedeutung gewinnen wird.“ Hintergrund: DFG-Schwerpunktprogramm 2514 „Quantum Software, Algorithms and Systems“ Das DFG-Schwerpunktprogramm 2514 unterstützt Forschungsprojekte, die sich …
eldorado.tu-dortmund.de/signposting/describedby/ef8838ee-adeb-4054-9ed3-ca1667f875b6

Optimization and analysis for dependable application software on unreliable hardware platforms

jeopar- dize the correctness of software execution and cause so-called soft errors. To mitigate threats of soft errors, embedded-software developers have started to deploy Software- Implemented Hardware Fault [...] systems Fault tolerance Embedded systems 004 Optimization and analysis for dependable application software on unreliable hardware platforms doctoral thesis Echtzeitsystem Fehlertoleranz Eingebettetes System …
www.mathematik.tu-dortmund.de/fileadmin/user_upload/0000_FKM/S_L-Studiengaenge/Nebenfach-POs-2019-Informatik.pdf

Nebenfach-POs-2019

WiSe) • Softwaretechnik (4 LP, SoSe) • Wahl (8 LP oder 4 LP), z.B. Darstellung, Verarbeitung und Erwerb von Wissen (8 LP), Formale Methoden des Systementwurfs (8 LP), ... • Software-Praktikum (6 LP, nach [...] Modellgestützte Analyse und Optimierung (8 LP) • Rechnerarchitektur (8 LP) • Softwarekonstruktion (4 LP) • Softwaretechnik (4 LP) • Übersetzerbau (4 LP) Die Darstellung von Schwerpunkten (wie zuvor) dient [...] Vertiefungsmodulen des Masters Informatik Schwerpunkt SSV: Software, Sicherheit und Verifikation • Informationssysteme (4 LP) • Softwarekonstruktion (4 LP) • Übersetzerbau (4 LP) • Formale Methoden des Sy …
1. RT
2. Fachgebiet
3. Unser Team
Vertr. Prof. Dr. Susanne Dirks

und Softwareentwicklung in rehabilitationswissenschaftlichen Kontexten (Informatik) Barrierefreie Webentwicklung (Informatik, Rehabilitationswissenschaften) Barrierefreier Zugang zu PC und Software (Informatik [...] Themen: Usability und User Acceptance Design und Interaction Patterns in Software Development Partizipative Softwareentwicklung Digitale Barrierefreiheit Technologieakzeptanz Barrierefreiheit in der I [...] Ethical challenges in inclusive software development projects with people with cognitive disabilities: Ethische Herausforderungen in inklusiven Softwareentwicklungsprojekten mit Menschen mit kognitiven B …
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 …
eldorado.tu-dortmund.de/signposting/describedby/468a4998-92dd-4c79-bc95-11eb9d1024b7

The SASI Model

This report describes the software of the SASI model i.e. tools for network scenario generation, the input files, database and output files of the model, the model software itself and the programmes developed [...] g the model results. en Berichte aus dem Institut für Raumplanung ; 50 710 The SASI Model Model Software report …
1. MS
2. Lehre
3. Materialien zu Vorlesungen
MAevS

eigentlichen eingebetteten Steuerungssoftware auch die Software zur Kommunikationssteuerung mit einbezogen werden. Die in eingebetteten Systemen verwendeten Softwarekomponenten haben oftmals eine relativ [...] Weitere Literaturangaben werden in den einzelnen Kapiteln gegeben. Weitere Links Die folgenden Softwarewerkzeuge werden in Teilen der Vorlesung genutzt: Java Modeling Tools Model Checker Spin Model Checker …