Model-based Requirements Engineering

Save this PDF as:
 WORD  PNG  TXT  JPG

Größe: px
Ab Seite anzeigen:

Download "Model-based Requirements Engineering"

Transkript

1 @andivogelsang Model-based Requirements Engineering Einführung, Organisation, Themenübersicht Prof. Dr. Andreas Vogelsang

2 Agenda Vorstellung und Organisation Thematische Einführung Themenübersicht und vergabe

3 Ansprechpartner Ansprechpartner und Verantwortlicher: Prof. Dr. Andreas Vogelsang Betreuung durch das ASET Team (abhängig vom Thema)

4 Modulzugehörigkeit Modul Automotive Software Engineering (6LP) Vorlesung ASE im SoSe17 von Prof. Vogelsang Modul Modellgestützte Software und Funktionsentwicklung für Kraftfahrzeuge (6LP) Vorlesung im SoSe17 von Prof. Gühmann Modulbeschreibung wird gerade aktualisiert

5 Ressourcen, Regeln und Prüfung Aktuelle Informationen und Unterlagen findet ihr auf Jeder bearbeitet ein Seminarthema Betreuer: Fragen, Feedback auf Zwischenergebnisse Einstiegsliteratur Jeder ist Diskutant für ein weiteres Thema Lesen der Ausarbeitung und evtl. wichtiger Literatur, Vorbereiten von Diskussionsfragen Prüfungskriterien Seminararbeit (Umfang Seiten, Vorlage stellen wir) Präsentation (25 Minuten + 15 Minuten Diskussion) Aktive Mitarbeit im Seminar

6 Ablauf und Abgabetermine Vorveranstaltungen (Okt-Nov) Einführung Methodische Tipps Fallstudie und Tools Seminar (Jan-Feb) Block: 2 Tage mit 4-5 Vorträgen pro Tag Genaues Datum legen wir zusammen fest Zwei Wochen vor Präsentation: Abgabe der Seminararbeit Probevortrag Eine Woche nach der Präsentation Abgabe der überarbeiteten Version der Seminararbeit

7 Termine und Ablauf Ab ca. 01/17 ca. 02/17 Einführung, Organisation, Themenvergabe Effektive Literaturrecherche, Paper Writing, Effektives Präsentieren Einführung Fallstudie und Tools Zeit für Seminararbeit Einreichung der Seminararbeit Themenpräsentationen als Blockveranstaltung (2 Tage mit je 4-5 Vorträgen) Bonus Vorträge zum Thema MbRE in der Praxis

8 Erwartungen an die Seminararbeit Themen sind i.d.r. auf eine Modellierungstechnik zugeschnitten Beschreibung der Grundlagen der Technik Darstellung der erwarteten Vorteile Anwendung der Technik auf ein realistisches Anforderungsdokument (wird von uns gestellt) Bewertung der erwarteten Vorteile am Beispiel

9 Anmeldung Für Fakultät IV: über QUISPOS Alle anderen: Modulverantwortlicher Sonderfälle: ggf. vorher mit Prüfungsausschuss klären

10 Thematische Einführung Model-based Requirements Engineering

11 Das Requirements Engineering Problem

12 Was ist Requirements Engineering? Requirements Engineering ist ein systematischer Ansatz zur Spezifikation und zum Management von Anforderungen mit den folgenden Zielen: die relevanten Anforderungen zu kennen Konsens unter den Stakeholdern über die Anforderungen herzustellen die Anforderungen adäquat zu dokumentieren die Anforderungen systematisch zu managen Ermitteln Validieren & Verifizieren Analysieren Spezifizieren

13 In der Realität ist das gar nicht so lustig F. Houdek: Managing Large Scale Specification Projects, REFSQ, 2013 Das muss doch einfacher/besser gehen?!

14 Modelle und modellbasierte Entwicklung

15 Was ist ein Modell? Kriterien nach Stachowiak: Abbildung: Modelle bilden einen Ausschnitt der Wirklichkeit ab Verkürzung: Nur ein Teil der Eigenschaften des Originals werden übernommen Pragmatismus: Modelle werden für einen bestimmten Zweck entwickelt Modell Original Herbert Stachowiak: Allgemeine Modelltheorie, 1973

16 Was ist das Original im RE?

17 Was ist ein gutes Modell? Wichtige Fragestellungen Bildet das Modell die Realität korrekt ab? Ist ein Modell für einen bestimmten Zweck geeignet? Nutzen von Modellen Beantwortung von Fragen bzgl. der modellierten Wirklichkeit: Gibt es Konflikte in den Anforderungen? Wird der Airbag durch mein System schnell genug ausgelöst? Erfüllung spezifischer Aufgaben: Ableitung von Testfällen Simulation

18 Repräsentation von Modellen Modelle können unter anderem repräsentiert werden durch Diagramme, Texte, Formeln, Quellcode Modellierungssprache (Syntax) Modell selbst ist die Interpretation (Semantik) der Repräsentation

19 Detaillierungsgrad Detaillierung und Formalisierung Formalisierungsgrad informell semi-formal formal niedrig Rich Picture Use Case Diagram Abstrakte Zustandsmaschine hoch Natürlich sprachliche Spezifikationen Aktivitätsdiagramm Detaillierte Zustandsmaschine

20 Modelle im Requirements Engineering Anforderungssicht Kontext Informationsstruktur Dynamische Sicht Qualität Constraints Klassendiagramme Use-Case-Sicht Datenflussorientierte Sicht Kontrollflussorientierte Sicht Szenariosicht Zustandsorientierte Sicht Use-Case-Diagramme Simulink Modelle Aktivitätsdiagramme Sequenzdiagramme Zustandsdiagramme IREB Handbook Requirements Modeling,

21 Grundsätzliche Aufgabenstellung im Seminar Jeder bearbeitet eine Modellierungstechnik / eine Sicht Wie sieht die Modellierungstechnik aus? Was sind die versprochenen Vorteile? Wie sieht eine Anwendung für die Praxis aus? Werden die versprochenen Vorteile eingehalten?

22 Fallstudie Automotive System Cluster Öffentliche Fallstudie 2 Systeme Adaptives Außenlicht Geschwindigkeitsregelung Verfügbar: Lastenheft Textuelle Beschreibungen Tabellen Bilder

