Refine
Document Type
- Article (1)
- Diploma Thesis (1)
Language
- German (2) (remove)
Has Fulltext
- yes (2)
Is part of the Bibliography
- no (2)
Keywords
- Bezeichnungen (1)
- Computerspielstörung (1)
- Contextual Equivalence (1)
- Gleichheitsanalyse (1)
- Glücksspielstörung (1)
- ICD-11 (1)
- Kontextuelle Gleichheit (1)
- Lambda Calculus (1)
- Lambda-Kalkül (1)
- Program Verification (1)
Institute
Fragestellung: Es existiert eine Vielzahl von Begriffen für Verhaltenssüchte, die Mängel in Operationalisierung, Bezug zum Verhalten, Kompatibilität mit internationalen Klassifikationen sowie nicht stigmatisierender Nutzung aufweisen. Daher werden einheitliche Begriffe für Verhaltenssüchte benötigt. Methode: Im Rahmen einer Leitlinie zur Diagnostik und Behandlung Internetbezogener Störungen wurden Lösungen in Form eines Expertenkonsens entwickelt. Ergebnisse: Als Grundlage wurde die Einteilung von Verhaltenssüchten in der 11. Revision der International Classification of Diseases (ICD-11) genutzt. Es wurden die Begriffe Computerspielstörung (CSS) und Glücksspielstörung (GSS) für die beiden in ICD-11 enthaltenen Verhaltenssüchte gewählt sowie drei weitere spezifizierte Verhaltenssüchte vorgeschlagen: Soziale-Netzwerke-Nutzungsstörung (SNS), Shoppingstörung (ShS) und Pornografie-Nutzungsstörung (PNS). Für CSS, GSS und ShS wird weiterhin zwischen vorwiegend online oder vorwiegend offline unterschieden. Als Oberbegriff wird Störungen aufgrund von Verhaltenssüchten vorgeschlagen. Für Störungen aufgrund von Verhaltenssüchten, die sich vorwiegend auf online ausgeübte Verhaltensweisen beziehen, kann alternativ der Oberbegriff Internetnutzungsstörungen verwendet werden. Schlussfolgerung: Die vorgeschlagenen Termini weisen Verbesserungen im Vergleich zu uneindeutigen oder aus anderen Gründen ungünstigen Begriffen dar. Gleichzeitig konnte eine Kompatibilität mit der ICD-11 ermöglicht werden.
Gegenstand der Arbeit ist ein Gleichheitskalkül für den Kern einer nicht-strikten funktionalen Programmiersprache. Funktionale Programmiersprachen unterstützen bestens die Prinzipien Abstraktion, Einkapselung, Hierarchiesierung und Modularisierung, die gemeinhin als Grundelemente des Software-Engineering betrachtet werden. Darüber hinaus bieten funktionale Programmiersprachen aufgrund ihrer Entwicklung aus dem Lambda-Kalkül eine große Nähe zu mathematischen Modellen. Daher besitzen sie im Bereich der Programmverifikation ausgeprägte Vorteile gegenüber imperativen oder objekt-orientierten Programmiersprachen. In der Arbeit wird nun ein Gleichheitsbegriff für Ausdrücke in funktionalen Programmiersprachen entwickelt und dessen Praktikabilität durch die Implementierung eines Beweisers untermauert. Dieser Gleichheitsbegriff ist die kontextuelle Gleichheit, die Ausdrücke aufgrund ihres Terminierungsverhaltens als Unterprogramme in allen möglichen Kontexten einordnet. Kontextuelle Gleichheit wird in Kapitel 2 vorgestellt, nachdem der klassische und der sogenannte "lazy" Lambda-Kalkül eingeführt wurden. Kapitel 3 enthält einen Überblick über die funktionale Programmierung, da auch die Implementierung des o.g. Beweisers in einer funktionalen Programmiersprache, nämlich Haskell, durchgeführt wird. In Kapitel 4 wird die funktionale Kernsprache, die Gegenstand der Untersuchung sein wird, beschrieben. Sie enthält alle wesentlichen Elemente wie z.B. Funktionsdefinition und -anwendung sowie Datentypen. Im selben Kapitel wird auch der Gleichheitsbegriff für diese Kernsprache definiert. Kapitel 5 schließlich entwickelt auf Basis der zuvor erfolgten Definitionen einen Kalkül für den Gleichheitsbeweis. Außerdem wird in diesem Kapitel auch die Umsetzung dieses Gleichheitskalküls präsentiert. Aus der Dissertation von Marko Schütz werden hierbei Erkenntnisse über die Kontextanalyse verwendet, um erfüllende Belegungen von freien Variablen zu berechnen. Die Arbeit schließt mit Beispielanalysen und Meßwerten sowie einer Diskussion der Ergebnisse und möglicher Erweiterungen.