Suche

Suche
Personensuche

4050 Ergebnisse

1. HyLeC
2. Meldung: 26.6.2023
Unser neuer Workshop: 3D-Druck Advanced!

unseren Easy Start-Workshop besucht oder anderweitig Vorwissen im Bereich Konstruktionssoftware (z.B. Tinkercad) und der Slicer-Software „Cura“ erworben? Dann ist dieser Workshop vielleicht was für dich! In [...] Du lernst, wie du Fehler beim 3D Druck erkennen kannst und mit gezielten Einstellungen der Slicer-Software „Cura“ löst. Weitere Informationen findest du in den Workshopangeboten in den aktuell angebotenen …
fsinfo.cs.tu-dortmund.de/_media/ags/foss-ag/lidado_2017_free_my_android.pdf

Free my Android - Step 1 - Wie man sein Smartphone fit hält

zum Aufspielen alternativer Software aus • Angepasste Android Versionen haben aber unter Umständen andere Schutzmechanismen • Daher braucht man je nach Gerät andere Software • Wir gehen zusätzlich nur [...] zum Aufspielen alternativer Software aus • Angepasste Android Versionen haben aber unter Umständen andere Schutzmechanismen • Daher braucht man je nach Gerät andere Software • Wir gehen zusätzlich nur [...] zum Aufspielen alternativer Software aus • Angepasste Android Versionen haben aber unter Umständen andere Schutzmechanismen • Daher braucht man je nach Gerät andere Software • Wir gehen zusätzlich nur …
eldorado.tu-dortmund.de/items/b7ef4bec-2458-4708-adef-e7c19a753ae6/full

Ein Toolkit für den Entwurf softwarebasierter Empfangssysteme

Elektronische Medien (Fernsehseminar) Ein Toolkit für den Entwurf softwarebasierter Empfangssysteme Ein Toolkit für den Entwurf softwarebasierter Empfangssysteme Simple item page dc.contributor.author Robert [...] 1Z dc.date.issued 2013-03-01 dc.description.abstract Software-Defined-Radio bezeichnet den Ansatz, Empfangssysteme so weit wie möglich in Software zu realisieren. Dabei ist im Idealfall das Empfangsfrontend [...] Ein Toolkit für den Entwurf softwarebasierter Empfangssysteme 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 …
1. SSE
2. Meldung: 23.7.2021
Wissenschaftliche Arbeit beim IEEE Transactions on Software Engineering Journal angenommen

n untersucht. Die Zeitschrift IEEE Transactions on Software Engineering ist eine der führenden Zeitschriften für die Erforschung von Softwaresystemen in der Informatik. Mit einem h5-Index von 59 und einem [...] Gemeinsam mit SAP haben wir die derzeitige Praxis der Wiederverwendung von Open-Source-Software bei SAP und in offenen Projekten untersucht. Wir fanden heraus, dass mehr als 87 % (bzw. 56 %) der Abhängigkeiten [...] Impact-Faktor von 6,226 steht sie laut Google Scholar an dritter Stelle der Publikationsorte für Software-Systemforschung. …
eldorado.tu-dortmund.de/items/7491d73b-5f77-4ac9-86eb-e47292b264ac/full

A type-theoretic framework for software component synthesis

Fakultäten 04 Fakultät für Informatik LS 14 Software Engineering A type-theoretic framework for software component synthesis A type-theoretic framework for software component synthesis Simple item page dc [...] A type-theoretic framework for software component synthesis Skip to main content English Deutsch Log In Email address Password Log in New user? Click here to register. Have you forgotten your password [...] issued 2019 dc.description.abstract A language-agnostic approach for type-based component-oriented software synthesis is developed from the fundamental principles of abstract algebra and Combinatory Logic …
1. SEAL
2. Forschung
Forschungsschwerpunkte

und logische Grundlagen der Softwaretechnik Formale Modelle Lambda-Kalkül Kombinatorische Logik Algorithmische Typentheorie Intersektionstypen Logikbasierte Software-Synthese (CL)S Theorembeweiser Automatische [...] Verteilte Systeme Software Engineering Funktionale Programmierung (Co-)Algebraische Datentypen Komponentenbasierte Programmierung Komponentisierung Automatisierte Komposition Software-Architektur [...] Projekte der Forschungsgruppe SEAL Die Forschungsgruppe " Software Engineering by Algorithms and Logic " (SEAL) ist an der Grundlagenforschung des Fraunhofer ISST beteiligt. Die weiteren Forschungsgebiete …
1. Graduiertenzentrum
2. Veranstaltung: 13.9.2023
Taking off with MAXQDA: Conducting a research project with qualitative data analysis software | Methods for Humanities & Social Sciences