23 Literatur IREB Handbook Requirements Modeling Pohl, K.: Requirements Engineering. Grundlagen, Prinzipien, Techniken van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications Sommerville, I., Kotonya, G.: Requirements Engineering: Processes and Techniques

24 Themenübersicht und vergabe

25 Themenübersicht Zielmodellierung Use Case Modellierung Boiler Plates / Satzmuster Aktivitätsdiagramme Safety und Risikomodelle Ausführbare Spezifikationen Model-basierte Dokumentation Zustandsbasierte Modellierung Informationsmodellierung

26 Zielmodellierung Fokus: Ziele der Stakeholder Modelle: i*, KAOS Zweck: Vollständigkeit von Anforderungen Konflikte zwischen Anforderungen Abwägen von Alternativen

27 Use Case Modellierung Fokus: Interaktionen/Ziele der Stakeholder Modelle: Use-Case Diagramme Use Case Templates Zweck: Kommunikation von Anforderungen Strukturierte Analyse von Anforderungen Grundlage für Tests

28 Boiler Plates / Satzmuster Fokus: Spezifikation von Anforderungen Modelle: EARS, AnforderungsMASTER (Sophisten) Zweck: Präzise Anforderungen Einheitliche Struktur Vermeidung von Defekten

29 Aktivitätsdiagramme Fokus: Ablauf des Systems Modelle: Aktivitätsdiagramme Zweck: Analyse der Ablauflogik Aufdecken von parallelen Abläufen Zerlegung/Verfeinerung von Anforderungen

30 Safety und Risikomodelle Fokus: Absicherung des Systems Modelle: Goal Structuring Notation (GSN) Zweck: Dokumentation von (Safety) Argumentationen

31 Ausführbare Spezifikationen Fokus: Operationalisierung der Anforderungen Modelle: Zustandsmaschinen Aktivitätsdiagramme Zweck: Validierung von Anforderungen Simulation

32 Modellbasiert Dokumentation Fokus: Strukturierung von Dokumentation Modelle: Spezifikations Templates und Vorlagen Zweck: Strukturierung von Anforderungen Übersichtlichkeit

33 Zustandsbasierte Modellierung Fokus: Zustände und Zustandsübergänge Modelle: State Charts, Zustandsmaschinen Zweck: Konsistente Anforderungen Fokussierung auf einzelne Objekte

34 Informationsmodellierung Fokus: Daten und Informationsobjekte Modelle: Klassendiagramme, ER Diagramme Zweck: Grundlage für dynamische Sichten Spezifikation von fachlichen Begriffen (Domänenwissen)

35 Themenübersicht Zielmodellierung Use Case Modellierung Boiler Plates / Satzmuster Aktivitätsdiagramme Safety und Risikomodelle Ausführbare Spezifikationen Model-basierte Dokumentation Zustandsbasierte Modellierung Informationsmodellierung Variabilitätsmodellierung

36 Nächste Schritte Ihr wollt am Seminar teilnehmen? Anmeldung bis zum Themenwünsche per Mail an mich. Abhängig vom Thema bekommt ihr einen Betreuer zugewiesen Los geht s!

37 Fragen und Diskussion

Proseminar: Moderne Technologien für die Entwicklung von verteilten, dynamischen Anwendungen

Proseminar: Moderne Technologien für die Entwicklung von verteilten, dynamischen Anwendungen Proseminar: Moderne Technologien für die Entwicklung von verteilten, dynamischen Anwendungen Einführung Prof. Dr. Joel Greenyer 3. April 2013 Organisation Leitung: Joel Greenyer Büro: g322 email: greenyer@inf.uni-hannover.de

Mehr

RE Unterricht an Hochschulen: Eine modellorientierte Einführung an der FH Dortmund

RE Unterricht an Hochschulen: Eine modellorientierte Einführung an der FH Dortmund RE Unterricht an Hochschulen: Eine modellorientierte Einführung an der FH Dortmund Erik Kamsties und Fabian Kneer Fachhochschule Dortmund {erik.kamsties, fabian.kneer}@fh-dortmund.de GI Fachgruppentreffen

Mehr

Modellierung im Software & System-Engineering

Modellierung im Software & System-Engineering Modellierung im Software & System-Engineering Masterseminar Sommersemester 2013 Prof. Dr. Dr. h.c. M. Broy M. Junker, K. Becker, A. Campetelli, J. Eckhardt, G. Hackenberg, M. Irlbeck, J. Mund, A. Vogelsang

Mehr

Ausführbare UML Modelle multimodaler Interaktionsanwendungen Marcel Dausend 1, Mark Poguntke 2 1

Ausführbare UML Modelle multimodaler Interaktionsanwendungen Marcel Dausend 1, Mark Poguntke 2 1 Quelle: http://geekandpoke.typepad.com Modellbasierte Entwicklung Komplexität von Software User Interface Entwicklung Ausführbare UML Modelle multimodaler Interaktionsanwendungen Marcel Dausend 1, Mark

Mehr

INSPIRE - Modellierung

INSPIRE - Modellierung INSPIRE - Modellierung Inhalt Motivation Modellierung UML Diagramme INSPIRE-Schulung LKROS 2 Motivation Was ist ein Modell, und warum wollen wir modellieren? Warum brauchen wir eine Modellierungssprache

Mehr

Requirements Engineering

Requirements Engineering Klaus Pohl Chris Rupp Basiswissen Requirements Engineering Aus- und Weiterbildung zum»certified Professional for Requirements Engineering«Foundation Level nach IREB-Standard 4., überarbeitete Auflage dpunkt.vertag

Mehr

Systematisches Requirements Engineering und Management

Systematisches Requirements Engineering und Management Christof Ebert Systematisches Requirements Engineering und Management Anforderungen ermitteln, spezifizieren, analysieren und verwalten 2., aktualisierte und erweiterte Auflage ^1 dpunkt.verlag Inhalt

Mehr

Kapitel 2 - Die Definitionsphase

