Logo des Repositoriums

Auflistung nach Schlagwort "quality"

1 - 8 von 8
  • Zeitschriftenartikel
    Building Transformation Networks for Consistent Evolution of Interrelated Models
    (Softwaretechnik-Trends Band 42, Heft 2, 2022) Klare, Heiko
    In model-driven development, models and constitute central units of the development process, from which also parts of the program code can be derived. A common means to preserve consistency between models are transformations, which adapt the other models after one of them was changed. Existing research is focused on bidirectional transformations that preserve consistency between pairs of models. Actual software systems are, however, usually described with more than two models, and the languages used to specify them vary between projects. In this thesis, we research how developers can combine multiple transformations to a network that is able to execute these transformations in an order such that all resulting models are consistent. We consider the problem from a software engineer’s perspective and make the central assumption that each transformation between two languages is developed independently and that the transformations are not and cannot be aligned with each other, in order to support independent development and reuse. We base mathematically founded as well as empirical considerations from case studies on these assumptions. Our contributions are separated into those concerning the correctness and those concerning the optimization of quality properties of such a combination of transformations to a network.
  • Konferenzbeitrag
    Business Technologies - A Modeling Centered, Application Oriented Course
    (Modellierung 2022 Satellite Events, 2022) Mayr, Heinrich C.; Shekhovtsov, Volodymyr A.
    In this paper, we present the course "Business Technologies", which we offer at Alpen-Adria-Universität for students of the master’s programs in Informatics and Information Systems to introduce them to the exciting world of modeling. It is a combination of lecture and project work that has been offered regularly since 2013, with the content being adapted and updated every year. We intend this paper to stimulate discussion of modeling as an important component of Informatics teaching. Accordingly, not all our theses are scientifically substantiated; rather, some of them are intentionally formulated in a somewhat pointed way to provoke the discussion.
  • Konferenzbeitrag
    Engineering A Reliable Prompt For Generating Unit Tests - Prompt engineering for QA & QA for prompt engineering
    (Softwaretechnik-Trends Band 43, Heft 3, 2023) Faragó, David
    This paper demonstrates Prompt Engineering (PE) on a running example: generating unit test cases for a given function. By iter atively adding further prompt patterns and measuring the robustness, correctness, and comprehensiveness of the AI’s output, multiple prompt patterns and their purpose and strength are investigated. We conclude that high robustness, correctness, and comprehensiveness is hard to achieve, and many prompt patterns (single prompt as well as patterns that span over a conversation) are necessary. More generally, quality assurance is a dominant part of PE and closely intertwined with the development part of PE. Thus traditional testing processes and stages do not adequately apply to QA for PE, and we suggest a PE process that covers the development and quality assurance of prompts as alternative.
  • Zeitschriftenartikel
    Evaluating Architectural Safeguards for Uncertain AI Black-Box Components
    (Softwaretechnik-Trends Band 44, Heft 2, 2024) Scheerer, Max
    There have been enormous achievements in the field of Artificial Intelligence (AI) which has attracted a lot of attention. Their unverifiable nature, however, makes them inherently unreliable. For example, there are various reports of incidents in which incorrect predictions of AI components led to serious system malfunctions (some even ended fatally). As a result, various architectural approaches (referred to as Architectural Safeguards) have been developed to deal with the unreliable and uncertain nature of AI. Software engineers are now facing the challenge to select the architectural safeguard that satisfies the non-functional requirements (e.g. reliability) best. However, it is crucial to resolve such design decisions as early as possible to avoid (i) changes after the system has been deployed (and thus potentially high costs) and to meet the rigorous quality requirements of safety-critical systems where AI is more commonly used. This dissertation presents a model-based approach that supports software engineers in the development of AI-enabled systems by enabling the evaluation of architectural safeguards. More specifically, an approach for reliability prediction of AI-enabled systems (based on established model-based techniques) is presented. Moreover, the approach is generalised to architectural safeguards with self-adaptive capabilities, i.e. self adaptive systems. The approach has been validated by considering four case studies. The results show that the approach not only makes it possible to analyse the impact of architectural safeguards on the overall reliability of an AI-enabled system, but also supports software engineers in their decision-making.
  • Konferenzbeitrag
    Fingermark Quality Assessment: An Open-Source Toolbox
    (BIOSIG 2021 - Proceedings of the 20th International Conference of the Biometrics Special Interest Group, 2021) Oblak, Tim; Haraksim, Rudolf; Beslay, Laurent; Peer, Peter
    Fingermark quality assessment is an important step in a forensic fingerprint identification process. Often done in the scope of criminal investigation, it is performed by trained fingerprint examiners whose quality assessment can be rather subjective. The goal of this work is to develop an automated fingermark quality assessment tool, which would assist the fingermark examiners in their work. In this paper, we present a fast, open-source, and well documented fingermark quality assessment toolbox, which contains more than 20 algorithms for feature extraction, segmentation, and enhancement of fingermark images. We demonstrate the utility of the toolbox by assembling a feature vector and training various baseline machine learning models, capable of predicting the quality of fingermark images with high accuracy.
  • Zeitschriftenartikel
    Objektorientierte Entwurfsmuster und Frameworks in der Informatik-Ausbildung an der Fachhochschule Konstanz
    (Informatik-Spektrum: Vol. 20, No. 6, 1997) Schmid, Hans Albrecht
      In den letzten Jahren wurden zwei Konzepte entwickelt, welche die Wiederverwendung von Entwurfserfahrung erlauben. Dies sind zum einen Entwurfsmuster, welche lokale, sich jeweils auf wenige Klassen beziehende Entwurfserfahrung zur Wiederverwendung durch andere Entwickler verfügbar machen, zum anderen Frameworks. Diese erlauben die Wiederverwendung einer globalen Art von Entwurfserfahrung, welche wesentliche Aspekte einer Anwendung umfaßt. Dieser Artikel erläutert Erfahrungen mit Entwurfsmustern bei der Frameworkentwicklung. An einem Beispielprojekt erläutert er die erfolgreiche Arbeit von Studenten mit diesen Methoden. Das Ergebnis ermuntert zur Aufnahme entsprechender Methoden in die Informatiker-Ausbildung.Summary  Design patterns and frameworks, two quite new concepts, allow the reuse of design and of individual design experience. A design pattern embodies local design experience that is related to a few classes, whereas a framework embodies a global kind of experience that covers essential aspects of an application. This article describes experiences with these advanced object-oriented concepts in computer-science education. Concrete examples from projects show how design patterns were successfully used by inexperienced students for designing parts of frameworks. The very positive experiences strongly encourage the inclusion of design patterns and frameworks into computer science education.
  • Konferenzbeitrag
    Using a Hardware Simulation for Automatic Software Performance Model Parameterization
    (Softwaretechnik-Trends Band 43, Heft 2, 2023) Weber, Sebastian
    While the fulfilment of functional requirements during software re-engineering or maintenance can likely be monitored with existing test cases, checking whether quality requirements (e.g. performance) are still satisfied requires additional effort. A developer would have to either measure the target system or analyse it based on models. The precise parameterization of these models is usually based on measurements which require an executable software and the target hard ware. This paper proposes an approach to use hardware simulations for the automatic parameterization of performance models to remove the need for the target hardware. The results show that the accuracy of the hardware simulation for the chosen hardware re quires improvements, if these results are intended to replace measurements. Nevertheless they show the applicability of the approach.
  • Konferenzbeitrag
    Weaving Space into the Web of Trust: An Asymmetric Spatial Trust Model for Social Networks
    (The Social Semantic Web 2007 – Proceedings of the 1st Conference on Social Semantic Web (CSSW), 2007) Bishr, Mohamed
    The proliferation of Geo-Information (GI) production in web-based collaboration environments such as mapping mashups built on top of mapping APIs such as GoogleMaps API poses new challenges to GI Science. In this environment, millions of users are not only consumers of GI but they are also producers. A major challenge is how to manage this huge flow of information and identify high value contributions while discarding others. The social nature of the collaborative approaches to GI provides the inspiration for innovative solutions. In this paper, we propose a novel spatial trust model for social networks. This model is part of our research to formalize the spatio-temporal regularities of trust in social networks. The presented model provides a metric for trust as a proxy for GI quality to assess the value of collaborative contributions. We also introduce the underlying network for the model, which is a hybrid network structure for collaborative GI applications based on affiliation networks and one-mood continuous trust networks. Trust calculation in the affiliation network takes into account the geographic distance between the actors and their information contributions –also known as events–, while the one-mood network does not. This leads to an asymmetric model with respect to the representation of space.