Datenpaket: Quantification of Correctness with Palladio and KeY: Case Study Data

RADAR ist ein über das Internet nutzbarer Dienst für die Archivierung und Publikation von Forschungsdaten aus abgeschlossenen wissenschaftlichen Studien und Projekten. Betreiber ist FIZ Karlsruhe - Leibniz-Institut für Informationsinfrastruktur GmbH (im Folgenden "wir" oder "uns" genannt). Über RADAR können Sie als Datengeberin oder Datengeber Forschungsdaten zu Datenpaketen zusammenstellen, mit Metadaten beschreiben, dauerhaft speichern und öffentlich zugänglich machen oder archivieren.

Lizenz

1. Sie räumen uns auf Grundlage der von Ihnen gewählten Lizenz für die Zwecke von RADAR einfache, zeitlich und räumlich unbeschränkte Nutzungsrechte an den von Ihnen eingestellten Forschungsdaten ein. Ihre Rechte an den Daten werden dadurch nicht berührt.
2. Die übertragenen Metadaten sind von Ihnen mit einer Creative Commons (CC0)-Lizenz zu lizenzieren und damit zur freien Nutzung durch die Allgemeinheit freizugeben.
3. Sie stellen uns von Ansprüchen Dritter frei, die diese aufgrund von Rechtsverletzungen von Ihnen gegen uns geltend machen.

Nutzungshinweise

1. (radar.kit.edu) ermöglicht Ihnen die Nutzung von RADAR. Dazu haben Sie die Rolle als Datengeberin oder Datengeber erhalten.
2. Damit sind Sie berechtigt, Forschungsdaten in RADAR einzustellen.
3. Für die Korrektheit der von Ihnen eingestellten Forschungsdaten sind Sie selbst verantwortlich.
4. Personenbezogene Forschungsdaten dürfen Sie derzeit nicht in RADAR einstellen. Solche Daten müssen Sie vor dem Einstellen anonymisieren.
5. Bei der Archivierung oder Publizierung eines Datenpakets vergeben Sie eine Lizenz, die die Nutzungsrechte für eine eventuelle Nachnutzung regelt. RADAR bietet dazu unterschiedliche geeignete Lizenzbedingungen an.
6. Wir stellen Ihnen für die Nutzung von RADAR keine Kosten in Rechnung.
7. Beachten Sie unbedingt die Leistungsbeschreibung von RADAR, aus der sich Funktionsweise, Leistungsmerkmale und Zweck von RADAR, die Aufgaben der beteiligten Stellen (Betreiber, Kunden, Datengebende) sowie die zugehörigen Rollenbeschreibungen ergeben. Wir wenden die in der Leistungsbeschreibung erwähnten technischen und organisatorischen Vorkehrungen an, um Ihre Daten sicher und zuverlässig zu speichern.
8. Ihre personenbezogenen Daten verwenden wir ausschließlich für die Erbringung des Dienstes gemäß Art. 6 Abs. 1 lit. a, f DSGVO zu Zwecken der Benutzeridentifizierung sowie zur Kontaktaufnahme im Rahmen der Diensterbringung (Einwilligung, Wahrung berechtigter Interessen, insbesondere Funktionsfähigkeit des Dienstes). Bitte beachten Sie auch unsere Datenschutzerklärung..
9. Sie dürfen RADAR ausschließlich für die Archivierung und Publikation von Forschungsdaten nutzen.
10. Sie dürfen keine rechtswidrigen Inhalte – z.B. gewaltverherrlichender, volksverhetzender oder ehrverletzender Art – in RADAR einstellen.
11. Werden wir auf Rechtsverstöße im Zusammenhang mit einem Datenpaket aufmerksam gemacht, können wir ohne Rücksprache mit Ihnen den Zugriff auf dieses Datenpaket sperren und es gegebenenfalls löschen. Außerdem behalten wir uns vor, Ihren Zugriff auf RADAR zu sperren, wenn Sie RADAR entgegen dieser Nutzungshinweise verwenden.


Juli 2019 / FIZ Karlsruhe

RADAR ist ein über das Internet nutzbarer Dienst für die Archivierung und Publikation von Forschungsdaten aus abgeschlossenen wissenschaftlichen Studien und Projekten. Betreiber ist FIZ Karlsruhe – Leibniz-Institut für Informationsinfrastruktur GmbH (im Folgenden „wir“ oder „uns“ genannt). Über RADAR können Dritte („Datengeberinnen“ bzw. „Datengeber“) Forschungsdaten zu Datenpaketen zusammenstellen, mit Metadaten beschreiben, dauerhaft speichern und öffentlich zugänglich machen. Eine inhaltliche Bewertung und Qualitätsprüfung findet ausschließlich durch die Datengeberinnen und Datengeber statt.

1. Das Nutzungsverhältnis zwischen Ihnen („Datennutzerin“ bzw. „Datennutzer“) und uns erschöpft sich im Download von Datenpaketen oder Metadaten. Wir behalten uns vor, die Nutzung von RADAR einzuschränken oder den Dienst ganz einzustellen.
2. Sofern Sie sich als Datennutzerin oder als Datennutzer registrieren lassen bzw. über Shibboleth legitimieren, kann Ihnen seitens der Datengeberin oder des Datengebers Zugriff auch auf archivierte Dokumente gewährt werden.
3. Den Schutz Ihrer persönlichen Daten erklären die Datenschutzbestimmungen.
4. Wir übernehmen für Richtigkeit, Aktualität und Zuverlässigkeit der bereitgestellten Inhalte keine Gewährleistung und Haftung, außer im Fall einer zwingenden gesetzlichen Haftung.
5. Wir stellen Ihnen als Datennutzerin oder als Datennutzer für das Recherchieren in RADAR und für das Herunterladen von Datenpaketen keine Kosten in Rechnung.
6. Sie müssen die mit dem Datenpaket verbundenen Lizenzregelungen einhalten.

Juli 2019 / FIZ Karlsruhe