Kapitel 2 - Die Definitionsphase Kapitel 2 - Die Definitionsphase SWT I Sommersemester 2010 Walter F. Tichy, Andreas Höfer, Korbinian Molitorisz IPD Tichy, Fakultät für Informatik KIT die Kooperation von Forschungszentrum Karlsruhe GmbH

Mehr

Praxis der Forschung im SoSe 16

Praxis der Forschung im SoSe 16 Praxis der Forschung im SoSe 16 Prof. Dr. Bernhard Beckert, Prof. Dr.-Ing. Michael Beigl, Prof. Dr. Ralf Reussner, Prof. Dr. Tamim Asfour, Jun.-Prof. Dr.-Ing. Anne Koziolek 1 19.04.16 B. Beckert, M. Beigl,

Mehr

Modellbasierter Test mit der UML. Vortragender: Lars Westmeier Seminar: Spezifikationsbasierter Softwaretest

Modellbasierter Test mit der UML. Vortragender: Lars Westmeier Seminar: Spezifikationsbasierter Softwaretest Modellbasierter Test mit der UML Vortragender: Lars Westmeier Seminar: Spezifikationsbasierter Softwaretest Inhalt Einleitung und Motivation UML Testgenerierung Fazit Inhalt Einleitung und Motivation UML

Mehr

DGQ Regionalkreis Hamburg Anforderungsmanagement ins SW-Projekten. 08. Juni 2011

DGQ Regionalkreis Hamburg Anforderungsmanagement ins SW-Projekten. 08. Juni 2011 DGQ Regionalkreis Hamburg Anforderungsmanagement ins SW-Projekten 08. Juni 2011 1 Heinrich Dreier hd@3er-consult.de +49 (0)176 62635052 DGQ- Mitglied Q-Manager Navigationsentwicklung freiberuflicher technischer

Mehr

Unified Modeling Language 2

Unified Modeling Language 2 Unified Modeling Language 2 Marvin Frommhold 17.11.2008 Gliederung Einleitung Geschichte Strukturierung der Spezifikation Diagrammtypen Strukturdiagramme Verhaltensdiagramme CASE-Werkzeuge Quellen Was

Mehr

NACHRICHTENTECHNISCHER SYSTEME

NACHRICHTENTECHNISCHER SYSTEME Einführung UML COMPUTERSIMULATION NACHRICHTENTECHNISCHER SYSTEME 11. Unified Modeling Language UML 220 Standardsprache d zur Visualisierung, i Spezifikation, Konstruktion und Dokumentation komplexer (Software-)

Mehr

Praxis der Forschung im Sommersemester 2017

Praxis der Forschung im Sommersemester 2017 Praxis der Forschung im Sommersemester 2017 Prof. Dr.-Ing. Tamim Asfour, Prof. Dr. Bernhard Beckert, Prof. Dr. Ralf Reussner, Prof. Dr.-Ing. Michael Beigl, Prof. Dr.-Ing. Rainer Stiefelhagen Fakultät für

Mehr

MDRE die nächste Generation des Requirements Engineerings

MDRE die nächste Generation des Requirements Engineerings MDRE die nächste Generation des Requirements Engineerings Tom Krauß, GEBIT Solutions GmbH Copyright 2007 GEBIT Solutions Agenda Requirements Engineering heute eine Bestandsaufnahme Modell-Driven Requirements

Mehr

Web Engineering-Seminar Methoden zur Web Modellierung: Object-oriented Hypermedia Method (OO-H)

Web Engineering-Seminar Methoden zur Web Modellierung: Object-oriented Hypermedia Method (OO-H) Web Engineering-Seminar Methoden zur Web Modellierung: Object-oriented Hypermedia Method (OO-H) Dominik Kirsten Daniel Schäferbarthold Trier, 21.01.2008 1 Gliederung 1. Einführung 1.1 Anforderungen an

Mehr

Modellbasiertes manuelles Testen: Techniken und Tücken

Modellbasiertes manuelles Testen: Techniken und Tücken Modellbasiertes manuelles Testen: Techniken und Tücken 23.02.2015 Objektforum Dr. Andrea Herrmann Freiberufliche Trainerin für Software Engineering herrmann@herrmann-ehrlich.de Dr. Privat-Doz. Andrea Herrmann

Mehr

Vgl. Kapitel 4 aus Systematisches Requirements Engineering, Christoph Ebert Vgl. Kapitel 4/5 aus Basiswissen Requirements Engineering, Klaus Pohl,

Vgl. Kapitel 4 aus Systematisches Requirements Engineering, Christoph Ebert Vgl. Kapitel 4/5 aus Basiswissen Requirements Engineering, Klaus Pohl, Vgl. Kapitel 4 aus Systematisches Requirements Engineering, Christoph Ebert Vgl. Kapitel 4/5 aus Basiswissen Requirements Engineering, Klaus Pohl, Chris Rupp Nachdem die Projekt-Vision und die Stakeholder

Mehr

Universität Karlsruhe (TH)

Universität Karlsruhe (TH) Universität Karlsruhe (TH) Forschungsuniversität gegründet 1825 Kapitel 2 Die Definitionsphase Prof. Walter F. Tichy Wo sind wir gerade? Planung Lastenheft (funktionales Modell) Definition (Analyse) Pflichtenheft

Mehr

Vorlesung Programmieren

Vorlesung Programmieren Vorlesung Programmieren Unified Modeling Language (UML) Dr. Dennis Pfisterer Institut für Telematik, Universität zu Lübeck http://www.itm.uni-luebeck.de/people/pfisterer Unified Modeling Language (UML)

Mehr

Einführung in die Modellierung

Einführung in die Modellierung Informatik II: Modellierung Prof. Dr. Martin Glinz Kapitel 1 Einführung in die Modellierung Universität Zürich Institut für Informatik Inhalt 1.1 Der Modellbegriff 1.2 Wozu Modelle? 1.3 Modellbildung 1.4

Mehr

1.4! Einführung. Systemmodellierung. Methoden und Werkzeuge

1.4! Einführung. Systemmodellierung. Methoden und Werkzeuge Einführung. Vorbemerkungen und Überblick. Die elektronischen e des Fahrzeugs. Prozesse in der Fahrzeugentwicklung im Überblick,.4 Grundlagen. Steuerungs- und regelungstechnische e (Prof. Schumacher). Diskrete

