Logo des Repositoriums

Auflistung nach Autor:in "Knapp, Alexander"

1 - 8 von 8
  • Zeitschriftenartikel
    Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems
    (Softwaretechnik-Trends Band 38, Heft 1, 2018) Eberhardinger, Benedikt; Seebach, Hella; Reichstaller, André; Knapp, Alexander; Reif, Wolfgang
    Software testing plays a major role for engineering future systems that become more and more adaptive to their environment. In order to fulfill the high demand, test automation is needed as a keystone. However, test automation, as it is used today, is counting on captureand-replay-like scripting and is thus not able to keep up with intelligent systems. Therefore, we ask for an adaptive test automation and propose a model-based approach that enables self-awareness as well as awareness of the system under test which is used for automation of the test suites.
  • Zeitschriftenartikel
    Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing
    (Softwaretechnik-Trends Band 38, Heft 1, 2018) Reichstaller, André; Eberhardinger, Benedikt; Seebach, Hella; Knapp, Alexander; Reif, Wolfgang
    Statistical test generation builds on profiles which describe the estimated conditions of the system under test’s environment. Such environmental profiles, however, do not directly provide us with inputs for testing particular system components, as those mostly depend on the output of others. We thus a additionally need to estimate this output if we want to maintain statistical accuracy. Instantiating this task for the isolated testing of self-organization mechanisms between adaptive agents, this paper investigates the application of deep learning techniques for imitating the agents’ output. The proposed technique is evaluated on a simulated self-organizing grid of power plants.
  • Textdokument
    fOOSE- Eine integrierte formale Softwareentwicklungsmethode
    (Ausgezeichnete Informatikdissertationen 2000, 2003) Knapp, Alexander
    Die Methode "fOOSE" (formal Object-Oriented Software Engineering) exemplifiziert eine auf der "Unified Modeling Language" (UML) basierende, integrierte formale Softwareentwicklungsmethode: Jacobsons "Object-Oriented Software Engineering"-Methode (OOSE) wird um diagrammgestützte, formale Spezifikationen, Beweisverpflichtungen und Verfeinerungen erweitert. Die diagrammatischen UML- Modelle werden um Anmerkungen, etwa Invarianten, in einer formalen, algebraischen Sprache optional ergänzt. Aus der Semantik der Diagramme und der Anmerkungen kann halbautomatisch eine ablauffähige Spezifikation in der objektorientierten, algebraischen Spezifikationssprache Maude abgeleitet werden: Ein automatisch erstelltes Spezifikationsgerüst muß vom Benutzer unter Ausnutzung der formalen Annotationen vervollständigt werden. Diese Spezifikationen erlauben insbesondere die Verifikation von Verfeinerungsbeziehungen zwischen Modellen. Schließlich bildet die semi-automatisch erstellte Spezifikation aus einem gegebenen, annotierten Softwaremodell auch die Grundlage für eine korrekte Implementierung dieses Modells in der objektorientierten, nebenläufigen Programmiersprache Java.
  • Konferenzbeitrag
    Model transformations for integrating and validating web application models
    (Modellierung 2006, 2006) Knapp, Alexander; Zhang, Gefei
    While most current Web Engineering methodologies model the separate aspects, content, navigation, business logic, and presentation, of Web systems in separate models, integration of the different models and in particular the validation of their interaction is not yet sufficiently supported. We propose a systematic approach of building a UML state machine that integrates the separate concerns content, navigation, and business logic of a Web system into a big picture, which can then be validated formally for consistency and behavioural properties.
  • Konferenzbeitrag
    Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools
    (Software Engineering 2013 - Workshopband, 2013) Kuhrmann, Marco; Méndez Fernández, Daniel; Linssen, Oliver; Knapp, Alexander
  • Konferenzbeitrag
    Modellierung von Vorgehensmodellen -Paradigmen, Sprachen, Tools
    (Software Engineering 2013, 2013) Kuhrmann, Marco; Fernández Méndez, Daniel; Linssen, Oliver; Knapp, Alexander
  • Zeitschriftenartikel
    Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools
    (Enterprise Modelling and Information Systems Architectures - An International Journal: Vol. 8, Nr. 1, 2013) Kurhmann, Marco; Kalus, Georg; Knapp, Alexander
    Today, modelling is a widely acisecepted technique in Software Engineering (SE). Many problems can be expressed using general-purpose modelling languages such as the UML. For more specific problems, the definition of a specialised domain-specific language (DSL) may be required. The definition of a domainspecific language is a time-consuming task that requires knowledge in (modelling) language design, deep understanding of the domain and, to be useful and usable, user assistance and tool support. In this paper, we present an approach to derive a domain-specific language from the description of instances of the domain under consideration: Stakeholders describe model instances from which the metamodel (the DSL) and a suitable modelling tool are derived automatically. We describe a tool that we used to experiment with this approach, its current state and the future work.
  • Zeitschriftenartikel
    UWE – Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE – An Approach for the Model-Driven Development of Web Applications)
    (i-com: Vol. 6, No. 3, 2008) Knapp, Alexander; Koch, Nora; Wirsing, Martin; Zhang, Gefei
    UWE (UML-based Web Engineering) ist ein Ansatz zur modellgetriebenen Entwicklung von Websystemen. Die UWE-Notation ist speziell an die intuitive Modellierung von Webanwendungen angepasst; UWE umfasst einen werkzeugunterstützten Entwicklungsprozess für die semi-automatische Konstruktion von Webanwendungen; und UWE-Modelle ermöglichen eine frühzeitige Validierung. Eines der Hauptcharakteristika von UWE ist seine Verwendung von etablierten Standards: Die Modellierungssprache basiert auf UML und einer UML-Erweiterung, einem so genannten UML-Profil. Dieses Profil ist als eine konservative Erweiterung des UML-Metamodells definiert, wodurch die Verwendung bestehender Modellierungswerkzeuge und deren Erweiterungen ermöglicht wird. Der UWE-Prozess wendet die Model-Driven-Architecture (MDA)-Prinzipien auf die Entwicklung von Webanwendungen an, Modelle und Modelltransformationen bilden den primären Fokus.