a licence for the qualitative research software MAXQDA is provided. The participants must use the software to follow along. Previous knowledge of the software is beneficial but not at all required. The [...] establish a solid understanding of using the software from data exploration to retrieving results. This way the participants will receive an overview of the software’s foundational functions. This will allow [...] solid introduction into using MAXQDA for both interested researchers and already active users. The software can be used for the analysis of a wide range of empirical data such as interviews, focus groups …
eldorado.tu-dortmund.de/items/87e4f4f2-2fe9-49c5-bcee-9e8fa97f710c

Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logi

am Lehrstuhl für Software Engineering der TU Dortmund bereits erfolgreich Softwaresynthese betrieben, was bedeutet, dass aus einer gegebenen Menge unterschiedlicher Software-Komponenten individuelle Programme [...] ial logic, software synthesis has already been successfully performed at the Chair of Software Engineering. This means that individual programs can be generated from a given set of software components [...] Collections All of Eldorado FAQ Statistics Policy Home Fakultäten 04 Fakultät für Informatik LS 14 Software Engineering Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels komb …
1. TU Dortmund
2. Meldung: 21.9.2021
TU-Team findet Sicherheitslücken in Softwaresystemen

itischer Softwaresysteme. Uns interessiert dabei besonders der Einsatz lernender und formaler Methoden zur Analyse des Verhaltens solcher Systeme. Ziel unserer Arbeit ist es, Softwaresysteme auf mögliche [...] Geld kosten, um solche Sicherheitslücken in ihrer Software zu finden. Unternehmen würden stark davon profitieren, die Analyse und Absicherung ihrer Software zu automatisieren und zu professionalisieren. Daran [...] Ihre Analysewerkzeuge leisten? Die Werkzeuge, die wir entwickeln, bringen formale Logik und Softwaresysteme zusammen. Ein Beispiel: Wir definieren etwa für eine Webanwendung, dass Nutzer*innen keine g …
eldorado.tu-dortmund.de/signposting/describedby/c3bf3ec3-32c9-493e-be79-3a3f1625cabd

Automatic synthesis of component & connector software architectures with bounded combinatory logic

automatic synthesis of software from components in a repository. In this thesis we show how the type-based approach can naturally be used to exploit taxonomic conceptual structures in software architectures and [...] experiments. Furthermore, we apply this synthesis approach to define a method for software connector synthesis for realistic software architectures based on a type theoretic model. We conduct experiments with [...] s and discuss the results. en Logic Software Engineering Architecture Concurrency Theorem prover Synthesis 004 Automatic synthesis of component & connector software architectures with bounded combinatory …

Karte und Navigation

Karte und Navigation

Unser neuer Workshop: 3D-Druck Advanced!

Free my Android - Step 1 - Wie man sein Smartphone fit hält

Ein Toolkit für den Entwurf softwarebasierter Empfangssysteme

Wissenschaftliche Arbeit beim IEEE Transactions on Software Engineering Journal angenommen

A type-theoretic framework for software component synthesis

Forschungsschwerpunkte

Taking off with MAXQDA: Conducting a research project with qualitative data analysis software | Methods for Humanities & Social Sciences

Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logi

TU-Team findet Sicherheitslücken in Softwaresystemen

Automatic synthesis of component & connector software architectures with bounded combinatory logic

Karte und Navigation

Karte und Navigation

Suchergebnisse filtern

Unser neuer Workshop: 3D-Druck Advanced!

Free my Android - Step 1 - Wie man sein Smartphone fit hält

Ein Toolkit für den Entwurf softwarebasierter Empfangssysteme

Wissenschaftliche Arbeit beim IEEE Transactions on Software Engineering Journal angenommen

A type-theoretic framework for software component synthesis

Forschungsschwerpunkte

Taking off with MAXQDA: Conducting a research project with qualitative data analysis software | Methods for Humanities & Social Sciences

Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logi

TU-Team findet Sicherheitslücken in Softwaresystemen

Automatic synthesis of component & connector software architectures with bounded combinatory logic