Mehr

Formale Modellierung Vorlesung vom : Beyond JML

Formale Modellierung Vorlesung vom : Beyond JML Rev. 1702 1 [12] Formale Modellierung Vorlesung vom 07.05.12: Beyond JML Till Mossakowski & Christoph Lüth Universität Bremen Sommersemester 2012 2 [12] Heute im Programm Grenzen der JML Nach JML: UML

Mehr

Untersuchung der Sprachkonformität und Vollständigkeit von UML 2.0 Werkzeugen

Untersuchung der Sprachkonformität und Vollständigkeit von UML 2.0 Werkzeugen Armin Bolz 5. März 2007 Institut für Programmiermethodik und Compilerbau Untersuchung der Sprachkonformität und Vollständigkeit von UML 2.0 Werkzeugen Seite 2 Motivation Teilweise eklatante Missachtung

Mehr

Notationen zur Prozessmodellierung

Notationen zur Prozessmodellierung Notationen zur Prozessmodellierung August 2014 Inhalt (erweiterte) ereignisgesteuerte Prozesskette (eepk) 3 Wertschöpfungskettendiagramm (WKD) 5 Business Process Model and Notation (BPMN) 7 Unified Modeling

Mehr

Safer Software Formale Methoden für ISO26262

Safer Software Formale Methoden für ISO26262 Safer Software Formale Methoden für ISO26262 Dr. Stefan Gulan COC Systems Engineering Functional Safety Entwicklung Was Wie Wie genau Anforderungen Design Produkt Seite 3 Entwicklung nach ISO26262 Funktionale

Mehr

UML-Basics: Einführung in Objekt- Orientierte Modellierung mit der Unified Modeling Language

UML-Basics: Einführung in Objekt- Orientierte Modellierung mit der Unified Modeling Language UML-Basics: Einführung in Objekt- Orientierte Modellierung mit der Unified Modeling Language ADV-Seminar Leiter: Ziel dieses Seminars Verständnis von Objekt-Orientierung Was sind Klassen? Was ist Vererbung?

Mehr

Seamless Model-based Engineering of a Reactive System

Seamless Model-based Engineering of a Reactive System Seamless Model-based Engineering of a Reactive System Seminar im Wintersemester 2013/2014 Andreas Vogelsang, Sebastian Eder, Georg Hackenberg, Maximilian Junker http://www4.in.tum.de/lehre/seminare/ws1314/seamless/

Mehr

Business Analysis Body of Knowledge BABOK v3. Konzepte Scope Struktur. Ursula Meseberg microtool GmbH Berlin

Business Analysis Body of Knowledge BABOK v3. Konzepte Scope Struktur. Ursula Meseberg microtool GmbH Berlin Business Analysis Body of Knowledge BABOK v3 Konzepte Scope Struktur Ursula Meseberg microtool GmbH Berlin 1980 Mach mal Systemanalyse Tom DeMarco, Structured Analysis and System Specification, 1978, p

Mehr

Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering

Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering Helmut Balzert Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering 3. Auflage Unter Mitwirkung von Heide Balzert Rainer Koschke Uwe Lämmel Peter Liggesmeyer Jochen Quante Spektrum

Mehr

Comelio GmbH - Goethestr Berlin. Kurskatalog

Comelio GmbH - Goethestr Berlin. Kurskatalog Comelio GmbH - Goethestr. 34-13086 Berlin Kurskatalog 2 Inhaltsverzeichnis a. Standorte...3 1. BPMN...4 i. Business Process Model and Notation mit Altova UModel...4 ii. Business Process Model and Notation

Mehr

Das Leben nach dem F&E-Projekt Requirements Engineering für den gesamten Produktlebenszyklus. Mirko Pracht microtool GmbH

Das Leben nach dem F&E-Projekt Requirements Engineering für den gesamten Produktlebenszyklus. Mirko Pracht microtool GmbH Das Leben nach dem F&E-Projekt Requirements Engineering für den gesamten Produktlebenszyklus Mirko Pracht microtool GmbH Tools Projekte Prozesse & Methoden Viele Vorgehensstandards für F&E-Projekte Medizinprodukteerstellung

Mehr

Software- und Systementwicklung

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

Mehr

Die Unified Modeling Language UML

Die Unified Modeling Language UML Informatik II: Modellierung Prof. Dr. Martin Glinz Kapitel 4 Die Unified Modeling Language UML Universität Zürich Institut für Informatik Inhalt 4.1 Hintergrund 4.2 Grundkonzepte der UML 4.3 Die Rolle

Mehr

Testen mit Use Cases. Chris Rupp Dr. Stefan Queins

Testen mit Use Cases. Chris Rupp Dr. Stefan Queins Testen mit Use Cases Chris Rupp Dr. Stefan Queins Das Problem Requirements- Engineering Was kann passieren? Was ist das gewünschte Verhalten? Was soll ich testen? Welche Eingaben benötigt mein Testpfad?

Mehr

Einführung in die Informationsverarbeitung Teil Thaller. Stunde VII: Planen und Realisieren

Einführung in die Informationsverarbeitung Teil Thaller. Stunde VII: Planen und Realisieren Einführung in die Informationsverarbeitung Teil Thaller Stunde VII: Planen und Realisieren Manfred Thaller, Universität zu Köln Köln 18. Dezember 2014 Rekapitulation Der Gang der Argumentation 1. Der Rohstoff:

Mehr

und wie es zur agilen Entwicklung passt

und wie es zur agilen Entwicklung passt Alexander Holike, REConf 27.03.17 1 Zielorientiertes Requirements Engineering und wie es zur agilen Entwicklung passt Eine vergessene Methode 2 ÜBERBLICK Historie Elemente Funktionsweise Anpassung auf

Mehr

Grundlagen des Software Engineering für Automotive Systems. Hauptseminar im WS 2012 / 2013

Grundlagen des Software Engineering für Automotive Systems. Hauptseminar im WS 2012 / 2013 Grundlagen des Software Engineering für Automotive Systems Hauptseminar im WS 2012 / 2013 Automotive Software Engineering Heutzutage werden Innovationen im Automobil überwiegend in Software realisiert.

