Logo des Repositoriums

Auflistung nach Autor:in "Wirsing, Martin"

1 - 5 von 5
  • Zeitschriftenartikel
    Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen
    (Informatik Spektrum: Vol. 5, No. 2, 1982) Pepper, Peter; Broy, Manfred; Bauer, Friedrich L.; Partsch, Helmuth; Dosch, Walter; Wirsing, Martin
  • Konferenzbeitrag
    Developing physiological computing systems: challenges and solutions
    (Software Engineering 2012, 2012) Schroeder, Andreas; Wirsing, Martin
    Today's computing systems provide all kinds of media output to the users including pictures, sounds, lights and visual animations; but user input is mostly restricted to narrow, time-consuming input modes such as mouse, touch screen or keyboard, even if the system could sense this information implicitly from the human body. Physiological computing allows one to re-balance this information asymmetry by considering also physiological data of the users as input during on-line processing. Using such inputs, physiological computing systems are becoming able to monitor, diagnose and respond to the cognitive, emotional and physical states of persons in real time. In this paper we give an introduction to physiological computing, discuss the challenges that typically arise when developing physiological computing systems, and solutions that we found promising in the creation of case studies. More specifically, we discuss the concepts software frameworks should incorporate to provide guidance in the development process: component-orientation, data processing support, and distribution support were found useful when dealing with physiological computing systems, where real-time sensing, on-line data processing, actuator control, context-awareness and self-adaptation are involved. Furthermore, we discuss why agile software development methodologies seem appropriate to structure development efforts involving physiological computing. Finally, we cover the issues in validation and verification of physiological computing systems that arise from the characteristics of the application domain, and discuss how empirical validation through psychological experiments, software validation and verification can interact with each other in the domain of physiological computing.
  • Zeitschriftenartikel
    Nichtdeterminismus - Das aktuelle Schlagwort
    (Informatik Spektrum: Vol. 4, No. 2, 1981) Broy, Manfred; Gnatz, Rupert; Wirsing, Martin
  • Konferenzbeitrag
    SecEval: An Evaluation Framework for Engineering Secure Systems
    (Modellierung 2014, 2014) Busch, Marianne; Koch, Nora; Wirsing, Martin
    Engineering secure software systems is not an easy task. Many methods, notations and tools - we call them knowledge objects - exist to support engineers in the development of such software. A main problem is the selection of appropriate knowledge objects. Therefore, we build the conceptual framework SECEVAL to support the evaluation and comparison of security features, vulnerabilities, methods, notations and tools. It provides an evaluation process and a model, which comprises concepts related to security context, data collection and data analysis. Our approach is validated by a case study in the area of security testing of web applications.
  • 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.