Auflistung P105 - Software Engineering 2007 nach Erscheinungsdatum
1 - 10 von 37
Treffer pro Seite
Sortieroptionen
- Editiertes Buch
- KonferenzbeitragStrategische Bedeutung des Software Engineering für die Medizin(Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Glesner, Sabine; Jähnichen, Stefan; Paech, Barbara; Rumpe, Bernhard; Wetter, Thomas; Winter, AlfredIm Rahmen des Workshops 2006 der Software Engineering Professorinnen und Professoren im deutschsprachigen Raum in Bad Windsheim vom 25.-27.09.06 wurde ein Manifest Qualität in der Medizin durch Software Engineering erstellt, das im folgenden kurz skizziert und auf der Softwaretechnik Tagung 2007 zur Diskussion gestellt wird.
- KonferenzbeitragC++ ist typsicher? Garantiert!(Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Wasserab, Daniel; Nipkow, Tobias; Snelting, Gregor; Tip, FrankWir präsentieren eine operationelle Semantik mit Typsicherheitsbeweis für Mehrfachvererbung in C++, formalisiert im und maschinengeprüft durch den Maschinenbeweiser Isabelle/HOL. Die Typsicherheit des Vererbungsmechanismus von C++ war lange offen. Der nun vorliegende Beweis erhöht das Vertrauen in die Sprache, erzeugt aber auch neue Einsicht in die Problematik des C++-Vererbungsmechanismus. Er öffnet die Tür für weitergehende Beweise, die bisher unerreichte Sicherheitsgarantien für C++-Programme liefern.
- KonferenzbeitragWo kann die Einführung von Methoden der Softwaretechnik in Unternehmen ansetzen?(Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Sieber, AndreaRepräsentative empirische Untersuchungen zeigen auf, dass in der Softwaretechnik bekannte Methoden und Werkzeuge in Softwareunternehmen nur begrenzt eingesetzt werden. An vier exemplarischen Beispielen wird aufgezeigt, dass die Einführung neuer Methoden und Werkzeuge an ungünstig gelösten Konflikten und einer Überschätzung der Steuerbarkeit menschlichen Handelns scheitert. Konflikte an sich sind jedoch eine Chance, die Software und die dazugehörigen Arbeitsprozesse situationsadäquat und ausgehend von den Arbeitsstilen der Mitarbeiter langfristig zu verbessern. Voraussetzung dafür sind integrative und alltagstaugliche Konfliktlösungen. Das Finden solchen Lösungen können Forscher im Bereich Softwaretechnik unterstützen.
- KonferenzbeitragBestimmung von Laufzeiteigenschaften mobiler Softwarearchitekturen(Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Gruhn, Volker; Schäfer, ClemensDas Verhalten eines mobilen Systems wird durch seine Architektur (statische und dynamische Anteile, Softwareverteilung), die zu Grunde liegende Netzwerkinfrastruktur (Topologie, Parameter wie Bandbreiten oder Latenzzeiten) und Interaktionen der Benutzer mit dem System bestimmt. Um bereits zur Entwurfszeit ermitteln zu können, ob ein mobiles System nichtfunktionale Anforderungen an Antwortzeiten oder Verfügbarkeiten von Diensten erfüllt, kann eine Simulation des Systems auf Basis eines Architekturmodells unter Einbeziehung eines Netzwerk- und eines Benutzerinteraktionsmodells durchgeführt werden. Ein derartiger Ansatz unter Verwendung der Architekturbeschreibungssprache Con Moto wird in diesem Beitrag vorgestellt.
- KonferenzbeitragApplying the ISO 9126 Quality Model to Test Specifications – Exemplified for TTCN-3 Test Specifications(Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Zeiss, Benjamin; Vega, Diana; Schieferdecker, Ina; Neukirchen, Helmut; Grabowski, JensQuality models are needed to evaluate and set goals for the quality of a software product. The international ISO/IEC standard 9126 defines a general quality model for software products. Software is developed in different domains and the usage of the ISO/IEC quality model requires an instantiation for each concrete domain. One special domain is the development and maintenance of test specifications. Test specifications for testing, e.g. the Internet Protocol version 6 (IPv6) or the Session Initiation Protocol (SIP), reach sizes of more than 40.000 lines of test code. Such large test specifications require strict quality assurance. In this paper, we present an adaptation of the ISO/IEC 9126 quality model to test specifications and show its instantiation for test specifications written in the Testing and Test Control Notation (TTCN-3). Example measurements of the standardised SIP test suite demonstrate the applicability of our approach.
- KonferenzbeitragEin Entscheidungsmodell für das Tracing von Anforderungen(Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Turban, Bernhard; Tsakpinis, Athanassios; Wolff, ChristianNützliche Anforderungstraceability in Richtung des Designs ist schwer erreichbar, da zwischen Problem und Lösung eine Vielzahl getroffener Entscheidungen steht. Der vorliegende Artikel skizziert kurz unser zentrales Konzept zur Integration von Entscheidungen in die Traceabilityinformation. Wir schlagen dafür einen leichtgewichtigen skalierbaren Ansatz vor, der auch bekannte Probleme im Bereich Rationale Management zu lösen versucht.
- KonferenzbeitragArchitekturzentrierte Softwaretechnik(Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Floyd, Christiane
- KonferenzbeitragEine Methode für das Co-Design von Anforderungs- und Entwurfsartefakten(Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Pohl, Klaus; Sikora, Ernst
- KonferenzbeitragAgilität und Prozessreife: Erfüllbarkeit der CMMI-Prozessgebiete durch agile Methoden am Beispiel von XP(Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Fritzsche, Martin; Keil, PatrickIn den letzten Jahren wurden agile Methoden wie eXtreme Programming zunehmend populär. Parallel dazu stützen sich mehr und mehr Unternehmen auf Reifegradmodelle, um ihre eigenen Prozesse oder die der Zulieferer zu analysieren und zu verbessern, nachdem sich immer mehr die Ansicht durchsetzt, dass viele Projektmisserfolge undisziplinierten, inkonsistenten Prozessen zugeschrieben werden können. In dieser Situation ist es notwendig, die Zusammenhänge und gegenseitigen Einschränkungen von agilen Methoden und Verfahren zur Softwareprozess-Analyse und -Verbesserung zu analysieren. Dieser Beitrag untersucht, in welchem Maß die CMMI-Prozessgebiete durch XP abgedeckt werden und wo XP angepasst werden muss. Darauf aufbauend beschreiben wir die Grenzen von CMMI im agilen Umfeld und zeigen, dass Level 4 und 5 mit den aktuellen Spezifikationen von CMMI und XP nicht realisierbar sind.