Mehr

UML 2.0 als Architekturbeschreibungssprache? Seminar: Architekturbeschreibungssprachen Manuel Wickert

UML 2.0 als Architekturbeschreibungssprache? Seminar: Architekturbeschreibungssprachen Manuel Wickert UML 2.0 als Architekturbeschreibungssprache? Seminar: Architekturbeschreibungssprachen Manuel Wickert Motivation UML 2.0 nicht als ADL im Sinne von Taylor/Medvidovic entworfen. Warum UML als ADL? weit

Mehr

Unified Modeling Language (UML )

Unified Modeling Language (UML ) Unified Modeling Language (UML ) Seminar: Programmiersprachenkonzepte Inhalt Einleitung UML 2.0 Diagrammtypen 2 Einleitung Objektorientierte Modellierungssprache Definiert vollständige Semantik Dient der

Mehr

Requirements Engineering I

Requirements Engineering I Martin Glinz Requirements Engineering I Kapitel 9 UML Unified Modeling Language Universität Zürich Institut für Informatik 2006, 2008 Martin Glinz. Alle Rechte vorbehalten. Speicherung und Wiedergabe sind

Mehr

Oracle JDeveloper 10 g

Oracle JDeveloper 10 g Oracle JDeveloper 10 g Modellierung Evgenia Rosa Business Unit Application Server ORACLE Deutschland GmbH Agenda Warum Modellierung? UML Modellierung Anwendungsfall (Use Case)-Modellierung Aktivitätenmodellierung

Mehr

Seminar: Informationsmanagement in Versicherungen

Seminar: Informationsmanagement in Versicherungen Seminar: Informationsmanagement in Versicherungen Anmeldung & Themenübersicht Achim Klein, Dominic, Tobias Häusser Universität Hohenheim Wirtschaftsinformatik 2 Hohenheim, 23.08.2011 Inhalt des Seminars

Mehr

Werkzeugunabhängigkeit bei der Modellierung Schwierigkeiten und mögliche Lösungsansätze

Werkzeugunabhängigkeit bei der Modellierung Schwierigkeiten und mögliche Lösungsansätze Werkzeugunabhängigkeit bei der Modellierung Schwierigkeiten und mögliche Lösungsansätze Oliver Hofrichter (hofrichter@tzi.de) Lars Hamann (lhamann@tzi.de) Überblick Motivation Kontext Warum Werkzeugunabhängigkeit

Mehr

Klausur. Softwareentwurf. 14. Februar 2011 Bearbeitungszeit: 120 Minuten

Klausur. Softwareentwurf. 14. Februar 2011 Bearbeitungszeit: 120 Minuten Klausur Softwareentwurf 14. Februar 2011 Bearbeitungszeit: 120 Minuten FG Datenbank- und Informationssysteme Prof. Dr. Gregor Engels unbedingt vollständig und lesbar ausfüllen! Vorname: Matrikelnummer:

Mehr

Systematisches Requirements Engineering

Systematisches Requirements Engineering Systematisches Requirements Engineering Anforderungen ermitteln, spezifizieren, analysieren und verwalten von Christof Ebert 3., aktualisierte und erweiterte Auflage Systematisches Requirements Engineering

Mehr

Objektorientierte Systementwicklung

Objektorientierte Systementwicklung Karl-Heinz Rau Objektorientierte Systementwicklung Vom Geschäftsprozess zum Java-Programm Mit 162 Abbildungen vieweg Überblick und Vorbemerkungen 1 1 Objektorientierte Software-Entwicklung 5 1.1 Überblick

Mehr

Übung 4. Werkzeuge zur ER-Modellierung. Prof. Dr. Andreas Schmietendorf 1. Übung 4

Übung 4. Werkzeuge zur ER-Modellierung. Prof. Dr. Andreas Schmietendorf 1. Übung 4 Werkzeuge zur ER-Modellierung Prof. Dr. Andreas Schmietendorf 1 Aufgabenbeschreibung Prof. Dr. Andreas Schmietendorf 2 Zielstellung Innerhalb der wollen wir uns mit Werkzeugen zur ER-Modellierung vertraut

Mehr

Use Cases vs. Funktionale Spezifikation

Use Cases vs. Funktionale Spezifikation Use Cases vs. Funktionale Spezifikation Ein experimenteller Vergleich zweier Methoden zur Anforderungsspezifikation Fraunhofer IESE: Anne Groß (Anne.Gross@iese.fraunhofer.de) & Jörg Dörr (Joerg.Doerr@iese.fraunhofer.de)

Mehr

Verbesserung und Pflege der Dokumentation der DPP-Software Saros

Verbesserung und Pflege der Dokumentation der DPP-Software Saros Verbesserung und Pflege der Dokumentation der DPP-Software Saros Meike Johannsen Freie Universität Berlin Seminar "Beiträge zum Software Engineering", 2011 Inhalt Motivation Ziele dieser Diplomarbeit Vorgehensweise

Mehr

Deductive Software Verification The KeY Book Haupt- und Proseminar in SoSe 2017

Deductive Software Verification The KeY Book Haupt- und Proseminar in SoSe 2017 Deductive Software Verification The KeY Book Haupt- und Proseminar in SoSe 2017 Bernhard Beckert 02.05.17 INSTITUT FÜR THEORETISCHE INFORMATIK, KIT KIT âăş Die ForschungsuniversitÃd t in der Helmholtz-Gemeinschaft

Mehr

Lehrstuhl für Datenverarbeitung. Technische Universität München. Grundkurs C++ Objektmodellierung. Grundkurs C++

Lehrstuhl für Datenverarbeitung. Technische Universität München. Grundkurs C++ Objektmodellierung. Grundkurs C++ Grundkurs C++ Objektmodellierung Grundkurs C++ Objektmodellierung welche Objekte bzw. Klassen werden benötigt? welche Information wird benötigt, um ein Objekt zu beschreiben? welche Beziehungen bestehen

Mehr

14 Aktivitäten und Artefakte

14 Aktivitäten und Artefakte Im Rahmen einer Softwareentwicklung müssen Aktivitäten durchgeführt werden, die zu Ergebnissen im Folgenden Artefakte (artifacts) genannt führen. Eine Aktivität wird durch Mitarbeiter ausgeführt, die definierte

