Modelling in the Wild Domains and Abstraction in Model-Driven Software Development
|
|
|
- Christa Holst
- vor 5 Jahren
- Abrufe
Transkript
1 Modelling in the Wild Domains and Abstraction in Model-Driven Software Development SoSe 2013 und WS 2013/14 Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer 15. April 2013 LEHRSTUHL FÜR SOFTWARE-ENTWURF UND -QUALITÄT KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft
2 1 2 Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
3 1 2 Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
4 Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
5 C 1 C 2 C 3 UML-Klassendiagramm Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
6 SEFF="download") public File[] download(string[] ids) { Download download = new Download(ids); return download.getfiles(); } C 1 C 2 C 3 UML-Klassendiagramm Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
7 SEFF="download") public File[] download(string[] ids) { Download download = new Download(ids); return download.getfiles(); } C 1 C 2 C 3 UML-Klassendiagramm Performance-Werte Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
8 SEFF="download") public File[] download(string[] ids) { Download download = new Download(ids); return download.getfiles(); } synchron? synchron? C 1 C 2 C 3 synchron? UML-Klassendiagramm Performance-Werte Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
9 Modellgetriebene Software-Entwicklung Modelle sind zentrale Artefakte des Entwicklungs-Prozesses Einsatz von Modell-Transformationen und Code-Generierung Probleme Verteilung von Informationen über verschiedene Modelle und Code Redundanz und Inkonsistenzen Konsistenzerhaltung zwischen verschiedenen Metamodellen Evolution von modellgetrieben erzeugtem Code Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
10 Modellgetriebene Software-Entwicklung Modelle sind zentrale Artefakte des Entwicklungs-Prozesses Einsatz von Modell-Transformationen und Code-Generierung Probleme Verteilung von Informationen über verschiedene Modelle und Code Redundanz und Inkonsistenzen Konsistenzerhaltung zwischen verschiedenen Metamodellen Evolution von modellgetrieben erzeugtem Code Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
11 Modelling in the Wild kleine Modelle nur Teile des Entwicklungsprozesses Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
12 Modelling in the Wild kleine Modelle nur Teile des Entwicklungsprozesses echte Anwendungsfälle kompletter MDSD-Prozess aktuelle Techniken und Werkzeuge Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
13 Modelling in the Wild Ziel Einheitliche Sichten auf heterogene Metamodelle Zentrales Modell für alle Entwicklungs-Artefakte der Software Eingesetzte Techniken Moderne Eclipse-Basierte Tools Transformationssprachen Textuelle Syntax Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
14 Sichtenbasierter Entwicklungsprozesses Java PCM UML Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
15 Sichtenbasierter Entwicklungsprozesses Java PCM UML Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
16 Sichtenbasierter Entwicklungsprozesses Java PCM UML Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
17 Sichtenbasierter Entwicklungsprozesses Java PCM UML Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
18 Sichtenbasierter Entwicklungsprozesses Java PCM UML Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
19 Sichtenbasierter Entwicklungsprozesses Java PCM ST ST UML ST Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
20 Modeling in the Wild Forschungsthema Koppelung von Metamodellen zu zentralem Modell für die Software-Entwicklung Definition von Benutzer-spezifischen, editierbaren Sichten Regeln zur Konsistenzerhaltung und Transformation zwischen Teilmodellen Technische Herausforderungen Verwendung aktueller modellgetriebener Techniken Transformationssprachen (QVT-O/-R) textuelle Sichten (Xtext) Entwurf eines innovativen Entwicklungsprozesses Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
21 Modeling in the Wild Forschungsthema Koppelung von Metamodellen zu zentralem Modell für die Software-Entwicklung Definition von Benutzer-spezifischen, editierbaren Sichten Regeln zur Konsistenzerhaltung und Transformation zwischen Teilmodellen Technische Herausforderungen Verwendung aktueller modellgetriebener Techniken Transformationssprachen (QVT-O/-R) textuelle Sichten (Xtext) Entwurf eines innovativen Entwicklungsprozesses Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
22 1 2 Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
23 Voraussetzungen Notwendige Voraussetzungen Interesse und Fähigkeit, mit anderen Studierenden im Team zu arbeiten Kenntnisse in UML Programmierkenntnisse in Java Optionale Voraussetzungen Vertiefte Kenntnisse in Eclipse (z.b. Plugin-Entwicklung) Besuch der Vorlesung Softwaretechnik II Erste Kenntnisse in MDSD und Transformationssprachen Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
24 Eure Aufgabe Aufgabe Einarbeitung in MDSD-Themen Entwurf des sichtenbasierten Entwicklungsprozesses Schnittstelle zu Sichttypen Synchrone Evolution von Java, UML,... Umsetzung als Eclipse-Plugin Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
25 am IPD Reussner Prof. Dr. Ralf Reussner M.Sc. Michael Langhammer Dipl.-Inform. Erik Burger Dipl.-Inform. Max Kramer Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
26 Wir bieten Wir bieten Abdeckung verschiedener Interessensgebiete (u.a. MDSD, Java, Architekturmodelle, Eclipse) Mitarbeit an zentralem Forschungsthema Vorlesung Modellgetriebene Software-Entwicklung Intensive Betreuung Möglichkeit zur wissenschaftlichen Publikation der Ergebnisse Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
27 Homepage Webseite der Veranstaltung Modellgetriebene_Software-Entwicklung_SS13-WS13/14 Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
28 SVN Info Last change by burger Revision 2655 Last changed on :12: (Mo, 21 Jan 2013) URL i43/svn/lehre/ss13_/ Infoveranstaltung_ /projektgruppe_ tex Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer April /15
VITRUVIUS Architektur, Modelle und Code
VITRUVIUS Architektur, Modelle und Code GI-Jahrestagung Architekturen 2015 Erik Burger 9. Juli 2015 CHAIR FOR SOFTWARE DESIGN AND QUALITY KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Inkrementelle Modellsichten
Praxis der Forschung Wintersemester 2016/17 17.10.2016 LEHRSTUHL FÜR SOFTWARE-ENTWURF UND -QUALITÄT KIT die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu Inkrementelle WebUI MediaStore
Themen. Software Design and Quality Group Institute for Program Structures and Data Organization
Themen 2 28.04.2010 MODELLGETRIEBENE SOFTWARE-ENTWICKLUNG Grundlagen 3 28.04.2010 Meta-Modell: Lego Meta-Modell Bauvorschriften Building Block * connected with Modell Lego Reale Welt Haus Bilder: (c) designritter
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,
Eclipse Modeling Framework Modellgetriebene Softwareentwicklung Prof. Andreas Schmidt
Eclipse Modeling Framework Modellgetriebene Softwareentwicklung Prof. Andreas Schmidt Sören Bühler buso1011 36811 Julia Haßlinger haju1013 37141 Anja Heinzberger hean1017 36622 Agenda Allgemeines Historie
Model-Driven Software Engineering (HS 2011)
Model-Driven Software Engineering (HS 2011) Dr. J. Küster Übungsblatt I Abgabe: Am 15.11.2011 vor der Vorlesung Voraussetzungen: Installation von Eclipse und Eclipse Modeling Framework Installation der
MDSD Einführung und Überblick
Model Driven Software Development MDSD Einführung und Überblick Referent: Carsten Schädel Seite 2 / 33 Ziele Grundgedanke Glossar der wichtigsten Begriffe Seite 3 / 33 Glossar Seite 4 / 33 mögliche Definitionen:
Software-Engineering im Sommersemester 2014
Methodische Grundlagen des Software-Engineering SS 2014 Vorlesung Methodische Grundlagen des Software-Engineering im Sommersemester 2014 Prof. Dr. Jan Jürjens TU Dortmund, Fakultät Informatik, Lehrstuhl
Praxis der Forschung im WiSe 16/17
Praxis der Prof. Dr. Bernhard Beckert, Prof. Dr. Ralf Reussner, Prof. Dr.-Ing. Michael Beigl, Prof. Dr. Tamim Asfour, Prof. Dr. Peter Sanders, Prof. Dr. Wolfgang Karl, Prof. Dr. Martina Zitterbart 1 KIT
MDSD in der Praxis. Dr. Shota Okujava.
MDSD in der Praxis Dr. Shota Okujava shota.okujava@isento.de www.isento.de Agenda Einführung/Begriffsdefinition Softwareentwicklungsprozess und MDSD Technologien und Werkzeuge Probleme und Herausforderungen
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
Modellgetriebene Softwareentwicklung. Gabriele Taentzer WS 2012/2013 Philipps-Universität Marburg
Modellgetriebene Softwareentwicklung Gabriele Taentzer WS 2012/2013 Philipps-Universität Marburg Organisation der LV Umfang: 6 SWS, 9 ECTS Punkte Veranstalter: Gabriele Taentzer, Daniel Strüber Kontakt:
Kennenlernen. Tutorium 7 iloveswt.de Fabian I. Miltenberger INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION (IPD)
Kennenlernen Tutorium 7 iloveswt.de Fabian I. Miltenberger 25.05.2016 INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION (IPD) KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Modellgetriebene Entwicklung eingebetteter Systeme mit Eclipse
Modellgetriebene Entwicklung eingebetteter Systeme mit Eclipse Dr. Lothar Wendehals Softwarearchitekt Axel Terfloth Leiter Forschung und Entwicklung Software Engineering 2009 4. März 2009, Kaiserslautern
Definition von domänenspezifischen Sprachen mit Xtext: Einführung
Definition von domänenspezifischen Sprachen mit Xtext: Einführung 28. November 2012 Taentzer Modellgetriebene Softwareentwicklung 246 Überblick Was ist zu tun, wenn wir selbst einen Ansatz für modellgetriebenen
Integration von Model-Driven Development und formaler Verfikation in den Softwareentwicklungsprozess
Integration von Model-Driven Development und formaler Verfikation in den Softwareentwicklungsprozess Eine Fallstudie mit einem 3D-Tracking-System Dipl.-Inform. Christian Ammann Fachhochschule Osnabrück
Modellgetriebene Entwicklung von Pervasive Games
AW1 Vortrag von Hauke Wittern Modellgetriebene Entwicklung von Pervasive Games Entwicklung einer domänenspezifischen Sprache 09.12.2008 Agenda Motivation Pervasive Games Modellgetriebene Softwareentwicklung
Motivation Grundlagen Technologien Manipulation Ecore Genmodell Demo Persistenz Notification Ausblick GMF Fazit / Quellen
Motivation Grundlagen Technologien Manipulation Ecore Genmodell Demo Persistenz Notification Ausblick GMF Fazit / Quellen Soll ich Modellieren oder Programmieren? sowohl als auch!!! Produktivitäts-Steigerung
Modul Softwareentwicklung
Modul Softwareentwicklung Studiengang Mechatronik, Nebenfach Informatik Prof. Dr.-Ing. G. Snelting, Fakulta t fu r Informatik 1. Juli 2014 KIT Universita t des Landes Baden-Wu rttemberg und nationales
Praxis der Forschung im Wintersemester 2017/18
Praxis der Forschung im Wintersemester 2017/18 Prof. Dr.-Ing. Tamim Asfour, Prof. Dr. Bernhard Beckert, Prof. Dr.-Ing. Michael Beigl, Jun.-Prof. Dr.-Ing. Anne Koziolek, Prof. Dr.-Ing. Torsten Kröger, Prof.
Softwarevarianten im Griff mit textuellen DSLs
Softwarevarianten im Griff mit textuellen DSLs Erfahrungsbericht SE 2010 - Paderborn Industrietag 24.02.2010 Johannes Reitzner Leiter CoC Model Driven Development Produktlinien-Beispiel Planungssysteme
Praxis der Softwareentwicklung WS 2015/16
Praxis der Softwareentwicklung WS 2015/16 Prof. Dr. Gregor Snelting LEHRSTUHL PROGRAMMIERPARADIGMEN 0 KIT 28. Universität Oktober des 2015- Landes Praxis Baden-Württemberg der Softwareentwicklung und WS
Vorgetragen von. Sanaz Mostowfi Anna Polovets Mandy Neumann
Vorgetragen von Sanaz Mostowfi Anna Polovets Mandy Neumann Gliederung Was ist DSL? Welche Arten von DSL gibt es? Vor und Nachteile Werkzeuge zur Erstellung von DSLs XText Definition: DSL (Domain Specific
Programmierparadigmen Tutorium: Lazyness, Streams
Programmierparadigmen Tutorium: Lazyness, Streams Prof. Dr.-Ing. Gregor Snelting WS 2012/2013 LEHRSTUHL PROGRAMMIERPARADIGMEN www.kit.edu KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Model Querys zur Überprüfung von sicherheitsrelevanten Eigenschaften
Model Querys zur Überprüfung von sicherheitsrelevanten Eigenschaften Proseminarvortrag Werkzeugunterstützung für sichere Software Jens Knipper Fakultät für Informatik Technische Universität Dortmund 31.
WIRTSCHAFTSINFORMATIK
Westfälische Wilhelms-Universität Münster A platform for professional model-driven software development. Präsentation im Rahmen des Seminars Software Engineering WS 08/09 Jan Schürmeier Jan.Schuermeier@gmx.de
Modellgetriebene Softwareentwicklung bei der IBYKUS AG
Modellgetriebene Softwareentwicklung bei der IBYKUS AG Theorie Teil 7: Modelltransformationen Dr. Steffen Skatulla IBYKUS AG 1 Inhalt Teil 7: Modelltransformationen Wozu Modelltransformationen? Konzepte
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
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
Herausforderung: Entwicklungsmethodik und technisches Umfeld
Model Driven Software Development Herausforderung: Entwicklungsmethodik und technisches Umfeld Referent: Christoph Schmidt-Casdorff Seite 2 / 42 Inhaltsverzeichnis 1. Werkzeuglandschaft 1.1 Language Workbench
Model Driven Architecture Praxisbeispiel
1 EJOSA OpenUSS CampusSource Model Driven Architecture Praxisbeispiel 2 Situation von CampusSource-Plattformen Ähnliche Funktionen (Verwaltung von Studenten und Dozenten, Diskussionsforen,...), jedoch
Praxis der Softwareentwicklung
Praxis der Softwareentwicklung SS 2014 Prof. Dr. Gregor Snelting LEHRSTUHL 0 KIT 22. Universität April 2014 des Landes Baden-Württemberg Praxis der Softwareentwicklung und SS 2014 LEHRSTUHL nationales
Praxis der Softwareentwicklung
Praxis der Softwareentwicklung SS 2013 Prof. Dr. Gregor Snelting LEHRSTUHL 0 KIT 9. Universität April 2013 des Landes Baden-Württemberg Praxis der Softwareentwicklung und SS 2013 LEHRSTUHL nationales Forschungszentrum
22. Januar Gruppe 2: TOPCASED
22. Januar 2008 Aufgabenstellung Modellgetriebene Softwareentwicklung auf Basis von am Beispiel eines Seminarverwaltungssystems Ziel Entwicklungsprozess Anforderungen & Codegenerierung Modellierung & Templates
Eclipse Modeling Framework
1 / 14 Eclipse Modeling Framework Stefan Berlik Fachgruppe Praktische Informatik FB 12, Elektrotechnik und Informatik Universität Siegen 14. November 2007 Was ist das Eclipse Modeling Framework (EMF)?
Experiences with Model Driven Software Development Creating the Palladio Tool Chain Eclipse Application Developer Day 7.
Experiences with Model Driven Software Development Creating the Palladio Tool Chain Eclipse Application Developer Day 7. July, 2009 WIR FORSCHEN FÜR SIE Dr.-Ing. Steffen Becker sbecker@fzi.de Abteilungsleiter
PSE: Analysesoftware für Logistiknetzwerke
PSE: Analysesoftware für Logistiknetzwerke Phase 1 Das Pflichtenheft,, Lehrstuhl Prof. Böhm KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu
Projektseminar Modellbasierte Softwareentwicklung SoSe2017
Projektseminar Modellbasierte Softwareentwicklung SoSe2017 Kickoff-Meeting ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dept. of Electrical Engineering and Information Technology Dept. of Computer
Softwaretechnik-Praktikum
Softwaretechnik-Praktikum WS2015/2016 Auftaktveranstaltung (21.10.2015) Christopher Pietsch Michaela Rindt Agenda 1 2 3 4 5 2 / 35 Auftaktveranstaltung (21.10.2015) Teil 1 3 / 35 Auftaktveranstaltung (21.10.2015)
Projektseminar Modellbasierte Softwareentwicklung SoSe2016
Projektseminar Modellbasierte Softwareentwicklung SoSe2016 Kickoff-Meeting ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dept. of Electrical Engineering and Information Technology Dept. of Computer
Wer ich bin Christoph Knauf
Wer ich bin Christoph Knauf xing.com/profile/christoph_knauf2 @C_Knauf christoph.knauf@itemis.de Wer ist itemis? Wer ist itemis? Gegründet 2003 Wer ist itemis? Gegründet 2003 Gründergeführt Wer ist itemis?
Formale Entwicklung objektorientierter Software
Formale Entwicklung objektorientierter Software Praktikum im Wintersemester 2007/2008 Prof. P.H. Schmitt, Dr. Thomas Käufl, Christian Engel, Benjamin Weiß 24. Oktober 2007 Formale Entwicklung objektorientierter
Beispielhaft MDSD in der Praxis. Dr. Shota Okujava shota.okujava@isento.de www.isento.de
Beispielhaft MDSD in der Praxis Dr. Shota Okujava shota.okujava@isento.de www.isento.de Agenda Einführung Softwareentwicklungsprozess und MDSD Technologien und Werkzeuge Demo Entwicklung der Metamodelle
Modellgetriebene Entwicklung einer Eclipse RAP-Anwendung unter Verwendung des Eclipse Modeling Frameworks
Modellgetriebene Entwicklung einer Eclipse RAP-Anwendung unter Verwendung des Eclipse Modeling Frameworks AKWI 2015 Luzern Marco Richter (marco.richter@mnd.thm.de) Melanie Vanderpuye (melanie.vanderpuye@zdh.thm.de)
Modellgetriebene Entwicklungsprozesse in der Praxis - eine Bestandsaufnahme. Tillmann Schall, anaptecs GmbH
Modellgetriebene Entwicklungsprozesse in der Praxis - eine Bestandsaufnahme Tillmann Schall, anaptecs GmbH : Agenda Grundlagen modellgetriebener Entwicklungsprozesse Schritte zur Einführung Erfahrungen
Was ist EMF? Wie wird EMF eingesetzt? Was ist ecore? Das Generatormodell Fazit
Was ist EMF? Wie wird EMF eingesetzt? Was ist ecore? Das Generatormodell Fazit EMF ist ein eigenständiges Eclipse-Projekt (Eclipse Modeling Framework Project) EMF ist ein Modellierungsframework und Tool
Implementierung des Rubik-Würfels für Java-fähige Mobile Geräte
Implementierung des Rubik-Würfels für Java-fähige Mobile Geräte Corporate Design Anla IPD Snelting Dennis Giffhorn, Matthias Braun Forschungszentrum Karlsruhe in der Helmholtz-Gemeinschaft F u Universität
Model Driven Development im Überblick
Model Driven Development im Überblick Arif Chughtai Diplom-Informatiker (FH) www.digicomp-academy, Seite 1 September 05 Inhalt Motivation Überblick MDA Kleines Beispiel Werkzeuge www.digicomp-academy,
OOSE 01 JAVA MIT BLUEJ UND UML-BY-EXAMPLE
OOSE 01 JAVA MIT BLUEJ UND UML-BY-EXAMPLE Nutzung des AMCS (Auditorium Mobile Classroom Service) https://amcs.website Einloggen/Registrieren mit beliebigem Pseudonym Passwort Kurs Softwaretechnologie PIN:
Übersicht Eclipse Modeling Project EMP. Zoltan Horvath
) Schulung ) AUTOR Zoltan Horvath Orientation in Objects GmbH ) Beratung ) Veröffentlicht am: 26.2.2010 ÜBERSICHT ECLIPSE MODELING PROJECT ) Entwicklung ) ) Artikel ) Das Eclipse Modeling Project dient
Potentiale modellgetriebener Softwareentwicklung
Model Driven Software Development Potentiale modellgetriebener Softwareentwicklung Referent: Hartwig Tödter Seite 2 / 23 Inhaltsverzeichnis 1. Grundideen modellgetriebener Softwareentwicklung 2. Vorteile
Projektgruppe. FG Engels. Enthält eine zusätzliche Folie. Fabian Christ, Benjamin Nagel, Henning Wachsmuth. Anmeldung bis 28.
Enthält eine zusätzliche Folie Projektgruppe Fabian Christ, Benjamin Nagel, Henning Wachsmuth FG Engels Bereich SWT Anmeldung bis 28. Februar 2010 28. Januar 2010 1 Softwarespezifikation in der Praxis...
Vorlesung Programmieren
Vorlesung Programmieren 14 Parsen, Suchen und Sortieren 19./26.01.2015 Prof. Dr. Ralf H. Reussner Version 1.0 LEHRSTUHL FÜR SOFTWARE-DESIGN UND QUALITÄT (SDQ) INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION
Einführung in das Eclipse Modeling Framework (EMF)
1 / 14 Einführung in das Eclipse Modeling Framework (EMF) Timo Kehrer Fachgruppe Praktische Informatik FB 12, Elektrotechnik und Informatik Universität Siegen 04. November 2008 Was ist EMF? Eclipse Modeling
Seminar: Software Engineering verteilter Systeme
Seminar: Software Engineering verteilter Systeme Hauptseminar im WS 2010/2011 Programmierung verteilter Systeme Institut für Informatik Universität Augsburg 86135 Augsburg Tel.: +49 821 598-2118 Fax: +49
Institut für Informatik Betriebliche Informationssysteme Graph-basiertes Reengineering
Graph-basiertes Reengineering Seminar Model-Driven Software Development (MDSD) Stefan Sosnicki Agenda 1. Einleitung 2. Begriffsklärung 3. Vorstellung der Werkzeuge 1. Jumli 2. Umodel 3. Fujaba 4. Vergleich
Programmieren ohne Programmierer Das GeneSEZ Generator Framework. Gerrit Beine gerrit.beine@sapat.de
Programmieren ohne Programmierer Das GeneSEZ Generator Framework Gerrit Beine gerrit.beine@sapat.de Vogelperspektive Theorie: Model driven software development Praxis: Konzepte von GeneSEZ Lösungen für
Eclipse Neue Trends in der Eclipse-Technologie (Seminar WS 2013/14)
Eclipse Neue Trends in der Eclipse-Technologie (Seminar WS 2013/14) Gabriele Taentzer, Thorsten Arendt Vorbesprechung, Dienstag, 15. Oktober 2013 ORGANISATION (TEIL 1) 2 Thorsten Arendt: Seminar Eclipse
Software Engineering II
Software Engineering II Wintersemester 12/13 Fachgebiet Software Engineering Allgemeines Entwicklung eines eigenen Diagrammeditors inklusive Interpreter und Codegenerierung Einsatz von Modellen zum Entwickeln
Projektgruppe ACC++: Domänenspezifische Sprachen für Autonomes Fahren
Projektgruppe ACC++: Domänenspezifische Sprachen für Autonomes Fahren Veranstalter: Fadi Jabbour, Falk Howar Lehrstuhl 14 für Software Engineering Stefan Naujokat, Bernhard Steffen Lehrstuhl 5 für Programmiersysteme
TU München, Fakultät für Informatik Lehrstuhl III: Datenbanksysteme Prof. Alfons Kemper, Ph.D.
TU München, Fakultät für Informatik Lehrstuhl III: Datenbanksysteme Prof. Alfons Kemper, Ph.D. Übung zur Vorlesung Einführung in die Informatik 2 für Ingenieure (MSE) Alexander van Renen (renen@in.tum.de)
Vorlesung Programmieren
Vorlesung Programmieren Einführung 26.10.2016 Jun.-Prof. Dr.-Ing. Anne Koziolek Version 1.0 ARBEITSGRUPPE ARCHITECTURE-DRIVEN REQUIREMENTS ENGINEERING (ARE) INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION
Modellierung & Domänen Spezifische Sprachen (DSL)
Modellierung & Domänen Spezifische Sprachen (DSL) Uni Jena, 2013-04-08 Fachgebiet der zu modellierenden Anwendung Aufteilung in Subdomänen möglich, evtl. spezialisierte Modelle/DSLs nötig Neben fachlichen
Definition von domänenspezifischen Sprachen mit Xtext: Einführung. 19. November 2014
Definition von domänenspezifischen Sprachen mit Xtext: Einführung 19. November 2014 Überblick Was ist zu tun, wenn wir selbst einen Ansatz für modellgetriebenen Entwicklung definieren wollen? Anforderungserfassung
Generischer Modellvergleich mit EMF Compare
Fakultät Informatik Hauptseminar Technische Informationssysteme SS2010 Generischer Modellvergleich mit EMF Betreuer: Dipl.-Inf. Uwe Ryssel Dresden, 16.07.2010 Gliederung 1. Motivation 2. Eclipse Modeling
SEW Übung EMFText. 1 Aufgabe. 2 Domänenbeschreibung. 3 Installation von Eclipse/EMFText. 4 Schritt-für-Schritt Anleitung. 4.
SEW Übung EMFText 1 Aufgabe Erstellen Sie eine textuelle Domänenspezifische Sprache Domain-specific Language (DSL) mit dem Werkzeug EMFText. Die Sprache soll dazu dienen Formulare (Fragen, Antworttypen
Current Workflow. formatted. Rules. Extensions. Rules. DOM processing with Meta API-calls. Code Generation (Smarty) XMLfile. Source code.
Current Workflow Rules T1 Rules Extensions XMLfile DOM processing with Meta API-calls Model 1 T2 Model 2 Code Generation (Smarty) Source code PP formatted sourcecode DTD V1 Rules XMI 1/21 Anbindung eines
11.3 Sicherheitsmodellierung
11.3 Sicherheitsmodellierung Funktionale Anforderungen Bedrohungsanalyse Risikoanalyse Modellierung Sicherheitsstrategie Systemmodell Sicherheitsmodell Entwurf Architektur Sicherheitsarchitektur ITS-11.3
Algorithmen für Ad-hoc- und Sensornetze
Algorithmen für Ad-hoc- und Sensornetze Übung 1 Leader Election Fabian Fuchs 27. Oktober 2015 (Version 1) INSTITUT FÜR THEORETISCHE INFORMATIK - LEHRSTUHL FÜR ALGORITHMIK (PROF. WAGNER) KIT Universität
Plugin Challenges. von der Idee zur Umsetzung. Slides: http://demo.sosere.com/wchh14. Arthur Kaiser
Plugin Challenges von der Idee zur Umsetzung Slides: http://demo.sosere.com/wchh14 Arthur Kaiser Arthur Kaiser Dipl. Inform. & M.Sc. 10+ Jahre PHP Fachbuchautor Software-Entwicklung Community-Analyse &
Übung Einführung in die Softwaretechnik
Lehrstuhl für Informatik 3 RWTH Aachen Übung Einführung in die Softwaretechnik Lösungshinweise zum Übungsblatt 12 Aufgabe 28 Sichtbarkeits-Symbol UML Java + public # protected private (default) Sichtbar
Einführung in das Graphical Modeling Framework. 13. November 2012
Einführung in das Graphical Modeling Framework 13. November 2012 100 Überblick Was ist der Unterschied zwischen abstrakter Syntax und konkreter Syntax? Welche Arten von graphischen Editoren gibt es? Freihandeditoren
Validation und Quick Fixing mit Xtend. 3. Dezember 2014
Validation und Quick Fixing mit Xtend 3. Dezember 2014 175 Überblick Tuning der Xtext-generierten Editoren Validierung mit OCL auf der abstrakten Syntax mit Xtend auf der konkreten Syntax Quick Fixes mit
Praxis der Softwareentwicklung WS 2016/17
Praxis der Softwareentwicklung WS 2016/17 Prof. Dr. Gregor Snelting LEHRSTUHL PROGRAMMIERPARADIGMEN 0 27. Oktober 2016- Praxis der Softwareentwicklung WS 2016/17 LEHRSTUHL PROGRAMMIERPARADIGMEN KIT Die
Prof. Dr. Gabriele Taentzer, Dr. Thorsten Arendt
Neue Trends in der Eclipse-Technologie (Seminar WS 2015/16) Prof. Dr. Gabriele Taentzer, Dr. Thorsten Arendt Vorbesprechung, Mittwoch, 14. Oktober 2015 ORGANISATION (TEIL 1) 2 Thorsten Arendt: Seminar
Thema 5 Domain Specific Languages
SE Vertiefung Beuth-Hochschule Berlin Thema 5 Domain Specific Languages MOF-Schichten (c) schmiedecke 11 SE3-5-metamodellierung 2 Was ist eine DSL? Domain Specific Language: Sprache zur Beschreibung (Modellierung)
Vorlesung Programmieren
Vorlesung Programmieren 11 Rekursion Jun.-Prof. Dr.-Ing. Anne Koziolek Version 1.1 ARBEITSGRUPPE ARCHITECTURE-DRIVEN REQUIREMENTS ENGINEERING (ARE) INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION
Bridging Microsoft Oslo and Eclipse EMF
Bridging Microsoft Oslo and Eclipse EMF Seminar Modellgetriebene Softwareentwicklung Abschlusspräsentation Stanley Hillner Microsoft Codename Oslo Microsofts neuestes Werkzeug für MDSD Heißt jetzt MS SQL
Modellgetriebene Softwareentwicklung: Zusammenfassung und Ausblick. 7. Februar 2013
Modellgetriebene Softwareentwicklung: Zusammenfassung und Ausblick 7. Februar 2013 Überblick Zusammenfassung: Generell: Konzepte der Softwaretechnik im Kontext der modellgetriebenen Entwicklung Diskussion
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
Anwendungsentwicklung mit Hilfe modellgetriebener Softwareentwicklung. Aus der Praxis!
Anwendungsentwicklung mit Hilfe modellgetriebener Softwareentwicklung Aus der Praxis! Ziel dieses Vortrags Überblick Model Driven Software Development (MDSD) Einsatzgebiete und Grenzen von MDSD Was ist
Nicolai Josuttis. SOA in der Praxis. System-Design für verteilte Geschäftsprozesse. dpunkt.verlag
Nicolai Josuttis SOA in der Praxis System-Design für verteilte Geschäftsprozesse dpunkt.verlag Vorwort ix 1 Motivation 1 1.1 Kennzeichen großer Systeme 3 1.2 Das Märchen vom»magischen Bus«5 1.3 Was man
Modellgetriebene Softwareentwicklung (Model Driven Software Development - MDSD) SS 2014
Modellgetriebene Softwareentwicklung (Model Driven Software Development - MDSD) SS 2014 Wahlpflichtfach (2 SWS) für Bachelor Andreas Schmidt Einführung/Organisation 1/19 Ziele der Vorlesung Vorstellung
Formale Spezifikation mit Java Modeling Language
Formale Spezifikation mit Java Modeling Language Daniel Bruns Praxis der Software-Entwicklung, 25 November 2010 INSTITUT FÜR THEORETISCHE INFORMATIK KIT Universität des Landes Baden-Württemberg und nationales
Software Factories SS 2016. Prof. Dr. Dirk Müller. 3 Modellgetriebene Softwareentwicklung
Software Factories 3 Modellgetriebene Softwareentwicklung Prof. Dr. Dirk Müller Übersicht Einordnung im Lebenszyklus Ziele Hebung des Abstraktionsniveaus Model Driven Architecture (MDA) Domänenspezifische
Model-Driven Development in der Praxis. mit objectif. Herzlich willkommen
Model-Driven Development in der Praxis mit objectif Herzlich willkommen Die Themen: microtool stellt sich vor live Model-Driven Development die Grundlagen Model-Driven Development von Web-Anwendungen in
Campus-Routenplaner. Praxis der Software-Entwicklung. Einführung 31. Oktober 2018 Lars Gottesbüren Sascha Gritzbach Michael Hamann
Campus-Routenplaner Praxis der Software-Entwicklung Einführung 31. Oktober 2018 Lars Gottesbüren Sascha Gritzbach Michael Hamann INSTITUT FÜR THEORETISCHE INFORMATIK LEHRSTUHL ALGORITHMIK KIT Die Forschungsuniversität
Erfolg MDSD. Scheitern
Erfolg Nische MDSD Standard Scheitern MDSD Kurze Einführung/Wiederholung MDSD-Umfrage Teil I Live-Demo Modellierungs- Werkzeuge MDSD-Umfrage Teil II MDSD In a Nutshell Mental Model of the Software Different
OOAD in UML. Seminar Software-Entwurf B. Sc. Sascha Tönnies
OOAD in UML Seminar Software-Entwurf B. Sc. Sascha Tönnies Agenda 1. Einordnung des Themas im Seminar 2. UML kompakt 3. UML detailliert 4. Werkzeugunterstützung 2 Einordnung des Themas UML Hilfsmittel
Seminar: Software Engineering verteilter Systeme
Seminar: Software Engineering verteilter Systeme Hauptseminar im Sommersemester 2011 Programmierung verteilter Systeme Institut für Informatik Universität Augsburg 86135 Augsburg Tel.: +49 821 598-2118
Migration von Integrationsplattformen
Migration von Integrationsplattformen Präsentation beim Java Forum Stuttgart 17. Juli 2014 NovaTec Consulting GmbH Leinfelden-Echterdingen, München, Frankfurt am Main, Berlin, Jeddah / Saudi-Arabien Vorstellung
Wiederverwendung von Transformationen
Wiederverwendung von Transformationen Thorsten Pohl Lufthansa TechnikAG Weg beimjäger 192 22335Hamburg thorsten.pohl@lht.dlh.de Abstract: Wiederverwendung ist in der Softwareentwicklung ein großes Thema.
Entwicklung interaktiver Systeme mit Hilfe von Model Based User Interface Development und HCI Patterns
Entwicklung interaktiver Systeme mit Hilfe von Model Based User Interface Development und HCI Patterns Roland Petrasch Fachbereich VI, Forschungsschwerpunkt Software-Engineering Abstract deutsch Der modellgetriebene
Eclipse Neue Trends in der Eclipse-Technologie (Seminar WS 2012/13) Gabriele Taentzer, Thorsten Arendt
Eclipse Neue Trends in der Eclipse-Technologie (Seminar WS 2012/13) Gabriele Taentzer, Thorsten Arendt ORGANISATION (TEIL 1) 2 Thorsten Arendt: Seminar Eclipse Organisation des Seminars Umfang: 2 SWS,
Praxis der Softwareentwicklung
Praxis der Softwareentwicklung WS 2013/2014 Prof. Dr. Gregor Snelting LEHRSTUHL 0 KIT 22. Universität Oktober des 2013 Landes Baden-Württemberg Praxis der Softwareentwicklung und WS 2013/2014 LEHRSTUHL
Prof. Dr. Gabriele Taentzer, Dr. Thorsten Arendt
Neue Trends in der Eclipse-Technologie (Seminar WS 2014/15) Prof. Dr. Gabriele Taentzer, Dr. Thorsten Arendt Vorbesprechung, Dienstag, 14. Oktober 2014 ORGANISATION (TEIL 1) 2 Thorsten Arendt: Seminar
AGEDIS Methode und Werkzeuge. 1. Was ist AGEDIS 2. Die AGEDIS Methode 3. Architektur / Werkzeuge 4. Fazit
AGEDIS Methode und Werkzeuge Gliederung: 1. Was ist AGEDIS 2. Die AGEDIS Methode 3. Architektur / Werkzeuge 4. Fazit A G E D I S Automated Generation and Execution of test suites for DIstributed component
Anwendungsorientierte Formale Verifikation
Anwendungsorientierte Formale Verifikation Bernhard Beckert 1 KIT 21.10.15 Universität des B. Landes Beckert Baden-Württemberg - Anwendungsorientierte und Formale Verifikation nationales Forschungszentrum