Projektseminar Softwaresysteme
|
|
- Frieder Schumacher
- vor 6 Jahren
- Abrufe
Transkript
1 Projektseminar Softwaresysteme Themenvorstellung und Kick-Off Wintersemester 2015/16 Géza Kulcsár ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dept. of Electrical Engineering and Information Technology Dept. of Computer Science (adjunct Professor)
2 Überblick Für welche Studiengänge von Interesse ETiT, DT, IST, Informatik Arbeitsaufwand 8CP 8 * 30 Stunden Webseite der Veranstaltung Ziele Praxisorientierte Erfahrungen in der Softwareentwicklung Einblick in Modellierungs- und modellbasierten Softwareentwicklungstechniken 2 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
3 Thema 1 Erweiterung eines graphbasierten Java-Refactoring- Rahmenwerks Betreuer: Géza Kulcsár 3 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
4 Program (Co-)Evolution: Initializing the PG In this step, Java source code is transformed into a corresponding graph-based representation, called Program Graph (PG) 4 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
5 Program (Co-)Evolution: Program Changes After initializing the PG, one might perform: a) graph-based refactorings on the PG b) changes in the code base 5 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
6 Program (Co-)Evolution: Synchronization Requirements: For initialization: consistent transformations into both directions Triple Graph Grammars, For consistency a transformation during specification co-evolution: language, automated provide and all incremental these (i.e., deltadependent) synchronization 6 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
7 Program Graph Class B Class C m(int): int Class D m(int): int 7 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
8 Refactoring: Pull Up Method (Fowler, 2000) PG transformations are typically automated in nature note that PG modifications do not have the same expressive power as program edits Usually rule-based, e.g., refactoring The decision Class if the A two method implementations are equivalent is left to the user (equivalence is not decidable in general) Class A m(int): int Class B Class C Class B Class C m(int): int m(int): int 8 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
9 Specifying PUM by Graph Transformation parent: TClass child1: TClass child2: TClass def1: TMethodDef def2: TMethodDef signature: TMethodSignature 9 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
10 Room for Improvement 1: Refactorings The standard catalogue for objectoriented refactoring operations Provides only informal specifications In the book: only an intuitive description of the context and purpose of the listed refactoring operations 10 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
11 Room for Improvement 2: Supported Java Features Input: restricted Java 1.4 programs Excluded: access modifiers (everything is public), interfaces, exception handling, abstract, static, final, esoteric classes, multi-threading 11 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
12 Thema 2 Erweiterung von emoflon um abgeleitete Attribute Betreuer: Roland Kluge 12 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
13 emoflon Ein Tool zur Statischen Modellierung (mittels Ecore) Ecore Diagram de.tudarmstadt.maki.modeling.graphmodel «EClass» GraphElement - id: EString - missingstringattributevalue: EString = "No such string... - missingdoubleattributevalue: EDouble = missingeobjectattributevalue: EJavaObject + setstringattribute(estring, EString): void + setdoubleattribute(estring, EDouble): void + setobjectattribute(estring, EJavaObject): void + getstringattribute(estring): EString + getdoubleattribute(estring): EDouble + getobjectattribute(estring): EJavaObject + tostring(): EString Klassen Attribute Methoden +reverseedge 0..1 «EClass» Edge +incomingedges 0..* + isreverseedgeof(edge): EBoolean +outgoingedges + tostring(): EString 0..* +target 1 «EClass» Node +source + tostring(): EString + getoutdegree(): EInt 1 + getindegree(): EInt + getdegree(): EInt 13 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
14 emoflon Ein Tool zur Dynamischen Modellierung (= Methodenimplementierung mittels Graphtransformationen) SDM Diagram run Story Diagram IncrementalKTC::run (graph: Graph): void Methodenaufrufe SelectNextUnclassifiedLink Graph Patterns EliminateMatchesOfNACs BindThis EnforceConstraints this.enforceconstraints(graph) graph : Graph +edges +graph [Success] this.eliminatematchesofnacs( unclassifiedlink) unclassifiedlink : KTCLink state == LinkState.UNCLASSIFIED [Failure] Kontrollfluss ActivateLink this.activatelink(unclassifiedlink) [Success] [Failure] [Failure] [Success] InactivateLink this.inactivatelink(unclassifiedlink) 14 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
15 emoflon Ein Tool zur Eclipse Codegenerierung (hier: Java) 15 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
16 Abgeleitete Attribute Motivation «EClass» Node = energy / power - remainingenergy: EDouble - currenttranmissionpower: EDouble - /estimatedremaininglifetime: EDouble - /estimatedtransmissionradius: EDouble = Math.sqrt(power) Ziel: Erweiterung von emoflon um abgeleitete Attribute. Betrachtung existierender Ansätze (z.b. IncQuery, ) Modellierung von abgeleiteten Attributen in Enterprise Architect Erweiterung des Enterprise Architect-zu-Eclipse-Export Erweiterung der Codegenerierung in Eclipse 16 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
17 Zusammenfassung Ziel: Erweiterung von emoflon um abgeleitete Attribute. Voraussetzungen fundierte Java-Kenntnisse (optional) Grundlagen in C# (optional) Grundlagen in EMF (optional) Erfahrung mit Eclipse Plugin-Entwicklung Dein Erfahrungsgewinn durch das Projekt Praktische Erfahrungen sammeln in Modellbasierter Softwareentwicklung (Modellierung, Modelltransformation, Codegenerierung, EMF/Ecore) Eclipse Plugin-Entwicklung Erweiterung eines professionellen Modellierungstools Deine Ergebnisse werden von emoflon-nutzern genutzt! 17 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
18 Thema 3 Implementierung eines graphischen Modellierungswerkzeugs zur Spezifikation von kardinalitätsbasierten Feature-Modellen Betreuer: Markus Weckesser 18 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
19 Selbst-adaptive Multi-Agenten Systeme Variabilität spezifiziert in Feature Modell 19 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
20 Kardinalitätsbasierte Feature-Modelle Feature Instance Cardinality Feature Node is potentially unbounded Group Type Cardinality At least 2 features and at most 3 feature types are to be present in group Group Instance Cardinality Instances of features Low Latency, High Throughput are to be at least 1 and at most 30 times in group channel /10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
21 Aufgabe - Entwurf eines Meta-Modells für erweiterte Feature Modelle (in Kooperation mit Analyse-Team) - Implementierung eines Visualisierungswerkzeugs für Feature Modelle - Erweitern der Visualisierung um Editor-Funktionalität - Implementierung einer Möglichkeit zur Darstellung von Analyseergebnissen in Editor 21 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
22 Thema 4 Analyse von Feature-Modellen Betreuer: Johannes Bürdek und Markus Weckesser 22 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
23 Software-Produktline: DCU DCU Variant 1 DCU Variant 2 DCU Variant 3 DCU Variant 4 Gantry Treatment Room [Image Source: Universitätsklinikum Heidelberg] 23 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
24 Feature-Modelle DCU Master Parameter MeasuringMode RtbTimingEn ErrorMonEn AddRtbDelayTime LowCurrentTimer Name Mode 4 Mode 3 Mode 2 Mode 1 Mode 0 RefValueTHoldMax TimeoutFeedback DelayTimeFeedback DCU DCU Master Parameter DCU Type Z SD DC DC Ramped P T TS Device Control Unit DCU Type Parameter Device Control Parameter Checksum Version DelayTimeActivate BeamRequest TakeOverRefValues EnableShutdown EnableSwitchOn SAT Solver Operation Mode Device Controller Type b b Timing Master Parameter Quality Assurance Adjustment Experiment Standby Therapy Manual 24 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung Idle Z SD Device Control <req> b <req> Ramped b P T TS EnableGenRTB MasterClock EnableSync SupplyFrequence <req> <req> RK RB R <excl> FM Analysen: - Dead/Core Feature - Erfüllbarkeit -
25 Aufgabe - API für Standard-Feature-Modell-Analysen implementieren - Analysen erweitern - Behandeln von Attributen (nicht-boolsche Features) - Behandeln von Kardinalitäten - Auf Basis von SMT-Solvern - Z3 - SMT-Lib 25 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
26 Thema 5 Entwicklung einer Spezifikationssprache für einen Smart-Home Simulator Betreuer: Erhan Leblebici 26 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
27 Entwicklung einer Spezifikationssprache für einen Smart-Home Simulator Step 1: The user identifies himself or herself with an RFID chip. Step 2: The system authenticates the user and gets their preferences from the cloud-based server. Step 3: The matchmaker determines the best settings for this person and all devices in the house that allow personalisation. Import & Export 27 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
28 Entwicklung einer Spezifikationssprache für einen Smart-Home Simulator Step 1: The user identifies himself or herself with an RFID chip. Step 2: The system authenticates the user and gets their preferences from the cloud-based server. Step 3: The matchmaker determines the best settings for this person and all devices in the house that allow personalisation. Eigene Spezifikationssprache Import & Export 28 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
29 Entwicklung einer Spezifikationssprache für einen Smart-Home Simulator Step 1: The user identifies himself or herself with an RFID chip. Step 2: The system authenticates the user and gets their preferences from the cloud-based server. Step 3: The matchmaker determines the best settings for this person and all devices in the house that allow personalisation. Eigene Spezifikationssprache Import & Export 29 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
30 Entwicklung einer Spezifikationssprache für einen Smart-Home Simulator Wir bieten Einarbeitung in - Smart-Home Anwendungsszenarien / Simulation - Eclipse Modeling Framework - Xtext - emoflon Tripel-Graph-Grammatiken Du hast solide Kenntnisse in - Java - UML (Klassen- und Objektdiagramme) Und du hast Interesse an - Modellgetriebener Softwareentwicklung - Forschungstools ausprobieren 30 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
31 Thema 6 Konzeption eines Smart-Grid Szenarios für das Software-Praktikum Betreuer: Dr. Malte Lochau Markus Weckesser Bildquelle: /10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
32 Konzeption eines Smart-Grid Szenarios für das Software-Praktikum: Szenario Szenario zur effizienten und ausfallsicheren Regelung von Stromnetzen Ein prototypisches Datenmodell zur Repräsentation von Szenarien in Form von gewichteten Graphen existiert bereits: Knoten = Konsumenten oder Produzenten Kanten = Leitungen Ziel des Spiels: möglichst günstige aber dennoch stabile Energieversorgung! 32 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
33 Aufgabe - Konzeption des Szenarios: Berücksichtigung der Spieldynamik und der didaktischen Rahmenbedingungen - In Kooperation mit dem Fachgebiet E5 Prof. Hanson (Regelmäßige Austauschtreffen & Feedback-Runden!) - Dokumentation in Form einer Spielanleitung - Unterstützung bei der Entwicklung des Rahmenwerks für die die Umsetzung des Szenarios 33 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
34 Nächste Schritte Themenfindung: Mail an bis (Donnerstag) Betreff: Themenwahl Softwaresysteme Inhalt: Vorname, Nachname Matrikelnummer Studiengang Themenwahl mit absteigender Priorität (1 = erste Wahl, 2 = zweite Wahl, ) Team: Solo oder den Namen eures Teampartners Ohne Themenwahl ist keine Teilnahme möglich! Bekanntgabe der Zuteilung: (Freitag) 34 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
35 Nächste Schritte Regelmäßige Treffen mit dem Betreuer Inhalt, Format und Abgabetermin wird vom Betreuer und den Studenten bestimmt Optional: Zwischenvortrag Abschlussvortrag am Ende der Arbeit 35 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
36 Rückblick: Themen zur Auswahl (1) Erweiterung eines graph-basierten Java-Refactoring-Rahmenwerks (2) Erweiterung von emoflon um abgeleitete Attribute (3) Implementierung eines graphischen Modellierungswerkzeugs zur Spezifikation von kardinalitätsbasierten Feature-Modellen (4) Analyse von Feature-Modellen (5) Entwicklung einer Spezifikationssprache für einen Smart-Home Simulator (6) Konzeption eines Smart-Grid Szenarios für das Software-Praktikum 36 13/10/2015 PS Softwaresysteme Kickoff und Themenvorstellung
Projektseminar Softwaresysteme
Projektseminar Softwaresysteme Themenvorstellung und Kick-Off Sommersemester 2015 Géza Kulcsár geza.kulcsar@es.tu.darmstadt.de ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dept. of Electrical
MehrProjektseminar Modellbasierte Softwareentwicklung SoSe2014
Projektseminar Modellbasierte Softwareentwicklung SoSe2014 Kickoff-Meeting ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dr. Gergely Varró, Anthony Anjorin, Erhan Leblebici {gergely.varro, anthony.anjorin,erhan.leblebici}@es.tu-darmstadt.de
MehrProjektseminar Modellbasierte Softwareentwicklung SoSe2014
Projektseminar Modellbasierte Softwareentwicklung SoSe2014 Aufgabenvorstellung und erste Schritte ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dr. Gergely Varró, Anthony Anjorin, Erhan Leblebici
MehrES-Projektseminar (SS 2012)
ES-Projektseminar (SS 2012) Endvortrag Team Justice League of America Dominik Matthias [Team ] Pascal Stephen Vorname Name; ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dept. of Electrical
MehrAlgorithms for graph visualization
Algorithms for graph visualization Project - Orthogonal Grid Layout with Small Area W INTER SEMESTER 2013/2014 Martin No llenburg KIT Universita t des Landes Baden-Wu rttemberg und nationales Forschungszentrum
MehrEtherNet/IP Topology and Engineering MPx06/07/08VRS
EtherNet/IP Topology and Engineering MPx06/07/08VRS 3 1. Engineering via free EtherNet/IPTM-Port of a device on Bus from MPx07V10 2. Engineering via optional Industrial-Ethernet-Switch 3. Engineering via
MehrMotivation 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
MehrSymbio system requirements. Version 5.1
Symbio system requirements Version 5.1 From: January 2016 2016 Ploetz + Zeller GmbH Symbio system requirements 2 Content 1 Symbio Web... 3 1.1 Overview... 3 1.1.1 Single server installation... 3 1.1.2
MehrEMF-GMF-Tutorial: Petrinet
EMF-GMF-Tutorial: Petrinet Petrinet-Metamodell anlegen 1. File/New/Other: Empty EMF Project Project Name: de.upb.agengels.se.petrinet 2. Rechtsklick auf model-verzeichnis => New/Other: Ecore Diagram Domain
MehrES-Projektseminar (SS 2012)
ES-Projektseminar (SS 2012) Endvortrag Simulator 2012 Team 4: Simulator (Geisterfahrer) Michael Alekseew, Sebastian Focke, Philipp Schillinger, David Winter ES Real-Time Systems Lab Prof. Dr. rer. nat.
MehrEinführung in das Eclipse Modeling Framework. 5. November 2014
Einführung in das Eclipse Modeling Framework 5. November 2014 Überblick Einführung in das Eclipse Modeling Framework: zur objektorientierten Modellierung von Datenstrukturen Welcher Teil einer mobilen
Mehrp^db=`oj===pìééçêíáåñçêã~íáçå=
p^db=`oj===pìééçêíáåñçêã~íáçå= Error: "Could not connect to the SQL Server Instance" or "Failed to open a connection to the database." When you attempt to launch ACT! by Sage or ACT by Sage Premium for
MehrSpecifying Patterns for Dynamic Pattern Instance Recognition with UML 2.0 Sequence Diagrams. Lothar Wendehals. Universität Paderborn
Specifying Patterns for Dynamic Pattern Instance Recognition with UML 2.0 Sequence Diagrams Lothar Wendehals 6. Workshop Software-Reengineering Bad Honnef, 3. - 5. Mai 2004 Motivation Unterstützung des
MehrHenshin: Modelltransformationen in EMF. Dr. Thorsten Arendt Marburg, 29. Oktober 2015
Henshin: Modelltransformationen in EMF Dr. Thorsten Arendt Marburg, 29. Oktober 2015 Überblick Modelltransformationen Einführung in Henshin Modelle im Eclipse Modeling Framework Transformationskonzepte
MehrDATA ANALYSIS AND REPRESENTATION FOR SOFTWARE SYSTEMS
DATA ANALYSIS AND REPRESENTATION FOR SOFTWARE SYSTEMS Master Seminar Empirical Software Engineering Anuradha Ganapathi Rathnachalam Institut für Informatik Software & Systems Engineering Agenda Introduction
MehrProjektseminar Softwaresysteme
Projektseminar Softwaresysteme Themenvorstellung und Kick-Off Sommersemester 2017 Géza Kulcsár geza.kulcsar@es.tu.darmstadt.de ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dept. of Electrical
MehrSoftwaretechnik WS 16/17. Übungsblatt 01
Softwaretechnik WS 16/17 Übungsblatt 01 Was ist eine Klasse? Definition der Object Management Group: A class describes a set of objects that share the same specifications of features, constraints, and
MehrEinsatz einer Dokumentenverwaltungslösung zur Optimierung der unternehmensübergreifenden Kommunikation
Einsatz einer Dokumentenverwaltungslösung zur Optimierung der unternehmensübergreifenden Kommunikation Eine Betrachtung im Kontext der Ausgliederung von Chrysler Daniel Rheinbay Abstract Betriebliche Informationssysteme
MehrSeminar: 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
MehrSensIDL Modellgetriebene Entwicklung von Sensorschnittstellen mit SensIDL
SensIDL Modellgetriebene Entwicklung von Sensorschnittstellen mit SensIDL C. Rathfelder - Modellgetriebene Entwicklung von Sensorschnittstellen mit SensIDL 1 Bildrechte: Sayda Pischinger, Creative Commons
MehrSoftware Engineering II
Software Engineering II Codegenerierung für den SmartIO Editor mit der Modeling Workflow Engine Wintersemester 10/111 Fachgebiet Software Engineering Albert Zündorf / Wiederholung Bisher im Laufe des Semesters
MehrH Mcast Future Internet made in Hamburg?
H Mcast Future Internet made in Hamburg? Thomas Schmidt (HAW Hamburg) schmidt@informatik.haw-hamburg.de Forschungsschwerpunkt: IMS Interagierende Multimediale Systeme 1 Prof. Dr. Thomas Schmidt http://www.haw-hamburg.de/inet
MehrNEWSLETTER. FileDirector Version 2.5 Novelties. Filing system designer. Filing system in WinClient
Filing system designer FileDirector Version 2.5 Novelties FileDirector offers an easy way to design the filing system in WinClient. The filing system provides an Explorer-like structure in WinClient. The
MehrThomas Schissler MVP Visual Studio ALM, artiso AG
Thomas Schissler MVP Visual Studio ALM, artiso AG Kurs-Übersicht Moderne Softwareentwicklung 01 Überblick Was macht moderne Software-Entwicklung aus? 02 Projektmanagement Wie funktioniert modernes Projektmanagement
MehrUSB -> Seriell Adapterkabel Benutzerhandbuch
USB -> Seriell Adapterkabel Benutzerhandbuch 1. Produkt Eigenschaften 1 2. System Vorraussetzungen 1 3. Treiber Installation (Alle Windows Systeme) 1 4. Den COM Port ändern 2 5. Einstellen eines RS232
MehrSeminar: 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
Mehriid software tools QuickStartGuide iid USB base driver installation
iid software tools QuickStartGuide iid software tools USB base driver installation microsensys Nov 2016 Introduction / Einleitung This document describes in short form installation of the microsensys USB
MehrInformationen zur Oracle DB SE2
Informationen zur Oracle DB SE2 Dipl.-Inf. Karin Patenge Leitende Systemberaterin Stand der Bearbeitung: 23. September 2015 Copyright 2014 Oracle and/or its affiliates. All rights reserved. Safe Harbor
MehrHazards and measures against hazards by implementation of safe pneumatic circuits
Application of EN ISO 13849-1 in electro-pneumatic control systems Hazards and measures against hazards by implementation of safe pneumatic circuits These examples of switching circuits are offered free
MehrEEX Kundeninformation 2007-09-05
EEX Eurex Release 10.0: Dokumentation Windows Server 2003 auf Workstations; Windows Server 2003 Service Pack 2: Information bezüglich Support Sehr geehrte Handelsteilnehmer, Im Rahmen von Eurex Release
MehrCreating OpenSocial Gadgets. Bastian Hofmann
Creating OpenSocial Gadgets Bastian Hofmann Agenda Part 1: Theory What is a Gadget? What is OpenSocial? Privacy at VZ-Netzwerke OpenSocial Services OpenSocial without Gadgets - The Rest API Part 2: Practical
MehrGeneral info on using shopping carts with Ogone
Inhaltsverzeichnisses 1. Disclaimer 2. What is a PSPID? 3. What is an API user? How is it different from other users? 4. What is an operation code? And should I choose "Authorisation" or "Sale"? 5. What
MehrHandbuch für die Erweiterbarkeit
Handbuch für die Erweiterbarkeit Inhalt Pakete für die Erweiterbarkeit... 2 Actions... 2 Items... 2 Itemset... 2 Die UseCaseNewAction... 3 Eigene Shapes... 4 Der Shape Container... 5 User Objects... 6
MehrFeaturemodellbasiertes und kombinatorisches Testen von Software-Produktlinien
Featuremodellbasiertes und kombinatorisches Testen von Software-Produktlinien Sebastian Oster, Philipp Ritter, Andy Schürr Sebastian Oster oster@es.tu-darmstadt.de Tel.+49 6151/16-3776 ES Real-Time Systems
MehrProduktänderung EPCOS DeltaCap Kondensatoren für die Blindleistungskompensation
06.03.2015 Produktänderung EPCOS DeltaCap Kondensatoren für die Blindleistungskompensation Bei einigen EPCOS DeltaCap TM Leistungskondensatoren der Baureihen B32300A* und B32303A* für die Blindleistungskompensation
MehrSymbolic Methods for the Verification of Software Models
Symbolic Methods for the Verification of Software Models DISSERTATION submitted in partial fulfillment of the requirements for the degree of Doktor/in der technischen Wissenschaften by Magdalena Widl Registration
MehrIsabel Arnold CICS Technical Sales Germany Isabel.arnold@de.ibm.com. z/os Explorer. 2014 IBM Corporation
Isabel Arnold CICS Technical Sales Germany Isabel.arnold@de.ibm.com z/os Explorer Agenda Introduction and Background Why do you want z/os Explorer? What does z/os Explorer do? z/os Resource Management
MehrTalkIT: Internet Communities Tiroler Zukunftsstiftung Donnerstag, 22. 4. 2010
TalkIT: Internet Communities Tiroler Zukunftsstiftung Donnerstag, 22. 4. 2010 Reinhard Bernsteiner MCiT Management, Communication & IT MCI MANAGEMENT CENTER INNSBRUCK Universitätsstraße 15 www.mci.edu
MehrI-Q SCHACHT & KOLLEGEN QUALITÄTSKONSTRUKTION GMBH ISO 26262:2011. Tabellen mit ASIL Zuordnungen
I-Q SCHACHT & KOLLEGEN QUALITÄTSKONSTRUKTION GMBH ISO 26262:2011 Tabellen mit ASIL Zuordnungen 1. Die Tabellen in der Norm (mit ASIL Zuordnung) Ein wesentlicher Bestandteil der Norm sind die insgesamt
MehrProjektseminar Mobilkommunikation Projektseminar MIKS
Projektseminar Mobilkommunikation Projektseminar MIKS Sommersemester 2013 Umfang Ablauf Themenvorstellung - 1 - Umfang Für Bachelor Informatik: 6. Semester Wahlpflichtmodul Mobilkommunikation 4 SWS, 5
MehrBedienungsanleitung. User Manual
Bedienungsanleitung Seite: -3 User Manual LightmaXX 5ive STAR LED LIG0009669-000 Page: 4-5 Lieber Kunde, vielen Dank das Sie sich für ein Produkt von LightmaXX entschieden haben. In der folgenden Anleitung
MehrIntegration of D-Grid Sites in NGI-DE Monitoring
Integration of D-Grid Sites in NGI-DE Monitoring Steinbuch Centre for Computing Foued Jrad www.kit.edu D-Grid Site Monitoring Status! Prototype D-Grid Site monitoring based on Nagios running on sitemon.d-grid.de
MehrWas 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
MehrJPlus Platform Independent Learning with Environmental Information in School
JPlus Platform Independent Learning with Environmental Information in School Mario Härtwig, Pierre Karrasch Salzburg, 7. Juli 2010 Genesis Umweltmonitoring als Beitrag zur Umweltbildung an Schulen. Kulturlandschaftsentwicklung
Mehr46 Softwarearchitektur mit dem Quasar-Architekturstil
46 Softwarearchitektur mit dem Quasar-Architekturstil Prof. Dr. U. Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik Lehrstuhl Softwaretechnologie http://st.inf.tu-dresden.de
MehrFrontend Migration from JSP to Eclipse Scout
Frontend Migration from JSP to Eclipse Scout Peter Nüdling Raiffeisen Schweiz Jérémie Bresson, Peter Barthazy BSI Business Systems Integration AG Eclipse Finance Day, Zürich, 31. Oktober 2014 Seite 1 WebKat:
MehrSemTalk Services. SemTalk UserMeeting 29.10.2010
SemTalk Services SemTalk UserMeeting 29.10.2010 Problemstellung Immer mehr Anwender nutzen SemTalk in Verbindung mit SharePoint Mehr Visio Dokumente Viele Dokumente mit jeweils wenigen Seiten, aber starker
MehrSoftware-Refactoring. 29. Mai 2013
Software-Refactoring 29. Mai 2013 Überblick Was ist Refactoring und wozu dient es? Welche Refactorings gibt es? Refactoring-Katalog: www.refactoring.com Wann, wo und wie führt man Refactorings durch? Wie
MehrKomponentenbasierte Softwareentwicklung
Seminar WS04 Komponentenbasierte Softwareentwicklung Karl Pauls Software-Komponente A software component is a unit of composition with contractually specified interfaces and explicit context dependencies
Mehr1.3 Charakteristische Eigenschaften von objektorientierten Systemen
1.3 Charakteristische Eigenschaften von objektorientierten Systemen Einkapselung (Encapsulation) Geheimhaltungsprinzip (Information / Implementation hiding) Persistenz (State retention) Objektidentität
MehrA Brief Introduction to Functional Safety
Who Am I? Name: Profession: Department: Field of Work: Background: Research: Email: Uwe Creutzburg Professor at University of Applied Sciences, Stralsund, Germany Electrical Engineering and Computer Science
MehrPresentation of a diagnostic tool for hybrid and module testing
Presentation of a diagnostic tool for hybrid and module testing RWTH Aachen III. Physikalisches Institut B M.Axer, F.Beißel, C.Camps, V.Commichau, G.Flügge, K.Hangarter, J.Mnich, P.Schorn, R.Schulte, W.
MehrVorlesung 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)
MehrThe process runs automatically and the user is guided through it. Data acquisition and the evaluation are done automatically.
Q-App: UserCal Advanced Benutzerdefinierte Kalibrierroutine mit Auswertung über HTML (Q-Web) User defined calibration routine with evaluation over HTML (Q-Web) Beschreibung Der Workflow hat 2 Ebenen eine
MehrCustomer-specific software for autonomous driving and driver assistance (ADAS)
This press release is approved for publication. Press Release Chemnitz, February 6 th, 2014 Customer-specific software for autonomous driving and driver assistance (ADAS) With the new product line Baselabs
Mehrmiditech 4merge 4-fach MIDI Merger mit :
miditech 4merge 4-fach MIDI Merger mit : 4 x MIDI Input Port, 4 LEDs für MIDI In Signale 1 x MIDI Output Port MIDI USB Port, auch für USB Power Adapter Power LED und LOGO LEDs Hochwertiges Aluminium Gehäuse
MehrIDS Lizenzierung für IDS und HDR. Primärserver IDS Lizenz HDR Lizenz
IDS Lizenzierung für IDS und HDR Primärserver IDS Lizenz HDR Lizenz Workgroup V7.3x oder V9.x Required Not Available Primärserver Express V10.0 Workgroup V10.0 Enterprise V7.3x, V9.x or V10.0 IDS Lizenz
MehrOpen Source. Legal Dos, Don ts and Maybes. openlaws Open Source Workshop 26 June 2015, Federal Chancellery Vienna
Open Source Legal Dos, Don ts and Maybes openlaws Open Source Workshop 26 June 2015, Federal Chancellery Vienna 1 2 3 A Case + vs cooperation since 2003 lawsuit initiated 2008 for violation of i.a. GPL
MehrBrandbook. How to use our logo, our icon and the QR-Codes Wie verwendet Sie unser Logo, Icon und die QR-Codes. Version 1.0.1
Brandbook How to use our logo, our icon and the QR-Codes Wie verwendet Sie unser Logo, Icon und die QR-Codes Version 1.0.1 Content / Inhalt Logo 4 Icon 5 QR code 8 png vs. svg 10 Smokesignal 11 2 / 12
MehrEinführung in die Linguistik, Teil 4
Einführung in die Linguistik, Teil 4 Menschliche Sprachverarbeitung im Rahmen der Kognitionswissenschaft Markus Bader, Frans Plank, Henning Reetz, Björn Wiemer Einführung in die Linguistik, Teil 4 p. 1/19
MehrNormerfüllung in der Praxis am Beispiel "Tool Qualification" Dr. Anne Kramer, sepp.med gmbh
Normerfüllung in der Praxis am Beispiel "Tool Qualification" Dr. Anne Kramer, sepp.med gmbh Über uns Mittelständischer IT-Service Provider 30 Jahre Industrieerfahrung Unsere Referenzen Medizintechnik Pharma
MehrSoftware Product Lines
Software Product Lines Concepts, Analysis and Implementation Programmier-Paradigmen für Software-Produktlinien (3/3) ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dept. of Electrical Engineering
Mehrp^db=`oj===pìééçêíáåñçêã~íáçå=
p^db=`oj===pìééçêíáåñçêã~íáçå= How to Disable User Account Control (UAC) in Windows Vista You are attempting to install or uninstall ACT! when Windows does not allow you access to needed files or folders.
MehrSoftwarevarianten 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
MehrColdFusion 8 PDF-Integration
ColdFusion 8 PDF-Integration Sven Ramuschkat SRamuschkat@herrlich-ramuschkat.de München & Zürich, März 2009 PDF Funktionalitäten 1. Auslesen und Befüllen von PDF-Formularen 2. Umwandlung von HTML-Seiten
MehrDarstellung und Anwendung der Assessmentergebnisse
Process flow Remarks Role Documents, data, tool input, output Important: Involve as many PZU as possible PZO Start Use appropriate templates for the process documentation Define purpose and scope Define
MehrGRIPS - GIS basiertes Risikoanalyse-, Informations- und Planungssystem
GRIPS - GIS basiertes Risikoanalyse-, Informations- und Planungssystem GIS based risk assessment and incident preparation system Gregor Lämmel TU Berlin GRIPS joined research project TraffGo HT GmbH Rupprecht
MehrAU-D21. Digital Audio Optical Switcher OPERATION MANUAL
AU-D21 Digital Audio Optical Switcher OPERATION MANUAL Table of Contents 1. Introduction 1 2. Features 1 3. Operation Controls and Functions 2 3.1 Front Panel Diagram 2 3.2 Rear Panel Diagram 2 3.3 Side
MehrSoftwareschnittstellen
P4.1. Gliederung Rechnerpraktikum zu Kapitel 4 Softwareschnittstellen Einleitung, Component Object Model (COM) Zugriff auf Microsoft Excel Zugriff auf MATLAB Zugriff auf CATIA Folie 1 P4.2. Einleitung
MehrDynamic Hybrid Simulation
Dynamic Hybrid Simulation Comparison of different approaches in HEV-modeling GT-SUITE Conference 12. September 2012, Frankfurt/Main Institut für Verbrennungsmotoren und Kraftfahrwesen Universität Stuttgart
MehrOracle 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
MehrVisual Studio 2010 Jetzt auch für Architekten
TeamConf 2010 Visual Studio 2010 Jetzt auch für Architekten 06. Mai 2010 München Thomas Hemmer Chief Technology Officer thomas.hemmer@conplement.de Daniel Meixner Consultant daniel.meixner@conplement.de
MehrXML Template Transfer Transfer project templates easily between systems
Transfer project templates easily between systems A PLM Consulting Solution Public The consulting solution XML Template Transfer enables you to easily reuse existing project templates in different PPM
MehrPraktikum Entwicklung Mediensysteme (für Master)
Praktikum Entwicklung Mediensysteme (für Master) Organisatorisches Today Schedule Organizational Stuff Introduction to Android Exercise 1 2 Schedule Phase 1 Individual Phase: Introduction to basics about
MehrEin Schritt von zu Hause zur Arbeit
Ein Schritt von zu Hause zur Arbeit 2011-1-TR1-LEO05-28158 1 Projektinformationen Titel: Projektnummer: Projekttyp: Jahr: 2011 Status: Marketing Text: Ein Schritt von zu Hause zur Arbeit 2011-1-TR1-LEO05-28158
MehrSoftware-Engineering Einführung
Software-Engineering Einführung 7. Übung (04.12.2014) Dr. Gergely Varró, gergely.varro@es.tu-darmstadt.de Erhan Leblebici, erhan.leblebici@es.tu-darmstadt.de Tel.+49 6151 16 4388 ES Real-Time Systems Lab
MehrGenerischer 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
MehrThemen. 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
MehrCOPE COuPled Evolution of metamodels and models
COPE COuPled Evolution of metamodels and models Diplomarbeit in Zusammenarbeit mit der BMW Car IT (Betreuer: Elmar Jürgens, Sebastian Benz) Markus Herrmannsdörfer 7. November 2007 Perlen der Informatik
MehrKonsequent agile Entwicklung mit funk4onaler Programmierung. Michael Sperber
Konsequent agile Entwicklung mit funk4onaler Programmierung Michael Sperber Individualso4ware branchenunabhängig Scala, Clojure, Erlang, Haskell, F# Schulungen, Coaching www.acave- group.de funkaonale-
MehrObjects First With Java A Practical Introduction Using BlueJ. Mehr über Vererbung. Exploring polymorphism 1.0
Objects First With Java A Practical Introduction Using BlueJ Mehr über Vererbung Exploring polymorphism 1.0 Zentrale Konzepte dieses Kapitels Methoden-Polymorphie statischer und dynamischer Typ Überschreiben
MehrSession 1: Classes and Applets
Session 1: Classes and Applets Literature Sprechen Sie Java, ISBN 3-89864-117-1, dpunkt deutsch Java für Studenten, ISBN 3-8273-7045-0, PearsonStudium deutsch Java in a Nutshell, ISBN: 0-59600-283-1, O'Reilly
MehrCloud Architektur Workshop
Cloud Architektur Workshop Ein Angebot von IBM Software Services for Cloud & Smarter Infrastructure Agenda 1. Überblick Cloud Architektur Workshop 2. In 12 Schritten bis zur Cloud 3. Workshop Vorgehensmodell
MehrKuhnke Technical Data. Contact Details
Kuhnke Technical Data The following page(s) are extracted from multi-page Kuhnke product catalogues or CDROMs and any page number shown is relevant to the original document. The PDF sheets here may have
MehrProduktinformation _185PNdeen
Produktinformation 201407_185PNdeen Solldaten-UPGRADE Juli 2014 WA 900 / 920 / 020 / 950 / 970 CURA S 800 / 860 / 060 / 900 / 960 WAB01 / WAB 02 CCT CURA R1200 / CURA R2000/ API R2000 BOSCH FWA 51x Auf
MehrAS Path-Prepending in the Internet And Its Impact on Routing Decisions
(SEP) Its Impact on Routing Decisions Zhi Qi ytqz@mytum.de Advisor: Wolfgang Mühlbauer Lehrstuhl für Netzwerkarchitekturen Background Motivation BGP -> core routing protocol BGP relies on policy routing
Mehr09.01.14. Vorlesung Programmieren. Unified Modeling Language (UML) Unified Modeling Language (UML) Unified Modeling Language (UML)
Vorlesung Programmieren Unified Modeling Language (UML) Prof. Dr. Stefan Fischer Institut für Telematik, Universität zu Lübeck http://www.itm.uni-luebeck.de/people/fischer Unified Modeling Language (UML)
MehrVorlesung Programmieren
Vorlesung Programmieren Unified Modeling Language (UML) Prof. Dr. Stefan Fischer Institut für Telematik, Universität zu Lübeck http://www.itm.uni-luebeck.de/people/fischer Unified Modeling Language (UML)
MehrBusiness Process Management. Cloud und Mobile Computing. BPMday 2013 Köln, 13. November 2013. Enzo Favuzzi - Sales Manager WebCenter & BPM
Business Process Management von Cloud und Mobile Computing BPMday 2013 Köln, 13. November 2013 Enzo Favuzzi - Sales Manager WebCenter & BPM Safe Harbor Statement The
MehrMichael Piechotta - CASE Tools. openarchitecture Ware
Model Driven Development Michael Piechotta - CASE Tools openarchitecture Ware Gliederung 1.Einleitung - Was ist MDD? - Wozu MDD? 2.Model Driven Development - OMG Konzepte: Modelle,Transformationen Meta-Modellierung
MehrRS232-Verbindung, RXU10 Herstellen einer RS232-Verbindung zwischen PC und Messgerät oder Modem und Messgerät
Betriebsanleitung RS232-Verbindung, RXU10 Herstellen einer RS232-Verbindung zwischen PC und Messgerät oder Modem und Messgerät ä 2 Operating Instructions RS232 Connection, RXU10 Setting up an RS232 connection
MehrTOSCAna. A Standards-based Application Deployment Modelling & Transformation Framework IAAS & IPVS
TOSCAna A Standards-based Application Deployment Modelling & Transformation Framework IAAS & IPVS Motivation Many enterprises outsource their IT into the Cloud Cloud Computing provides some important benefits
MehrUnified 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
MehrScriptbasierte Testautomatisierung. für Web-Anwendungen
Scriptbasierte Testautomatisierung für Web-Anwendungen Scriptbasierte Testautomatisierung + Web-Anwendung: Erstes Einsatzgebiet, Ergebnisse aber allgemein übertragbar + Test aus Benutzersicht - Nicht Unit-Test,
Mehr<Insert Picture Here> Application Express: Stand der Dinge und Ausblick auf Version 5.0
Application Express: Stand der Dinge und Ausblick auf Version 5.0 Oliver Zandner ORACLE Deutschland B.V. & Co KG Was erwartet Sie in diesem Vortrag? 1. Was ist APEX? Wozu ist es gut?
MehrSoftware-Engineering Einführung
Software-Engineering Einführung 1. Übung (23.10.2014) Dr. Gergely Varró, gergely.varro@es.tu-darmstadt.de Erhan Leblebici, erhan.leblebici@es.tu-darmstadt.de Tel.+49 6151 16 4388 ES Real-Time Systems Lab
MehrSprecher. Stephan Krauß Enterprise Portale E-Commerce. Dipl.-Phys. Johannes Knauf Business Analytics Data Science
Sprecher Stephan Krauß Enterprise Portale E-Commerce T +49 (0)911 25 25 68 0 F +49 (0)911 25 25 68 68 info@ancud.de http://www.ancud.de Dipl.-Phys. Johannes Knauf Business Analytics Data Science T +49
MehrCurrent 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
Mehr