Mehr

UML (Unified Modelling Language) von Christian Bartl

UML (Unified Modelling Language) von Christian Bartl UML (Unified Modelling Language) von Inhaltsverzeichnis Inhaltsverzeichnis... 2 1 UML Unified Modelling Language... 3 2 Diagrammtypen... 3 2.1 Aktivitätsdiagramm... 3 2.1.1 Notation... 4 2.1.2 Beispieldiagramm...

Mehr

Requirements Engineering Übung am

Requirements Engineering Übung am Requirements Engineering Übung am 11.11.2011 Maximilian Junker Organisatorisches Unser Konzept für die Drive-Now Fallstudie ist online (siehe Vorlesungsseite) Bis zum nächsten Mal 4-er Gruppen bilden Aufgabe

Mehr

Die Offenen Trainings der SOPHISTen

Die Offenen Trainings der SOPHISTen Die Offenen Trainings der SOPHISTen 2012 Sitzen Sie bei den Bestseller-Autoren in der 1. Reihe! Lassen Sie sich von den SOPHISTen Tricks und Kniffe für Ihre tägliche Arbeit beibringen. Profitieren Sie

Mehr

Poseidon for UML. Einführung. Andreas Blunk

Poseidon for UML. Einführung. Andreas Blunk Poseidon for UML Einführung Andreas Blunk Gliederung 1) Editionen/Lizenzen 2) Die Programmoberfläche 3) Modelle speichern 4) Einführung am lebenden Objekt 5) Generierung (Doc & Code) 6) Funktionsumfang

Mehr

Requirements Engineering

Requirements Engineering Lill, Meitner, Föhrweiser, Spisländer FAU Erlangen-Nürnberg Requirements Engineering 1 / 13 Requirements Engineering Raimar Lill Matthias Meitner David Föhrweiser Marc Spisländer Lehrstuhl für Software

Mehr

Requirements Engineering

Requirements Engineering Klaus Pohl Requirements Engineering Grundlagen, Prinzipien, Techniken dpunkt.verlag Teil I Grundlagen und Rahmenwerk 1 1 Motivation 5 1.1 Softwareintensive Systeme 5 1.2 Bedeutung des Requirements Engineering

Mehr

IT-Projekte strukturiert realisieren

IT-Projekte strukturiert realisieren Ralph Brugger IT-Projekte strukturiert realisieren Situationen analysieren, Lösungen konzipieren - Vorgehen systematisieren, Sachverhalte visualisieren - UMLund EPKs nutzen 2., vollständig überarbeitete

Mehr

Theoretische Grundlagen des Software Engineering

Theoretische Grundlagen des Software Engineering Theoretische Grundlagen des Software Engineering 6: Formale Logik Einführung schulz@eprover.org Formale Logik Ziel Formalisierung und Automatisierung rationalen Denkens Rational richtige Ableitung von

Mehr

Konzeption und Entwicklung eines sicheren Cloudbasierten Internetbanking-Systems mit

Konzeption und Entwicklung eines sicheren Cloudbasierten Internetbanking-Systems mit Konzeption und Entwicklung eines sicheren Cloudbasierten Internetbanking-Systems mit anschließender Sicherheitsanalyse auf Basis von Business Process Mining im SoSe 2011 & Prof. Jan Jürjens, Dr. Holger

Mehr

Regelbasierte Entwicklung betrieblicher Informationssysteme

Regelbasierte Entwicklung betrieblicher Informationssysteme Reihe: Wirtschaftsinformatik Band 45 Herausgegeben von Prof. (em.) Dr. Dietrich Seibt, Köln, Prof. Dr. Hans-Georg Kemper, Stuttgart, Prof. Dr. Georg Herzwurm, Stuttgart, Prof. Dr. Dirk Stelzer, Ilmenau,

Mehr

Was Sie schon immer über MBSE wissen wollten

Was Sie schon immer über MBSE wissen wollten Was Sie schon immer über MBSE wissen wollten Dr. Michael Jastram ASQF FG-Treffen Requirements Engineering Köln 1. Juni 2017 Agenda Systems und Systems Engineering Was ist ein Modell? Beispiel: Anforderungsmodell

Mehr

Modellieren von Anforderungen nach IREB

Modellieren von Anforderungen nach IREB IDEEN IN IT Modellieren von Anforderungen nach IREB Certified Professional for Requirements Engineering (CPRE) Advanced Level Wir fördern Karrieren! Inhaltsübersicht MODELLIEREN von ANFORDERUNGEN nach

Mehr

Über den Unterschied zwischen Business Analysis und Requirements Engineering & Management

