P133 - INFORMATIK 2008 - Beherrschbare Systeme - dank Informatik - Band 1
Auflistung P133 - INFORMATIK 2008 - Beherrschbare Systeme - dank Informatik - Band 1 nach Erscheinungsdatum
1 - 10 von 90
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragPeer-to-Peer Comparison of Model-Based Test Tools(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Budnik, Christof J.; Subramanyan, Rajesh; Vieira, MarlonThe aim is to understand the differences between TDE/UML and peer tools available on the market to assess strength and weakness of TDE/UML. Evaluation comparison criteria are modeling, test case generation and extensibility of the model-based testing tools under consideration. The methodology can be adopted using tools other than TDE as a baseline for similar comparisons.
- KonferenzbeitragData Mutation Testing Applied to a Modelling Tool(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Zhu, Hong
- KonferenzbeitragWiederverwendung von Legacy-Systemen durch einen Bottom-up – Ansatz bei der Entwicklung einer SOA(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Englet, SandraWird in einem Unternehmen die Entwicklung einer SOA geplant, so stellt sich schnell die Frage der richtigen Einführungsstrategie. Ist es sinnvoll, eine übergreifende Strategie zu fahren und ein allumfassendes Servicemodell als Ausgangspunkt festzulegen, um in einem Top-down-Ansatz die eigenen Produkte SOA-fähig zu machen? Oder sollen Investitionen in Legacy-Systeme geschützt werden, indem bestehende Anwendungen optimiert und durch den Einsatz von Services modernisiert werden, um Systeme wieder verwenden zu können? Bei der Einführung einer SOA beim Bayer. Gemeindeunfallversicherungsverband/Landesunfallkasse (Bayer. GUVV/LUK) war die Grundidee, bestehende Systeme wieder zu verwenden und an einen integrierenden Information Switch anzubinden. In einem Pilotprojekt konnten erste Erfahrungen sowohl bei der Integration zweier Legacy-Anwendungen, als auch bei der Entwicklung von Web Services gesammelt werden.
- KonferenzbeitragÖffentliche elektronische Petitionen beim Deutschen Bundestag(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Riehm, UlrichEs werden Gründe für die Einführung elektronischer Petitionssysteme aufgeführt und Varianten elektronischer Petitionssysteme unterschieden. Danach werden ausgewählte Ergebnisse aus der Evaluation des Modellversuchs „Öffentliche Petitionen“ beim Deutschen Bundestag dargestellt. Hervorgehoben werden soll daraus, dass das große Interesse an Veröffentlichung von Petitionen bei den Bür- gern durch das Parlament nicht vollständig befriedigt werden kann. Die Diskussionsforen werden zwar stark von den Bürgern genutzt, ihre Verwertung im Petitionsverfahren bedarf jedoch weiterer Klärung.
- KonferenzbeitragGeeignete Richtlinien und Methoden zur Prüfung der Usability von Benutzungsoberflächen bei Onlinewahlsystemen(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Weddeling, SonjaDieses Papier beschreibt zunächst die Relevanz von Usability bei Onlinewahlverfahren und deren besondere Umstände, die bei der Implementierung solcher Systeme beachtet werden müssen. In einem weiteren Schritt werden dann gängige Standards in Bezug auf Gebrauchstauglichkeitsprüfungen und auch Ergonomie von Softwaresystemen beschrieben und jeweilige zusammenhängende Test- bzw. Prüfmethoden aufgezeigt. Abschließend werden diejenigen Standards herausgestellt, die sich zum Heranziehen für die Usability bei Onlinewahlverfahren besonders eignen.
- KonferenzbeitragAutomatische Generierung optimaler modellbasierter Regressionstests(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Pinte, F.; Baier, G.; Saglietti, F.; Oster, N.Mit der immer größeren Verbreitung modellgetriebener Softwareentwicklung kommt dem modellbasierten Test eine immer wichtigere Rolle zu. Dieser Artikel präsentiert einen neuen Ansatz zur Optimierung des Regressionstests mittels automatischer Erkennung wieder verwendbarer Testfälle und automatischer Generierung einer minimalen Anzahl zusätzlich zu überprüfender Abläufe.
- KonferenzbeitragUnterstützung der Softwareentwicklungsprozesse und Softwareprojektrealisierungsprozesse durch ein Application Lifecycle Management Tool bei Swisslog(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Meuli, PhilippeIm Softwareentwicklungsprozess geht es darum, bei höherer Realisierungsqualität (z.B. weniger unentdeckte, ausgelieferte Fehler) und gleichzeitiger interaktiver Einbindung des Kunden zum Festigen einer konvergenten Erwartungshaltung eine grössere Flexibilität zu erreichen und dabei gleichzeitig die Entwicklungsprojektrisiken zu minimieren. Diese Anforderungen sprechen für einen agilen Ansatz den wir bei Swisslog für die Produkteentwicklung in ausgewogenem Masse unter Berücksichtigung der CMMI Praktiken diszipliniert haben. Damit stellen wir kurze Entwicklungszeiten zu einem verlässlichen Produkt und disziplinierte Abwicklung von Software Realisierungsprojekten sicher. Die Anforderungen an die Entwickler und Projektingenieure sind hoch. Sie müssen nicht nur aus teils mangelhaften Lastenheften gute Spezifikationen und Designs erstellen und daraus gute Produkte und Projekte realisieren und gleichzeitig kohärente Versions- verwaltung, durchgängige Nachvollziehbarkeit sicherstellen. Dies ist ohne integriertes Tool nur mit sehr viel administrativem Aufwand und kaum durchzuhaltender Disziplin eines jeden Einzelnen zu realisieren.
- KonferenzbeitragVorgehensmodelle in der Praxis – Werkzeuge und Anwendung(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Kuhrmann, Marco; Keil, Patrick; Kneuper, Ralf; Biskup, Hubert
- KonferenzbeitragAdaptive Indoor Navigation for the Blind(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Gehring, SvenIn this paper, we describe a prototype of an adaptive indoor navigation system which is based on mobile devices and navigates visually impaired people through an unknown building. The system determines the users position inside the building on the basis of a map of the building with the help of Bluetooth-beacons. Since an exact navigation is necessary for navigating visually impaired people, we show how the system uses landmarks for gaining a higher precision for the navigation instructions for the users. We show how the system is able to determine the maximal achievable accuracy in localizing users in the given infrastructure and how the system adapts the navigation to the accuracy.
- KonferenzbeitragStrukturelle Testabdeckung funktionaler Spezifikationen(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Friske, MarioIn diesem Papier wird dargestellt, wie strukturelle Abdeckungskriterien auf mithilfe von Metamodellen formalisierte funktionale Spezifikationen übertragen werden können. Bewährte kontroll- und datenflussbasierte Kriterien, die üblicherweise die Testvollständigkeit in Bezug auf den Programmcode beschreiben, lassen sich so auch zur Überdeckungsmessung spezifizierter Interaktionsflüsse nutzen.