P094 - INFORMATIK 2006 - Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
Auflistung P094 - INFORMATIK 2006 - Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI) nach Titel
1 - 10 von 72
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAnpassung von UML-Aktivitäten an den Prozess der Webapplikationsentwicklung(INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Lorenz, AlexanderUML-Aktivitätsmodelle (kurz Aktivitäten) haben sich weitgehend zur Spezifikation des Verhaltens von Anwendungsfällen etabliert. Allerdings müssen für eine angemessene Spezifikation der Anwendungsfälle im Kontext interaktiver Systeme die Aktivitäten in unterschiedlichen Punkten angepasst werden. Zu diesem Zweck präsentieren wir interaktionsorientierte Aktivitäten. Von diesen Aktivi- täten leiten wir zwei Arten von Aktivitäten ab, die auf den Entwicklungsprozess zugeschnitten sind. Die erste Aktivität ist eine benutzerfreundliche Variante, die der Anforderungsermittlung gewidmet ist. Die zweite Aktivität wird durch eine wohldefinierte Transformation der ersten erhalten. Sie ist eine detailliertere Variante, die als Vorgabe für den Softwareentwurf dient. Wir zeigen, wie letztere Aktivität systematisch in einen Softwareentwurf auf einer spezifischen Plattform abgebildet werden kann. Als Beispielplattform wählen wir J2EE mit einer auf dem Framework Struts basierten Webschicht. Der Beitrag stellt einen auf geeignet angepassten Aktivitäten basierenden Ansatz vor, bei dem in systematischer Weise aus anwenderfreundlich modellierten Anwendungsfällen ein wohlstrukturierter Softwareentwurf mit klarer Trennung von Verantwortlichkeiten abgeleitet werden kann.
- KonferenzbeitragEin Ansatz zur modellbasierten Entwicklung mobiler Benutzungsschnittstellen mit aufgabenorientierter Visualisierung(INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Forbrig, Peter; Fuchs, Georg; Reichart, Daniel; Schumann, HeidrunDie Entwicklung von Nutzungsschnittstellen für mobile Geräte stellt neue Herausforderungen an Softwarenetwickler. Durch den Entwurf von Aufgaben- und Dialogmodellen können Nutzungsschnittstellen für unterschiedliche Geräte spezifiziert werden. Konkrete Geräte und Kontextsituationen erfordern auch die Nutzung alternativer Interaktions- und Präsentationstechniken. Wir stellen hier einen modellbasierten Ansatz vor, der eine Visualisierung, angepasst zu den jeweiligen Aufgaben, unterstützt.
- KonferenzbeitragApplication of semantic technologies for representing patent metadata(INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Giereth, Mark; Stäbler, Achim; Brügmann, Sören; Rotard, Martin; Ertl, ThomasPatents belong to the few types of public information that have a big impact on national and international economies. During the last years there have been great efforts in making patent data available electronically for the public via online services. But today's services provide heterogeneous data structures which makes automatic processing difficult. None of the services supports all user aspects, so that different services have to be combined. In this paper we present an ontology-based approach for representing patent metadata and describe a Patent Metadata Ontology (PMO) that models the major aspects of patent metadata. The advantage of our approach is to provide a homogeneous representation of patent metadata merged from different sources. It allows for identifying context and dependency information more easily than today's database-centric structures and interfaces.
- KonferenzbeitragAppyling model-based testing to a train control system(INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Didrich, Klaus; Herbst, Stefan; Vieira, MarlonIn this paper, we report on lessons learned with the application of model-based testing for the system validation of an embedded train control system. The applied approach is based on UML diagrams annotated with category-partition information. The approach consists of modeling, that is, creating UML use cases and activity diagrams from existing documentation, enhancing the models with testing requirements such as test coverage information and data variations, generating test cases in the form of executable scripts, and finally executing the test cases on a simulator in order to stimulate the application under test and verify its response automatically. This paper illustrates all these phases with an example from a train controller development project and proceeds to show that the approach is especially useful for verifying systems that can run in a simulated environment.
- KonferenzbeitragAspect-based testing of COTS components(INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Bruel, Jean-Michel; Royer, Albert
- KonferenzbeitragAutomatic test case generation with NuSMV(INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Bunin, Grygoriy; Schneider, Axel; Haubelt, Christian; Langer, Jan; Heinkel, UlrichFormal verification has become a key technology to ensure the quality of complex (hardware/software) systems. Although formal verification is widely used in the hardware design phase, it plays a minor role in software or even system development. In this paper, we describe how we used the model checker NuSMV to automatically generate executable test cases from an abstract system description.
- KonferenzbeitragAutomatisierte Erzeugung von TTCN-3 Testfällen aus UML-Modellen(INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Calamé, Jens R.; Ioustinova, Natalia; Pol, Jaco van deDer Test von Software ist ein notwendiges, jedoch ressourcenintensives Unterfangen. Aus diesem Grund wurden verschiedene Ansätze entwickelt, die einzelnen Aspekte des Softwaretests zu automatisieren. In diesem Paper stellen wir einen Ansatz zur automatischen Testfallerzeugung für den modellbasierten Test vor. Dabei werden aus UML-Modellen eines Softwaresystems und der Beschreibung von Testszenarien parametrisierbare Testfälle in TTCN-3 erzeugt. Die Parametrisierung erhöht dabei die Wiederverwendbarkeit der Testfälle, unterstützt die gezielte Auswahl geeigneter Testdaten und wirkt so dem Phänomen der Testfallexplosion entgegen.
- KonferenzbeitragBridging 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, SahinThe 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.
- KonferenzbeitragCollaborative eLearning mit Sakai(INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Wittke, Andreas; Hinrichs, HolgerDie kommende Generation von eLearning-Systemen wird entscheidend geprägt sein durch die Integration von Zusammenarbeit und Lernen. In diesem Beitrag wird mit Sakai eine Open Source-Plattform für das „collaborative eLearning“ vorgestellt. Ursprünglich initiiert durch die Universitäten von Michigan, Indiana und Stanford sowie durch das MIT, tragen heute ca. 100 Institutionen zur Weiterentwicklung des Sakai-Projekts bei. Der Beitrag gibt einen Überblick über die Historie, die Community und die technische Architektur von Sakai, setzt die Software in Bezug zu anderen Open Source-Systemen und gibt einen Ausblick auf zukünftige Entwicklungen.
- KonferenzbeitragCommunication test for object-oriented systems using gossiped data (fast abstract)(INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Kalcklösch, Robert; Liggesmeyer, Peter