Search

Die Software-Qualität ist ein wichtiger Faktor, der über den Erfolg oder Misserfolg eines Software-Produkts entscheidet. Der Vorteil ist, dass sich Software-Qualität bereits in den frühesten Phasen der Entwicklung manifestiert und anhand statischer Analysen gemessen werden kann. Der Nachteil ist, dass die Messergebnisse solcher statischer Analysen manuell interpretiert und bewertet werden müssen, um qualitative Aussagen über die interne Software-Qualität zu ermöglichen. In dieser Arbeit wird daher ein Ansatz vorgestellt, der die Bewertung der Messergebnisse statischer Analysen automatisiert. Dabei handelt es sich um eine Benchmark-orientierte Bewertung, bei der die Messergebnisse eines zu untersuchenden Software-Produkts mit den Messergebnissen von Referenz-Produkten verglichen wird. Anhand dieser Vergleiche wird ein sogenannter Quality-Score formuliert, der angibt, inwieweit das zu untersuchende Software-Produkt implizite Anforderungen erfüllt. Das Ergebnis dieser Arbeit ist ein Tool, das diesen Ansatz implementiert. Software quality is an important factor for the success or failure of a software product. The advantage is that software quality manifests itself in the earliest phases of development and can be measured using static analyses. The disadvantage is that the measurement results of such static analyses must be manually interpreted and assessed to enable qualitative statements about the internal software quality. Therefore, this paper presents an approach that automates the assessment of the measurement results of static analyses. A benchmark-oriented assessment is presented, in which the measurement results of a software product under investigation are compared with the measurement results of reference products. Based on these comparisons, a so-called quality score is formulated, which indicates the extent to which the software product under investigation fulfills implicit requirements. The result of this work is a tool, which implements this approach. eingereicht von Philipp Stadler, BSc Universität Linz, Masterarbeit, 2021

Die Masterarbeit nimmt theoriegeleitet eine empirisch-analytische Untersuchung der direktdemokratischen Instrumente auf Bundes-, Landes- und Gemeindeebene in Österreich vor. Im Forschungsinteresse steht die Frage, inwieweit und unter welchen Bedingungen BürgerInnen mittels direktdemokratischer Verfahren erfolgreich in den Gesetzgebungsprozess eingreifen beziehungsweise als Vetospieler auftreten können, das heißt Gesetzesvorhaben oder -beschlüsse erfolgreich blockieren. Die Analyse zeigt einen eindeutigen Trend zur Weiterentwicklung der direkten Demokratie in den letzten Jahren: Ihre Instrumente werden quantitativ immer häufiger genutzt und qualitativ stetig verbessert. Während die Anzahl der UnterstützerInnen einer Initiative als Erfolgsbedingung ausgeschlossen werden kann, können zwei erfolgsverstärkende Muster für Instrumente der direkten Demokratie identifiziert werden. Erfolgreiche Verfahren weisen entweder (1) eine breit (über Parteigrenzen hinweg) aufgestellte Allianz an UnterstützerInnen auf und werden dabei oft als nur ein Element von größeren Kampagnen eingesetzt. Oder (2) das Verfahren wird zum richtigen Zeitpunkt im Gesetzgebungsprozess initiiert, zu dem der spezifische Sachverhalt bereits auf der politischen Tagesordnung steht, aber noch nicht fertig ausverhandelt ist das direktdemokratische Verfahren also in der Phase der Politikformulierung in den Policy-Zyklus eingreift. eingereicht von: Philipp Stadler Universität Linz, Masterarbeit, 2021

The most active and efficient catalysts for the electrochemical hydrogen evolution reaction (HER) rely on platinum, a fact that increases the cost of producing hydrogen and thereby limits the widespread adoption of this fuel. Here, a metalfree organic electrocatalyst that mimics the platinum surface by implementing a high work function and incorporating hydrogenaffine hydrogen bonds is introduced. These motifs, inspired from enzymology, are deployed here as selective reaction centres. It is shown that the ketoamine hydrogenbond motif enhances the ratedetermining step in proton reduction to molecular hydrogen. The ketoaminefunctionalized polymers reported herein evolve hydrogen at an overpotential of 190 mV. They share certain key properties with platinum: a similar work function and excellent electrochemical stability and chemical robustness. These properties allow the demonstration of one week of continuous HER operation without notable degradation nor delamination from the carrier electrode. Scaled continuousflow electrolysis is reported and 1 L net molecular hydrogen is produced within less than 9 h using 2.3 mg of polymer electrocatalyst. (VLID)5634597 Version of record

Electrocatalytic CO2-to-CO conversion represents one pathway to upgrade CO2 to a feedstock for both fuels and chemicals (CO, deployed in ensuing FischerTropsch or bioupgrading). It necessitates selective and energy-efficient electrocatalystsa requirement met today only using noble metals such as gold and silver. Here, we show that the two-dimensional sulfur planes in semimetallic titanium disulfide (TiS2) provide an earth-abundant alternative. In situ Fourier transform infrared mechanistic studies reveal that CO2 binds to conductive disulfide planes as intermediate monothiocarbonate. The sulfurCO2 intermediate state steers the reduction kinetics toward mainly CO. Using TiS2 thin films, we reach cathodic energy efficiencies up to 64% at 5 mA cm2. We conclude with directions for the further synthesis and study of semimetallic disulfides developing CO-selective electrocatalysts. (VLID)5874135 Accepted version