Über den Unterschied zwischen Business Analysis und Requirements Engineering & Management Über den Unterschied zwischen Business Analysis und Requirements Engineering & Management REConf Schweiz 2010 IIBA BABOK 2.0 Wortzählung 1729 "Requirement" = 42% von ( Requirement + Business + Solution

Mehr

Secure Software Engineering/ Sicherheit und Softwaretechnik

Secure Software Engineering/ Sicherheit und Softwaretechnik 1/ 15 Secure Software Engineering/ Sicherheit und Softwaretechnik Sommermester 2017 RGSE - Research Group for Software Engineering 18.04.2017 Agenda 2/ 15 1 Hintergründe zum Seminar 2 Organisatorisches

Mehr

Analyse und Modellierung von Informationssystemen

Analyse und Modellierung von Informationssystemen Analyse und Modellierung von Informationssystemen Dr. Klaus Höppner Hochschule Darmstadt Sommersemester 2013 1 / 18 UML Einführung Klassendiagramme in der UML Relationen zwischen Klassen 2 / 18 UML: Grundsätzliches

Mehr

FACHHOCHSCHULE MANNHEIM

FACHHOCHSCHULE MANNHEIM Objektorientierte Programmierung 11. Vorlesung Prof. Dr. Peter Knauber FACHHOCHSCHULE MANNHEIM Hochschule für Technik und Gestaltung Die 2. lgruppe von KobrA: : le der : e Folie 1 Zur Erinnerung: 1. lgruppe:

Mehr

Softwaretechnik 2015/2016

Softwaretechnik 2015/2016 Softwaretechnik 2015/2016 PST Lehrstuhl Prof. Dr. Matthias Hölzl HAUPT-/ BACHELOR- SEMINAR ADAPTIVE SYSTEME PST Joschka PROF. DR. Rinke WIRSING 14. JUNI 2009 VORNAME NAME AGENDA Übung 11: 14.01.2016 Schon

Mehr

Lernen durch Feedback aus Inspektionen 28.11.2013 Dr. Andrea Herrmann

Lernen durch Feedback aus Inspektionen 28.11.2013 Dr. Andrea Herrmann Lernen durch Feedback aus Inspektionen 28.11.2013 Dr. Andrea Herrmann Freie Software Engineering Trainerin und Forscherin www.herrmann-ehrlich.de Übersicht 1. Motivation 2. Fragen 3. Durchführung 4. Ergebnisse

Mehr

Wirtschaftsingenieurwesen (Informationstechnik) Modulname. Programmierung I/ Software Engineering I Modulnummer

Wirtschaftsingenieurwesen (Informationstechnik) Modulname. Programmierung I/ Software Engineering I Modulnummer Modulbeschreibung Programmierung I/ Software Engineering I Modulname Programmierung I/ Software Engineering I Modulnummer -1.3 Pflicht-/Wahlpflicht-/ Pflicht Modul-Verantwortlicher Prof. Erich Stein Inhalt/Untermodule

Mehr

Systemanalyse. - Seminar für AI/DM 3 im Wintersemester 2004/05 -

Systemanalyse. - Seminar für AI/DM 3 im Wintersemester 2004/05 - Systemanalyse - Seminar für AI/DM 3 im Wintersemester 2004/05 - Prof. Dr. Hans-Jürgen Steffens (by courtesy of Prof. Dr. Thomas Allweyer) Fachbereich Informatik und Mikrosystemtechnik Fachhochschule Kaiserslautern,

Mehr

Seminar Programmierung und Reaktive Systeme

Seminar Programmierung und Reaktive Systeme Seminar Programmierung und Reaktive Systeme Qualitätssicherung Softwareintensiver Eingebetteter Systeme Betreuer: Sascha Lity, Hauke Baller in Kooperation mit dem Institut für Softwaretechnik und Fahrzeuginformatik

Mehr

Vorlesung Software Engineering

Vorlesung Software Engineering Vorlesung Software Engineering 6 Unified Modeling Language: Einführung Prof. Dr. Dirk Müller Übersicht Einführung Software-Entwicklungsprozesse Anforderungsanalyse Prozessanalyse und -modellierung Objekt-orientierte

Mehr

Spezifikationsbasierter Softwaretest

Spezifikationsbasierter Softwaretest Spezifikationsbasierter Softwaretest Seminartermin I (10.06.2006) Prof. Dr. H. Schlingloff Humboldt Universität, Fraunhofer FIRST Dr. M. Conrad The MathWorks GmbH Zeitplanung Vortragsdauer 30 Minuten (genau

Mehr

Unified Modelling Language

Unified Modelling Language Unified Modelling Language SEP 72 Software-Entwicklung Software-Entwicklung ist Prozess von Anforderung über Modellierungen zu fertigen Programmen Anforderungen oft informell gegeben fertige Programme

Mehr

Kernveranstaltungen der Wirtschaftsinformatik. Prof. Dr. Stefan Voß. Universität Hamburg Institut für Wirtschaftsinformatik

Kernveranstaltungen der Wirtschaftsinformatik. Prof. Dr. Stefan Voß. Universität Hamburg Institut für Wirtschaftsinformatik Kernveranstaltungen der Wirtschaftsinformatik Prof. Dr. Stefan Voß Universität Hamburg Institut für Wirtschaftsinformatik Kernveranstaltungen der Wirtschaftsinformatik - Seminar Prof. Dr. Stefan Voß Universität

Mehr

Werkzeugunterstützung für sichere Software

Werkzeugunterstützung für sichere Software 1/ 26 Werkzeugunterstützung für sichere Software Wintersemester 2013/14 LS14 - Arbeitsgruppe Software Engineering for Critical Systems 15.10.2013 Agenda LS14 - Arbeitsgruppe Software Engineering for Critical

Mehr

Unified Modeling Language

Unified Modeling Language Unified Modeling Language Thomas Röfer Motivation Entwicklung Spracheinheiten Diagramme (Struktur-/Verhaltensdiagramme) Rückblick Textsuche Naive Suche abrakadabra Boyer-Moore abrakadabra a Knuth-Morris-Pratt

Mehr

Software-Verifikation

Software-Verifikation Hochschule Wismar Fakultät für Wirtschaftswissenschaften Semesterarbeit (Arbeitsplan und Grobkonzeption) Software-Verifikation Fernstudiengang Master Wirtschaftsinformatik Modul: Formale Methoden Semester:

Mehr

Zusicherungen und Laufzeit Überwachungen in der modellbasierten Software Entwicklung

Zusicherungen und Laufzeit Überwachungen in der modellbasierten Software Entwicklung Zusicherungen und Laufzeit Überwachungen in der modellbasierten Software Entwicklung Methoden Design Integration STZ Softwaretechnik Andreas Rau STZ Softwaretechnik Im Gaugenmaier 20 73730 Esslingen Email:

Mehr

Von UML 1.x nach UML 2.0

Von UML 1.x nach UML 2.0 Zürich Soft Summer 2005 Fortgeschrittene Aspekte der Software Technologie Von UML 1.x nach UML 2.0 Prof. Dr. Martin Glinz www.ifi.unizh.ch/req Ergänzendes Material zur Vorlesung Spezifikation und Entwurf

Mehr

Requirements Engineering Vortragender: David Kurmann 2. Teil April 2008 Autor: Antoine Hauck

Requirements Engineering Vortragender: David Kurmann 2. Teil April 2008 Autor: Antoine Hauck Requirements Engineering Vortragender: David Kurmann 2. Teil - 14. April 2008 Autor: Antoine Hauck Inhaltsverzeichnis 1 Rückblick... 2 2 Dokumentierung/Spezifizierung... 2 2.1 Vorgehehensmodelle... 2 2.2

Mehr

MDA-Praktikum, Einführung

MDA-Praktikum, Einführung MDA-Praktikum, Einführung Prof. Dr. Peter Thiemann Universität Freiburg 02.11.2005 Was ist MDA? MDA = Model-Driven Architecture Initiative der OMG Object Management Group: CORBA, UML,... offenes Firmenkonsortium

Mehr

Advanced Topics of Software Engineering. Organisatorische Hinweise

Advanced Topics of Software Engineering. Organisatorische Hinweise Advanced Topics of Software Engineering Organisatorische Hinweise Prof. Dr. Dr. h.c. Manfred Broy Lehrstuhl Software & Systems Engineering Institut für Informatik Software & Systems Engineering Technische

Mehr

YAKINDU Requirements. Requirements Engineering, Management and Traceability with Eclipse. Lars Martin, itemis AG. itemis AG

YAKINDU Requirements. Requirements Engineering, Management and Traceability with Eclipse. Lars Martin, itemis AG. itemis AG YAKINDU Requirements Requirements Engineering, Management and Traceability with Eclipse Lars Martin, itemis AG Agenda YAKINDU Requirements Motivation: Warum Requirements Engineering? Grundlagen: Requirements

Mehr

Software Engineering. 3. Anforderungsanalyse. Franz-Josef Elmer, Universität Basel, WS 2006/07

Software Engineering. 3. Anforderungsanalyse. Franz-Josef Elmer, Universität Basel, WS 2006/07 Software Engineering 3. Anforderungsanalyse Franz-Josef Elmer, Universität Basel, WS 2006/07 Software Engineering: 3. Anforderungsanalyse 2 Definitionen Anforderungen (Requirements): Beschreibung aller

Mehr

Studienbegleitende Leistungsnachweise. Gewichtung für die Bildung der Prüfungsgesamtnote. Lfd. Nr. Module SWS Art der Lehrveranstaltung

Studienbegleitende Leistungsnachweise. Gewichtung für die Bildung der Prüfungsgesamtnote. Lfd. Nr. Module SWS Art der Lehrveranstaltung Anlage zur Studien- und Prüfungsordnung für den Bachelorstudiengang Wirtschaftsinformatik an der Technischen Hochschule Ingolstadt vom 21.01.2013 in der Fassung der Änderungssatzung vom 15.02.2016 Modul-

Mehr

Objektorientierte Softwareentwicklung

Objektorientierte Softwareentwicklung Objektorientierte Softwareentwicklung Analyse- und Designmethoden Analyse- & Designmethoden Strukturierte, traditionelle Methoden Objektorientierte Methoden Funktionsorientierte Methoden Datenorientierte

Mehr

Modellbasierte Software- Entwicklung eingebetteter Systeme

Modellbasierte Software- Entwicklung eingebetteter Systeme Modellbasierte Software- Entwicklung eingebetteter Systeme Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität und Fraunhofer Institut für offene Kommunikationssysteme FOKUS Folie

Mehr

Unified. Copyright Adriano Gesué UML 2.0 UML 1.4 UML 1.3 UML 1.2 UML 1.1 UML 1.0 UML 0.9. Method 0.8

Unified. Copyright Adriano Gesué UML 2.0 UML 1.4 UML 1.3 UML 1.2 UML 1.1 UML 1.0 UML 0.9. Method 0.8 Literatur Martin Fowler and Kendall Scott: UML Distilled: Applying the Standard Object Modeling Language. Addison-Wesley 1997. James Rumbaugh, Ivar Jacobson, and Grady Booch: The Unified Language Reference

Mehr

Lehrplan: Business Analyse/ Requirements Engineering (BA- RE)

Lehrplan: Business Analyse/ Requirements Engineering (BA- RE) Lehrplan: Business Analyse/ Requirements Engineering (BA- RE) Gliederung 1 Grundlagen der industriellen So@ware Entwicklung 2 Unternehmens- und Geschä@sprozessmodellierung 3 Grundlagen und Begriffe des

Mehr

Inhaltsverzeichnis. Business Analysis und Requirements Engineering

Inhaltsverzeichnis. Business Analysis und Requirements Engineering sverzeichnis zu Business Analysis und Requirements Engineering von Peter Hruschka ISBN (Buch): 978-3-446-43807-1 ISBN (E-Book): 978-3-446-43862-0 Weitere Informationen und Bestellungen unter http://www.hanser-fachbuch.de/978-3-446-43807-1

Mehr

Handbuch der Anforderungsmodellierung nach IREB Standard

Handbuch der Anforderungsmodellierung nach IREB Standard Thorsten Cziharz Peter Hruschka Stefan Queins Thorsten Weyer Handbuch der Anforderungsmodellierung nach IREB Standard Aus- und Weiterbildung zum IREB Certified Professional for Requirements Engineering

Mehr

Logik für Informatiker

Logik für Informatiker Vorlesung Logik für Informatiker 1. Einführung Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Formale Logik Ziel Formalisierung und Automatisierung rationalen

Mehr

Lehrstuhl für Datenverarbeitung. Technische Universität München. Grundkurs C++ Objektmodellierung

Lehrstuhl für Datenverarbeitung. Technische Universität München. Grundkurs C++ Objektmodellierung Grundkurs C++ Objektmodellierung Grundkurs C++ Objektmodellierung welche Objekte bzw. Klassen werden benötigt? welche Information wird benötigt, um ein Objekt zu beschreiben? welche Beziehungen bestehen

Mehr

Objektorientierte Softwareentwicklung

Objektorientierte Softwareentwicklung Objektorientierte Softwareentwicklung Anforderungsmodellierung Die Inhalte der Vorlesung wurden primär auf Basis der angegebenen Literatur erstellt. Darüber hinaus sind viele Teile direkt aus der Vorlesung

Mehr

Model Driven Architecture

Model Driven Architecture Model Driven Architecture Wilhelm Stephan Universität Hamburg Fakultät für Mathematik, Informatik und Naturwissenschaften Seminar Softwareentwicklung in der Wissenschaft Betreuer: Julian Kunkel SommerSemester

Mehr