Analyse und Konzept zur Verbesserung der statischen Fehlereingrenzung Masterarbeit von Lars Gohlke
|
|
|
- Leander Fromm
- vor 6 Jahren
- Abrufe
Transkript
1 Analyse und Konzept zur Verbesserung der statischen Fehlereingrenzung Masterarbeit von Lars Gohlke University of Applied Sciences Brandenburg
2 Inhalt Ziel der Arbeit Motivation State of the Art Methodik Zusammenfassung/Ausblick Seite 2
3 Ziel leichtgewichtigen heuristischen Gegenentwurf zu aufwendigen statistischen Verfahren Quelle: Seite 3
4 Inhalt Ziel der Arbeit Motivation State of the Art Methodik Zusammenfassung/Ausblick Seite 4
5 Motivation Fehlereingrenzung engl.: bug isolation Fehlersuche sehr zeitintensiv Seite 5
6 Motivation Szenario 1 Langlaufende Integrationstests z.b. 5h/Iteration Quelle: Seite 6
7 Motivation/Langlaufende Integrationstests Quelle: Seite 7
8 Motivation/Langlaufende Integrationstests Fragestellungen: - Wie viele verschiedene Ursachen gab es? - Sind das vielleicht nur Folgefehler? Seite 8
9 Motivation Szenario 2 Neuer Mitarbeiter im Projekt Tuyet Mai Ky unter der Verwendung eines Bildes von Scott Maxwell/ Creative Commons Seite 9
10 Motivation/Neuer Mitarbeiter Seite 10
11 Motivation/Neuer Mitarbeiter Fragenstellungen: - Wo soll man beginnen? - Wie kann man zielgerichtet vorgehen? Seite 11
12 Motivation Wie kann man effizient Fehler eingrenzen? Quelle: Seite 12
13 Inhalt Ziel der Arbeit Motivation State of the Art Methodik Zusammenfassung/Ausblick Seite 13
14 State of the Art Aktuelle Verfahrensweisen - Konstruktive Qualitätssicherung - Statistische Fehlerisolierung Seite 14
15 State of the Art Aktuelle Verfahrensweisen - Konstruktive Qualitätssicherung - Statistische Fehlerisolierung Seite 15
16 State of the Art/Konstruktive Qualitätssicherung Konstruktive Qualitätssicherung (statisch) Fehler im Ansatz vermeiden Quelle: Seite 16
17 State of the Art/Konstruktive Qualitätssicherung Bestandteile: Software-Richtlinien Typisierung Vertragsbasierte Programmierung Fehlertolerante Programmierung Portabilität Dokumentation Seite 17
18 State of the Art Aktuelle Verfahrensweisen - Konstruktive Qualitätssicherung - Statistische Fehlerisolierung Seite 18
19 State of the Art/Statistische Fehlerisolation Statistische Fehlerisolation (dynamisch) Quelle: Seite 19
20 State of the Art/Statistische Fehlerisolation delta debugging cooperative bug isolation Seite 20
21 State of the Art/Statistische Fehlerisolation delta debugging - Analyse der Änderungshistorie Quelle: Seite 21
22 State of the Art/Statistische Fehlerisolation cooperative bug isolation - Laufzeitanalyse mit adaptivem Sampling Seite 22
23 State of the Art/Statistische Fehlerisolation Problem - viele Durchläufe viel Zeit - unbrauchbar für Integrationstests Seite 23
24 Inhalt Ziel der Arbeit Motivation State of the Art Methodik Zusammenfassung/Ausblick Seite 24
25 Methodik Idee Verbindung des statischen und dynamischen Ansatzes mit Hilfe einer Softwaremetrik Seite 25
26 Methodik Ziel Fehlereingrenzung durch Vorsortierung der Tests effizienter gestalten Quelle: Seite 26
27 Methodik Herangehensweise - Fehlerbehandlungsprozeß - Schritt: Filterung - Typdistanz - allgemeine Verfahrensweisen - verbesserte Verfahrensweise Seite 27
28 Methodik Herangehensweise - Fehlerbehandlungsprozeß - Schritt: Filterung - Typdistanz - allgemeine Verfahrensweisen - verbesserte Verfahrensweise Seite 28
29 Methodik/Fehlerbehandlungsprozeß Seite 29
30 Methodik Herangehensweise - Fehlerbehandlungsprozeß - Schritt: Filterung - Typdistanz - allgemeine Verfahrensweisen - verbesserte Verfahrensweise Seite 30
31 Methodik/Schritt: Filterung Filterung Seite 31
32 Methodik Herangehensweise - Fehlerbehandlungsprozeß - Schritt: Filterung - Typdistanz - allgemeine Verfahrensweisen - verbesserte Verfahrensweise Seite 32
33 Methodik/Typdistanz Typdistanz - statische objektorientierte Softwaremetrik - Entfernung zweier Klassen (Typen) Seite 33
34 Methodik/Typdistanz Seite 34
35 Methodik/Typdistanz Namensraum als Baum Seite 35
36 Methodik/Typdistanz Seite 36
37 Methodik/Typdistanz Seite 37
38 Methodik/Typdistanz Seite 38
39 Methodik/Typdistanz Einzeltypdistanz (genau eine Typdeklaration) Gesamttypdistanz (mehrere) Seite 39
40 Methodik/Typdistanz Berechnung der Gesamttypdistanz - 1. Maximale Einzeltypdistanz - 2. Median der Einzeltypdistanzen - 3. Anzahl der Anweisungen Seite 40
41 Methodik/Typdistanz Bedeutung der Typdistanz - Fehlerfortpflanzung - Kleinster Test - Kleinster Fehler Seite 41
42 Methodik/Typdistanz Fehlerfortpflanzung Seite 42
43 Methodik/Typdistanz Kleinster Test Seite 43
44 Methodik/Typdistanz Kleinster Fehler Seite 44
45 Methodik Herangehensweise - Fehlerbehandlungsprozeß - Schritt: Filterung - Typdistanz - allgemeine Verfahrensweisen - verbesserte Verfahrensweise Seite 45
46 Methodik/Bekannte Verfahrensweisen Bekannte Verfahrensweisen Seite 46
47 Methodik/Bekannte Verfahrensweisen Bekannte Verfahrensweisen Seite 47
48 Methodik/Bekannte Verfahrensweisen Bekannte Verfahrensweisen Seite 48
49 Methodik/Bekannte Verfahrensweisen Bekannte Verfahrensweisen Seite 49
50 Methodik/Bekannte Verfahrensweisen Bekannte Verfahrensweisen Seite 50
51 Methodik/Bekannte Verfahrensweisen Bekannte Verfahrensweisen Seite 51
52 Methodik/Bekannte Verfahrensweisen Bekannte Verfahrensweisen Seite 52
53 Methodik/Bekannte Verfahrensweisen Bekannte Verfahrensweisen Seite 53
54 Methodik Herangehensweise - Fehlerbehandlungsprozeß - Schritt: Filterung - Typdistanz - allgemeine Verfahrensweisen - verbesserte Verfahrensweise Seite 54
55 Methodik/Bekannte Verfahrensweisen verbesserte Verfahrensweise Seite 55
56 Methodik/Bekannte Verfahrensweisen verbesserte Verfahrensweise Seite 56
57 Methodik/Bekannte Verfahrensweisen verbesserte Verfahrensweise Seite 57
58 Methodik/Verbesserte Verfahrensweisen verbesserte Verfahrensweise Seite 58
59 Methodik/Vergleich der Verfahrensweisen Seite 59
60 Methodik/Vergleich der Verfahrensweisen Seite 60
61 Methodik/Vergleich der Verfahrensweisen Seite 61
62 Inhalt Ziel der Arbeit Motivation State of the Art Methodik Zusammenfassung/Ausblick Seite 62
63 Zusammenfassung Zusammenfassung Implementierung in Java Integration in Junit/TestNG/Maven Berechnung der Metrik mit Sonar Untersuchung durchgeführt Seite 63
64 Zusammenfassung Ausblick empirische Bestätigung fehlt Projekt öffentlich unter Seite 64
65 Danke für Ihre Aufmerksamkeit! Seite 65
1.1 Demografie in der Software Größe als Herausforderung Ursachen für Altersschwäche Wegweiser durch dieses Buch...
ix Teil I Grundlagen der Softwarewartung 1 1 Einleitung............................................................ 3 1.1 Demografie in der Software............................... 3 1.2 Größe als Herausforderung...............................
Christoph Bommer Markus Spindler Volkert Barr. Softwarewartung. Grundlagen, Management und Wartungstechniken. dpunkt.verlag
Christoph Bommer Markus Spindler Volkert Barr Softwarewartung Grundlagen, Management und Wartungstechniken dpunkt.verlag Teil I Grundlagen der Softwarewartung 1 1 Einleitung 3 1.1 Demografie in der Software
examen.press Software-Qualität Bearbeitet von Dirk W Hoffmann
examen.press Software-Qualität Bearbeitet von Dirk W Hoffmann 1. Auflage 2008. Buch. XIV, 568 S. Hardcover ISBN 978 3 540 76322 2 Format (B x L): 15,5 x 23,5 cm Weitere Fachgebiete > EDV, Informatik >
Vorhersage von nicht-funktionalen Feature-Interaktionen
Vorhersage von nicht-funktionalen Feature-Interaktionen Sergiy Kolesnikov, Semah Senkaya, Sven Apel Universität Passau Braunschweig 21.03.2012 In Kooperation mit: Norbert Siegmund, Stefan Sobernig, Jörg
Praxiserprobte Software- Entwicklungswerkzeuge im Überblick
Praxiserprobte Software- Entwicklungswerkzeuge im Überblick Dipl.-Math. Günter Kugel Dipl.-Inf. Artur Habel Prof. Dr. Wolfgang Hesse Dipl.-Math. Peter Hubele Dipl.-Ing. Werner Mathes Dr.-Ing. Manfred Popall
Modell zur Einflussanalyse Ein Modell zur Einflussanalyse von Methodenänderungen in Entwicklungsprozessen
Modell zur Einflussanalyse Ein Modell zur Einflussanalyse von Methodenänderungen in Entwicklungsprozessen Roland Koppe, Stefan Häusler, Axel Hahn 2 Übersicht Einleitung und Motivation Ansatz und Methodik
Weiterentwicklungs-Projekten
Magdeburger Schriften zum Empirischen Software Engineering Andre Janus Konzepte für Agile Qualitätssicherung und -bewertung in Wartungs- und Weiterentwicklungs-Projekten Shaker Verlag Aachen 2013 Inhaltsverzeichnis
Qualitätsmanagement mit Continuous Integration Untersuchung anhand einer Machbarkeitsstudie in der Praxis. Abschlußpräsentation zur Studienarbeit
Qualitätsmanagement mit Continuous Integration Untersuchung anhand einer Machbarkeitsstudie in der Praxis Abschlußpräsentation zur Studienarbeit Lars Gohlke Diplom-Informatiker (FH) University of Applied
Vulnerability Recognition by Execution Trace Differentiation
Vulnerability Recognition by Execution Trace Differentiation Fabien Patrick Viertel, Oliver Karras and Kurt Schneider Software Engineering Group, Leibniz Universität Hannover, Germany Symposium on Software
Nachweis von Feature Freezes durch Clustering
Ste en Herbold nstitut für nformatik Universität Göttingen 18.11.2008 - Metrikon 2008 Ste en Herbold - (1/21) Überblick Einführung Grundlagen Metriken Maschinelles Lernen Sammeln von Metrikdaten Anwendung
Unterstützung für die Durchführung epidemiologischer Studien - Modys - eine Datenbankapplikation. Achim Reineke, Sönke Knut Voß, Heidi Asendorf
Unterstützung für die Durchführung epidemiologischer Studien - Modys - eine Datenbankapplikation Achim Reineke, Sönke Knut Voß, Heidi Asendorf Bremer Institut für Präventionsforschung und Sozialmedizin
Debugging und Speicherfehler. Seminar Effiziente Programmierung Kadir Duman
Debugging und Speicherfehler Seminar Effiziente Programmierung Kadir Duman 01.12.2016 Inhalt Debugging Allgemein Was ist ein Bug? Was ist Debugging? Speicherfehler Allgemein Unterschiedliche Typen von
ein ein mobiles Patientenassistenzsystem für für krebskranke Jugendliche
ein ein mobiles Patientenassistenzsystem für für krebskranke Jugendliche Jan Marco Leimeister, Uta Knebel, Sebastian Esch, Christian Mauro, Felix Weyde, Helmut Krcmar, Renate Sedlak, Clemens Stockklausner,
Kamera-Sensorforensik: Erkennungsraten im Kontext von Bildkompression
Kamera-Sensorforensik: Erkennungsraten im Kontext von Bildkompression Martin Rosenfeld, Reiner Creutzburg, Claus Vielhauer Vortragender: Christian Krätzer Brandenburg University of Applied Sciences, Germany
Modellierung CORBA-basierter Anwendungssysteme mit der UML
Verteidigung der Diplomarbeit über das Thema: Modellierung CORBA-basierter Anwendungssysteme mit der UML Andreas Mucha Technische Universität Dresden Institut für Software- und Multimediatechnik Lehrstuhl
Dynamisches Pricing über den Produktlebenszyklus eine Modellierung am Beispiel der Automobilindustrie
-I- Dynamisches Pricing über den Produktlebenszyklus eine Modellierung am Beispiel der Automobilindustrie Von der Mercator School of Management Fachbereich Betriebswirtschaft - der Universität Duisburg-Essen
1 Einleitung 1. 2 Grundkonzepte 11
Inhalt 1 Einleitung 1 1.1 Softwarequalität betrifft viele 1 1.2 Für wen dieses Buch gemacht ist 1 1.3 Was Sie von diesem Buch erwarten können 2 1.4 Das Abenteuer von Q 3 1.5 Themen und Anspruch 3 1.5.1
Vorstellung der Masterarbeit
Vorstellung der Masterarbeit Referenzmodelle für die Geschäftsprozesse und die Architektur ihrer Rechnerunterstützung in Institutssekretariaten einer Medizinischen Fakultät Peter Rasch 01.12.2005 Inhalt
Testfallgenerierung aus Statecharts und Interaktionsdiagrammen
Testfallgenerierung aus Statecharts und Interaktionsdiagrammen Dehla Sokenou TU Berlin Softwaretechnik Motivation Warum Testen mit Hilfe von UML? UML verbreitete Spezifikationssprache in der Objektorientierung
Methoden der agilen Softwareentwicklung für eingebettete Systeme
Seminarvortrag Methoden der agilen Softwareentwicklung für eingebettete Systeme Lisa Krause Aachen, 27.01.2010 Inhaltsübersicht Motivation Einführung in die Softwaretechnik - Ziele - Traditionelle Prozessmodelle
Diskrete Ereignis Simulation. Proseminar: Algorithmen der Verkehrssimulation Jörg Blank
Diskrete Ereignis Simulation Proseminar: Algorithmen der Verkehrssimulation Jörg Blank Definitionen zeitdiskrete Simulation System: Auschnitt der Realität Ereignis: Zustandsänderungen in Systemen Simulation:
Modularitätsbetrachtung von Webanwendungen im Rahmen des Plat_Forms Wettbewerbs
Andreas Franz Arbeitsgruppe Software Engineering, Institut für Informatik der Freien Universität Berlin Modularitätsbetrachtung von Webanwendungen im Rahmen des Plat_Forms Wettbewerbs Abschlussvortrag
Prozessintegrierte Qualitätssicherung und Dokumentation in der Montage Haseke GmbH & Co.KG
Session: 2 Slot D: Mensch-Maschine-Interaktion Prozessintegrierte Qualitätssicherung und Dokumentation in der Montage Haseke GmbH & Co.KG 10. Oktober 2017 Lemgo www.its-owl.de Agenda Abschlusspräsentation
Qualitätsmanagement in der GDI-DE
222 Qualitätsmanagement in der GDI-DE Daniela HOGREBE Zusammenfassung Der vorliegende Beitrag stellt die Ziele und methodischen Ansätze des Qualitätsmanagements der GDI-DE vor, beschreibt beispielhaft
Ein Werkzeug zur Überdeckungsmessung für kontrollflussbezogene Testverfahren
Ein Werkzeug zur Überdeckungsmessung für kontrollflussbezogene Testverfahren Hendrik Seffler HU Berlin Abschlussvortrag p. 1/25 Was? Entwicklung eines Werkzeugs zur Überdeckungsmessung für kontrollflussbezogene
Inhaltsverzeichnis. Kurseinheit 1. Kurseinheit 2
iii Inhaltsverzeichnis Kurseinheit 1 1 Von der Aufgabenstellung zum Programm... 1 1.1 Motivation... 1 1.2 Softwareentwicklung... 2 1.3 EXKURS: Unified Modeling Language (UML)... 4 2 Anforderungsanalyse...
Stochastische Approximation des Value at Risk
Stochastische Approximation des Value at Risk Zusammenfassung der Masterarbeit an der Universität Ulm Annemarie Bitter Motivation Eines der wichtigsten Projekte der Versicherungswirtschaft ist derzeit
Georg Erwin Thaller. Qualitatsoptimierung der Software-Entwicklung. Das Capability Maturity Model (CMM) 3vieweg
Georg Erwin Thaller Qualitatsoptimierung der Software-Entwicklung Das Capability Maturity Model (CMM) 3vieweg Inhaltsverzeichnis Abschnitt I: Software in der modernen Industriegesellschaft 1.1 Die Bedeutung
Flexibles E-Assessment auf Basis einer Service-orientierten Architektur
auf Basis einer Service-orientierten Architektur Konzepte, Implementierung und Praxiserfahrungen Mario Amelung Katrin Krieger Dietmar Rösner Otto-von-Guericke-Universität Magdeburg Wissensbasierte Systeme
Software Design for Testability: Metriken und Darstellungsmöglichkeiten
Westfälische Wilhelms-Universität Münster Ausarbeitung Software Design for Testability: Metriken und Darstellungsmöglichkeiten im Rahmen des Hauptseminars: Qualitätssicherung in der Software-Entwicklung
ABSICHERUNGS- UND BEWERTUNGSMETHODEN FÜR KOOPERATIVE HOCHAUTOMATISIERTE FAHRZEUGE
ABSICHERUNGS- UND BEWERTUNGSMETHODEN FÜR KOOPERATIVE HOCHAUTOMATISIERTE FAHRZEUGE AAET-2017, Braunschweig Sven Hallerbach, Ulrich Eberle (Adam Opel AG) Frank Köster (DLR) www.opel.com MOTIVATION Kooperatives
ISim Standardisierung von Flugkörpersimulationen. Vortragender: Florian Peter DGLR, Braunschweig Datum: 30.
ISim Standardisierung von Flugkörpersimulationen Vortragender: Florian Peter (florian.peter@mbda-systems.de) Ort: DGLR, Braunschweig Datum: 30. Mai 2017 Übersicht 1. Motivation 2. Rolle von ISim im Technologiefeld
Dirk Mattfeld Richard Vahrenkamp. Logistiknetzwerke. Modelle für Standortwahl. und Tourenplanung. 2., aktualisierte und überarbeitete Auflage
Dirk Mattfeld Richard Vahrenkamp Logistiknetzwerke Modelle für Standortwahl und Tourenplanung 2., aktualisierte und überarbeitete Auflage 4^ Springer Gabler Inhaltsverzeichnis Vorwort zur 2. Auflage Vorwort
Objektorientierte Programmierung. Kapitel 22: Aufzählungstypen (Enumeration Types)
Stefan Brass: OOP (Java), 22. Aufzählungstypen 1/20 Objektorientierte Programmierung Kapitel 22: Aufzählungstypen (Enumeration Types) Stefan Brass Martin-Luther-Universität Halle-Wittenberg Wintersemester
Zum Buch Hinweise Handhabung des Buchs Website In eigener Sache... 19
Vorwort 13 Zum Buch.................................................... 15 Hinweise..................................................... 17 Handhabung des Buchs.........................................
Optimierungsstrategien für selbstorganisierende Speicherstrukturen
Optimierungsstrategien für selbstorganisierende Speicherstrukturen Robert Schelkle Karlsruher Institut für Technologie (KIT) Institut für Technische Informatik (ITEC) Lehrstuhl für Rechnerarchitektur und
Analyse und Konzept zur Verbesserung der statischen Fehlereingrenzung. Masterarbeit zur Erlangung des akademischen Grades Master of Science (M.Sc.
Analyse und Konzept zur Verbesserung der statischen Fehlereingrenzung Masterarbeit zur Erlangung des akademischen Grades Master of Science (M.Sc.) Autor: Lars K.W. Gohlke, Diplom-Inf. (FH) Betreuer 1:
Objektorientiertes Programmieren
JL Ute Claussen Objektorientiertes Programmieren Mit Beispielen und Übungen in C++ Zweite, überarbeitete und erweiterte Auflage Mit 24 Abbildungen Springer Inhaltsverzeichnis 1 Einleitung 1 1.1 Was ist
Einführung in die Informatik
Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1.1 Vorlesung Zeit und Ort: Mittwochs 14.00 16.00 Uhr Gebäude 101 HS 00-026 Informationen zur Vorlesung,
Kommentierung in C. Kommentierung in C. Von Sebastian Rothe 1/26. Kommentierung in C
Von Sebastian Rothe 1/26 Inhaltsverzeichnis 1. Programmierstil eine Übersicht 2. Motivation wozu Kommentierung? 3. Aspekte der Kommentierung 4. GLib als Beispiel 5. Dokumentationssysteme 6. Zusammenfassung
Einfaches Framework für Neuronale Netze
Einfaches Framework für Neuronale Netze Christian Silberbauer, IW7, 2007-01-23 Inhaltsverzeichnis 1. Einführung...1 2. Funktionsumfang...1 3. Implementierung...2 4. Erweiterbarkeit des Frameworks...2 5.
Virtuell oder schon Real Die Zukunft des digitalen Zwillings. Based on a real story
Virtuell oder schon Real Die Zukunft des digitalen Zwillings Based on a real story Mechanik mit Software Mechatronik gestern 1 Mechanik mit Software Software mit Mechanik Mechatronik gestern im Zeitalter
Peter Brichzin. Krümel und Monster. Ein Unterrichtskonzept zur Einführung in die objektorientierte Modellierung und Programmierung
Peter Brichzin Krümel und Monster Ein Unterrichtskonzept zur Einführung in die objektorientierte Modellierung und Programmierung Inhalt Zielsetzung und Zielgruppe Themenzentrierung Ein Computerspiel selbst
Informatik I - Programmierung Globalübung Hoare-Kalkül. Thomas Weiler. Fachgruppe Informatik RWTH Aachen. T. Weiler, RWTH Aachen - 1 -
Informatik I - Programmierung Globalübung 11.11.2003 Hoare-Kalkül Thomas Weiler Fachgruppe Informatik RWTH Aachen T. Weiler, RWTH Aachen - 1 - Ariane 5 Die Ariane 5 ist das jüngste Modell der Trägerrakete
Das Softwaresystem BASEMENT
Numerische Modellierung von Naturgefahren mit dem Softwaresystem BASEMENT Workshop vom 6. Oktober 2006 an der VAW ETH Zürich Das Softwaresystem BASEMENT David Vetsch Inhalt 1. Motivation und Entstehungsgeschichte
Objektorientierte Programmierung mit Java
David J. Barnes Michael Kölling Objektorientierte Programmierung mit Java Eine praxisnahe Einführung mit BlueJ Übersetzt von Axel Schmolitzky, Universität Hamburg PEARSON Studium ein Imprint von Pearson
Basiswissen Softwaretest
Basiswissen Softwaretest Aus- und Weiterbildung zum Certified Tester - Foundation Level nach ISTQB-Standard Bearbeitet von Andreas Spillner, Tilo Linz überarbeitet 2005. Buch. XX, 284 S. Hardcover ISBN
Ein Multi-Agenten-System zur verteilten p-adaptiven Finite-Elemente-Simulation am Beispiel der Baugrund-Tragwerk-Interaktion
Ein Multi-Agenten-System zur verteilten p-adaptiven Finite-Elemente-Simulation am Beispiel der Baugrund-Tragwerk-Interaktion Vom Fachbereich Bauingenieurwesen und Geodäsie der Technischen Universität Darmstadt
Relevante Metriken zur Bestimmung von Softwarequalität
Relevante Metriken zur Bestimmung von Softwarequalität Steffen Förster 2 Definitionen Metrik Eine Funktion, die eine Software-Einheit in einen Zahlenwert abbildet. Dieser berechnete Wert ist interpretierbar
Behutsame Modernisierung
Software Evolution mit Legacy Systemen Forum Forschungsförderung / ViSEK Trends im Software Engineering Software Evolution mit Legacy Systemen Behutsame Modernisierung Jan Wloka
Nutzergenerierte Karten im Web 2.0
Nutzergenerierte Karten im Web 2.0 Eine kartographische Konzeption auf Basis analytischer und empirischer Untersuchungen Dissertation zur Erlangung des Doktorgrades (Dr. rer. nat.) des Fachbereichs Mathematik/Informatik
Entwicklung des Softwareengineerings im Bereich der IT-TK-Technologie. Stefan Bläsius und Gregorio Roper Berlin,
Entwicklung des Softwareengineerings im Bereich der IT-TK-Technologie Stefan Bläsius und Gregorio Roper Berlin, 05.05.2004 1 ServiceForce Die ServiceForce GmbH hat engagierte Mitarbeiter in den Bereichen
Johannes Christian Panitz
Johannes Christian Panitz Compliance-Management Anforderungen, Herausforderungen und Scorecard-basierte Ansätze für eine integrierte Compliance-Steuerung Verlag Dr. Kovac Hamburg 2012 VORWORT ABBILDUNGSVERZEICHNIS
Organisatorische Aspekte der IT-Forensik - Aktuelle Herausforderungen -
Organisatorische Aspekte der IT-Forensik - Aktuelle Herausforderungen - Prof. Dr. Igor Podebrad, 21. Januar 2016 Fachhochschule Brandenburg University of Applied Sciences 1 Gesetzliche Regelungen beeinflussen
3. GI-Workshop EPK 2004 Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten Luxemburg. ARIS meets RUP
3. GI-Workshop EPK 2004 Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten Luxemburg ARIS meets RUP Der ARIS Unified Information System Development Process Martin Plümicke Berufsakademie
Agile Softwareentwicklung im normativ regulierten Umfeld: Die Rolle der Qualitätssicherung für eine Zertifizierung
Agile Softwareentwicklung im normativ regulierten Umfeld: Die Rolle der Qualitätssicherung für eine Zertifizierung ROSALINDE SCHUSTER TESTMANAGERIN INDUSTRY RSCHUSTER@ASSYSTEM.COM CHRISTOPH LEGAT SOFTWARE
Instrumentation von Android Anwendungen mit ExplorViz
Instrumentation von Android Anwendungen mit ExplorViz Jan Witzany 28. September 2016 Jan Witzany Instrumentation von Android Anwendungen mit ExplorViz 28. September 2016 1 / 19 Gliederung 1. Motivation
Listed Private Equity; Performance, Einflussfaktoren und Portfolioeffekte
Fabian Stich Listed Private Equity; Performance, Einflussfaktoren und Portfolioeffekte Eine empirische Analyse PETER LANG Internationaler Verlag der Wissenschaften Inhaltsübersicht ix Inhaltsübersicht
Einführung in die Informatik
Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1.1 Vorlesung Zeit und Ort: Mittwochs 14.00 16.00 Uhr Gebäude 101 HS 00-026 Informationen zur Vorlesung,
Balanced Scorecard und Ursache-Wirkungsbeziehungen
Torben Hügens Balanced Scorecard und Ursache-Wirkungsbeziehungen Kausale Modellierung und Simulation mithilfe von Methoden des Qualitative Reasoning Mit einem Geleitwort von Prof. Dr. Stephan Zelewski
Manfred Schüttengruber. Objektorientierte Programmierung mit Visual Basic 2005
Manfred Schüttengruber Objektorientierte Programmierung mit Visual Basic 2005 Inhaltsverzeichnis Vorwort 11 i Das.NET-Konzept 15 I.I Kapitelüberblick 15 i.2 Das.NET Framework 15 1.3 IL-Code und Plattformunabhängigkeit
Michael Georgi. Die Preisbildung bei öffentlichen. Aufträgen im Einklang mit. der VO PR 30/53
Michael Georgi Die Preisbildung bei öffentlichen Aufträgen im Einklang mit der VO PR 30/53 Eine empirische Untersuchung mit besonderem Fokus auf Dienstleistungen Verlag Dr. Kovac Hamburg 2015 IX ABBILDUNGSVERZEICHNIS
Software- und Systementwicklung
Software- und Systementwicklung Seminar: Designing for Privacy 11.11.2009 Moritz Vossenberg Inhalt Vorgehensmodelle Wasserfallmodell V-Modell Phasen (Pflichtenheft) UML Klassendiagramm Sequenzdiagramm
Einführung in die Informatik
Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard Cyrill Stachniss 1.1 Vorlesung Zeit und Ort: Mittwochs 16.00 18.00 Uhr Gebäude 101 HS 00-026 Informationen
Implementierung einer Unterstützung von Versionsverwaltung in einem Plug-In für verteilte Paarprogrammierung
Verteidigung Bachelorarbeit, Versionsverwaltung Paarprogrammierung Christian Zygmunt, Jeschke Software Engineering, Institut für Informatik 21.03.2019 Implementierung einer Unterstützung von Versionsverwaltung
Session: 7B it s owl TT VidA Jobotec 10/11. Oktober 2017 Lemgo.
Session: 7B it s owl TT VidA Jobotec 10/11. Oktober 2017 Lemgo www.its-owl.de Agenda Einführung Zielsetzung Resümee und Ausblick it s OWL Clustermanagement GmbH 17.10.2017 2 Einführung Jobotec GmbH JOBOTEC
Vergleichskriterien für Web Service Kompositionen zur Unterstützung von offenen Prozessnetzwerken
Vergleichskriterien für Web Service Kompositionen zur Unterstützung von offenen Prozessnetzwerken Rainer Schmidt Department of Computer Science University of Applied Sciences Beethovenstraße 1 73430 Aalen
Analysepower für Excel
Analysepower für Excel Thementisch 14:00 14:45 Uhr Friedrich Schuster Ulrike Hardt Integration von Revolution R Enterprise in Microsoft Excel, Erstellen von Excel-Dateien in R Analysepower für Excel Was
Zusammenfassung. Danksagung. Abbildungsverzeichnis. Tabellenverzeichnis. Abkürzungsverzeichnis. 1 Einleitung -1-
Inhaltsverzeichnis Zusammenfassung Vorwort Danksagung Abbildungsverzeichnis Tabellenverzeichnis Abkürzungsverzeichnis I III V XV XIX XXIII 1 Einleitung -1-1.1 Relevanz des Themas und Problemstellung -1-1.2
Einführung in die Informatik
Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1.1 Vorlesung Zeit und Ort: Mittwochs 16.00 18.00 Uhr Gebäude 101 HS 00-036 Informationen zur Vorlesung,
1 Einleitung Hintergründe der Arbeit Zielsetzung und Aufbau der Arbeit 8. 2 Definitionen und Grundlagen 11
Inhaltsverzeichnis 1 Einleitung 1 1.1 Hintergründe der Arbeit 1 1.2 Zielsetzung und Aufbau der Arbeit 8 2 Definitionen und Grundlagen 11 2.1 Überblick 12 2.2 Externe und bankinterne Stresstests 12 2.2.1
Basiswissen Softwaretest
isqi-reihe Basiswissen Softwaretest Aus- und Weiterbildung zum Certified Tester Foundation Level nach ISTQB-Standard von Andreas Spillner, Tilo Linz 5., überarbeitete und aktualisierte Auflage Basiswissen
Modell-Programmierte Roboter Regelung. Univ.-Prof. Dr. Michael Hofbaur Institut für Automatisierungs- und Regelungstechnik, UMIT, Hall i.
Modell-Programmierte Roboter Regelung Univ.-Prof. Dr. Michael Hofbaur Institut für Automatisierungs- und Regelungstechnik, UMIT, Hall i. Tirol Motivation: Automatisierung komplexer Systeme komplexe technische
MBEES Research Abstract Ein Framework zur automatisierten Ermittlung der Modellqualität bei eingebetteten Systemen
MBEES 2010 - Research Abstract Ein Framework zur automatisierten Ermittlung der Modellqualität bei eingebetteten Systemen Jan Scheible (jan.scheible@daimler.com) Daimler AG Group Research and Advanced
Anwendung der Roblet -Tec hnol ogie
Anwendung der Roblet -Tec hnol ogie genrob.com Hagen Stanek stanek@genrob.com Universität Hamburg Daniel Westhoff westhoff@informatik.uni-hamburg.de Inhalt 1. Einführung 2. Roblet -Technologie: Roblets
ActiveCharts. Verknüpfung von Modellen und Code bei der modellgetriebenen Softwareentwicklung mit UML 2.0
Jens Kohlmeyer 05. März 2007 Institut für Programmiermethodik und Compilerbau ActiveCharts Verknüpfung von Modellen und Code bei der modellgetriebenen Softwareentwicklung mit UML 2.0 Seite 2 Übersicht
Algorithmen für Sensornetze
Algorithmen für Sensornetze Markus Völker 02. Februar 2010 Lokalisierung in Gebäuden Lokalisierung Ausgangssituation? Lokalisierung Ziel! Lokalisierung Signalabfall in Gebäuden Signalabfall mit ca. 1/d
Projektbericht. Evaluation und Ableitung von Ergebnissen anhand eines Fragebogens zur Studentensituation an der Hochschule Wismar
Business Intelligence Master Digitale Logistik und Management Projektbericht Evaluation und Ableitung von Ergebnissen anhand eines Fragebogens zur Studentensituation an der Hochschule Wismar Matthias Säger
Olaf Seng Thomas Genßler Benedikt Schulz. Forschungszentrum Informatik, Karlsruhe
Olaf Seng Thomas Genßler Benedikt Schulz Einführung Grundlagen Vorgehensweise Beispiel Zusammenfassung Übersicht 2 Einführung Szenario & Probleme Hinzufügen einer neuen Funktion zu einer Komponente Erfordert
RISIKOMANAGEMENT VON PROJEKTEN IM RAHMEN DES RISIKOMANAGEMENTS VON PORTFOLIOS
RISIKOMANAGEMENT VON PROJEKTEN IM RAHMEN DES RISIKOMANAGEMENTS VON PORTFOLIOS PMI CHAPTER MEETING STUTTGART - KPMG PMI CHAPTER MEETING STUTTGART LISA SLOCUM 05.10.2015 1 PRÄSENTATION Inhaltsverzeichnis
Über die Eignung der Programmiersprache Scratch zur Aneignung von Programmierungskompetenzen
Über die Eignung der Programmiersprache Scratch zur Aneignung von Programmierungskompetenzen Eine Studie bei Mathematiklehramtsstudierenden Daniel Walter Arbeitskreis Mathematikunterricht und Informatik
Herzlich willkommen DevDay 2016 Performance Profiling mit JProfiler
Herzlich willkommen DevDay 2016 Performance Profiling mit JProfiler 1 2 Referent Björn Reber Software-Entwickler und Trainer Java-Technologie OpenSource und SAP 3 Inhalt Motivation Tool-Übersicht Profiling
Karol Frühauf, Jochen Ludewig, Helmut Sandmayr. Software-Prüfung Eine Anleitung zum Test und zur Inspektion
Karol Frühauf, Jochen Ludewig, Helmut Sandmayr Software-Prüfung Eine Anleitung zum Test und zur Inspektion (f Hochschulverlag AG an der ETH Zürich B.G. Teubner Stuttgart Inhalt Vorwort 3 Inhalt 5 Verzeichnis
Methode zur Entwicklung sicherheitskritischer eingebetteter Systeme mittels deterministischer UML-Modelle
Methode zur Entwicklung sicherheitskritischer eingebetteter Systeme mittels deterministischer UML-Modelle Workshop "Entwicklung zuverlässiger Software-Systeme" MSc Dipl.- Ing. Zamira Daw Regensburg, 18.
Programmiersprachen: Klassifizierung und Methoden. Programmier-Paradigmen. Grundlagen der Programmierung 2 (1.C) - 1 -
Programmiersprachen: Klassifizierung und Methoden Programmier-Paradigmen Grundlagen der Programmierung 2 (1.C) - 1 - Programmiersprachen: Begriffe Syntax Beschreibung der Programme als Texte let xyz =
Szenarien für das Erkennen von energetischen Sanierungspotenzialen im Wohnungsbestand
Szenarien für das Erkennen von energetischen Sanierungspotenzialen im Wohnungsbestand KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu
Performancebewertung und -Sicherung von orchestrierten Serviceangeboten
Dmytro Rud Performancebewertung und -Sicherung von orchestrierten Serviceangeboten Verlag Dr. Kovac Hamburg 2009 nhaltsverzeichnis 1. Einführung 1 1.1. Motivation und Ziele 1 1.2. Aufbau der Dissertationsschrift
Speech Recognition Grammar Compilation in Grammatikal Framework. von Michael Heber
Speech Recognition Grammar Compilation in Grammatikal Framework von Michael Heber Agenda 1. Einführung 2. Grammatical Framework (GF) 3. Kontextfreie Grammatiken und Finite-State Modelle 4. Quellen 2 1.
Hochschule Mannheim - University of Applied Sciences Institut für Medizinische Informatik
Elektronische Anamnese Konzept und prototypische Realisierung Prof. Dr. Paul Schmücker Dipl.-Inf. (FH) Steffen Hayna ehealth 2011 Wien, 27. Mai 2011 Hochschule Mannheim - University of Applied Sciences
PUPPET 4 SOLARIS Thomas Rübensaal, Thorsten Schlump T-Systems International GmbH
PUPPET 4 SOLARIS Thomas Rübensaal, Thorsten Schlump T-Systems International GmbH INHALTSVERZEICHNIS 1. Einleitung 2. Puppet Was ist das? 3. Puppet Historie bei T-Systems 4. T-Systems Solaris 11 Architekturüberblick
Bachelorarbeit Schwingungsdämpfung
Quelle: www.pixabay.com Bachelorarbeit Schwingungsdämpfung Aufbau eines Demonstrators zur Schwingungsunterdrückung einer mechanischen Struktur Herleitung eines mathematischen Modells Verbesserung des Aktuators
Profiling in Python. Seminar: Effiziente Programmierung. Jan Pohlmann. November Jan Pohlmann Profiling in Python November / 32
Profiling in Python Seminar: Effiziente Programmierung Jan Pohlmann November 2017 Jan Pohlmann Profiling in Python November 2017 1 / 32 Gliederung 1 Grundlagen Profiling Was ist das Ziele und Herausforderungen
7. Zusammenfassung (1)
Typisierung in OO-Sprachen Subtyping vs. Subclassing Untertypen für Typkonstrukte Funktionsuntertypen und Überschreiben Generik Einsatz von Vererbung konzeptioneller Entwurf: Abstraktion Spezialisierung
Teil II Objektorientierte Programmierung (OOP) 20. Objektnetze
Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Teil II Objektorientierte Programmierung (OOP) 20. Objektnetze Prof. Dr. rer. nat. Uwe Aßmann Institut für Software-
(Building) Flexible Functional Programming Interfaces. Von Amos Treiber
(Building) Flexible Functional Programming Interfaces Von Amos Treiber Gliederung Funktionale Programmierung Einführung Aspekte Vergleich: Funktional vs Imperativ Bending the language towards the problem
Qualitätssicherung im Data Warehouse Bereich. Michael Cordes Holger Oehring Matthias Rein
Qualitätssicherung im Data Warehouse Bereich Michael Cordes Holger Oehring Matthias Rein Ziele Motivation / Notwendigkeit von QS-Maßnahmen Methoden der Qualitätssicherung Durchführung von Tests Etablierung
Telemed 2015 in Berlin Laura Bresser (B.Sc.) Berlin den 24.06.2015. Hochschule Mannheim University of Applied Sciences
Hochschule Mannheim / Institut für Medizinische Informatik Erfassung und Auswertung von Zugriffen auf die PEPA der Metropolregion Rhein-Neckar mit Hilfe des IHE-Profils ATNA Telemed 2015 in Berlin Laura