Logo des Repositoriums

Auflistung nach Autor:in "Albayrak, Sahin"

1 - 10 von 38
  • Konferenzbeitrag
    5. Arbeitstagung Programmiersprachen (ATPS 2012)
    (Software Engineering 2012, 2012) Huch, Frank; Voigtländer, Janis
  • Konferenzbeitrag
    Anforderungen auf Konsistenz überprüft - Formalisierung hilft
    (Software Engineering 2012, 2012) Segelken, Marc
    Im Requirements Engineering sind Fragestellungen bzgl. der Eindeutigkeit, Widerspruchsfreiheit und Vollständigkeit Herausforderungen, die in herkömmlichen, manuell textbasierten Vorgehensweisen nur schwer zu beherrschen sind. Dieser Beitrag beschreibt für reaktive Systeme und Anforderungen, wie sie typischerweise in eingebetteten Systemen vorkommen, den Anwendungsfall der automatischen Modellunabhängigen Überprüfung von Mengen von Requirements hinsichtlich Widerspruchsfreiheit und Vollständigkeit durch Verwendung von in graphischer Darstellung repräsentierter Anforderungen durch formale Methoden.
  • Konferenzbeitrag
    An architecture for smart semantic recommender applications
    (11th International Conference on Innovative Internet Community Systems (I2CS 2011), 2011) Lommatzsch, Andreas; Plumbaum, Till; Albayrak, Sahin
    With the growing availability of semantic datasets, the processing of such datasets becomes the focus of interest. In this paper, we introduce a new architecture that supports the aggregation of different types of semantic data and provides components for deriving recommendations and predicting relevant relationships between dataset entities. The developed system supports different types of data sources (e.g. databases, semantic networks) and enables the efficient processing of large semantic datasets with several different semantic relationship types. We discuss the presented architecture and describe an implemented application for the entertainment domain. Our evaluation shows that the architecture provides a powerful and flexible basis for building personalized semantic recommender systems.
  • Konferenzbeitrag
    Architekturmanagement für eine föderale Produktlinienarchitektur
    (Software Engineering 2012, 2012) Giesecke, Simon; Streekmann, Niels
    Dieser Beitrag beschreibt die ersten Schritte auf dem Weg zu einer föderalen Produktlinienarchitektur im Rahmen der Produktentwicklung bei der BTC AG. Ein wichtiges Ziel ist dabei die Verbesserung der Interoperabilität bisher unabhängig voneinander entwickelter Produkte. Maßnahmen zur Erreichung dieses Ziel sind die Bearbeitung produktübergreifender Architekturthemen und die Durchführung von Architekturreviews.
  • Konferenzbeitrag
    Bridging the gap between model and design of user interfaces
    (INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Feuerstack, Sebastian; Blumendorf, Marco; Albayrak, Sahin
    The creation of user interfaces usually involves various people in different roles and several tools that are designed to support each specific role. In this paper we propose a tool for rapid prototyping that allows all parties involved to directly interact with the system under development. The tool is based on task tree development and integrates the system designer, the user interface designer, the usability expert, and the user interface developer in a common process. The final system is derived from two sources, the task model specified by the system architect and the final user interface specified by the user interface developer and designer. Aggregating the runtime system and the design tools into one complete integrated system is our approach to bridge the gap between the user interface designer working on system mock-ups and the actual developers implementing the system.
  • Konferenzbeitrag
    Controlled generation of models with defined properties
    (Software Engineering 2012, 2012) Pietsch, Pit; Yazdi, Hamed Shariat; Kelter, Udo
    Test models are required to evaluate and benchmark algorithms and tools which support model driven development. In many cases, test models are not readily available from real projects and they must be generated. Using existing model generators leads to test models of poor quality because they randomly apply graph operations on graph representations of models. Some approaches do not even guarantee the basic syntactic correctness of the created models. This paper presents the SiDiff Model Generator, which can generate models and model histories and which can modify existing models. The resulting models are syntactically correct, contain complex structures, and have specified statistical properties, e.g. the frequencies of model element types.
  • Konferenzbeitrag
    Datenschutz und Usability bei Smartcards: Card-to-Card-Authentication
    (Software Engineering 2012, 2012) Buschner, Stefan
    Der Vortrag ist ein Bericht über die Sicherheitstechnologien bei der elektronischen Gesundheitskarte (eGK), die bei der gematik – Gesellschaft für Telematikanwendungen der Gesundheitskarte mbH spezifiziert wird. Die gematik ist ein langjähriger Kunde der adesso AG und zahlreiche Mitarbeiter der adesso AG haben in diesem Projekt mitgearbeitet, sei es in der Spezifikation, beim Bau von Referenzsystemen als auch bei Test und Zulassung der Komponenten für den Regelbetrieb. Das besondere an den Sicherheitstechnologien der Gesundheitskarte ist, dass es gelungen ist, die Sicherheit gegenüber Standardverfahren zu steigern und gleichzeitig die Usability des Systems zu verbessern.
  • Konferenzbeitrag
    Deriving quality-based architecture alternatives with patterns
    (Software Engineering 2012, 2012) Konersmann, Marco; Alebrahim, Azadeh; Heisel, Maritta; Goedicke, Michael; Kersten, Benjamin
    We propose in this paper an iterative method composed of three steps to derive architecture alternatives from quality requirements using a catalogue of patterns and styles. The solution candidates are chosen by answering a set of questions which reflects the requirements. We instantiate then the solution candidates using a UML-based enhancement of the problem frame approach. To ensure that the instantiated architectures fulfill the quality requirements, we evaluate them in the next step. A desired refinement of the software architectures is then achieved by iterating over the described steps.
  • Konferenzbeitrag
    Developer belief vs. reality: the case of the commit size distribution
    (Software Engineering 2012, 2012) Riehle, Dirk; Kolassa, Carsten; Salim, Michel A.
    The design of software development tools follows from what the developers of such tools believe is true about software development. A key aspect of such beliefs is the size of code contributions (commits) to a software project. In this paper, we show that what tool developers think is true about the size of code contributions is different by more than an order of magnitude from reality. We present this reality, called the commit size distribution, for a large sample of open source and selected closed source projects. We suggest that these new empirical insights will help improve software development tools by aligning underlying design assumptions closer with reality.
  • 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.