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

Formale Systeme. Organisatorisches. Prof. Dr. Bernhard Beckert, WS 2016/ KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft

Formale Systeme Prof. Dr. Bernhard Beckert, WS 2016/2017 Organisatorisches KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft Personen

Formale Systeme. Organisatorisches. Prof. Dr. Bernhard Beckert, WS 2016/ KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft

Formale Systeme Prof. Dr. Bernhard Beckert, WS 2016/2017 Organisatorisches KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft Personen

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

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

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

Secure Software Engineering/ Sicherheit und Softwaretechnik

1/ 14 Secure Software Engineering/ Sicherheit und Softwaretechnik Sommersemester 2016 RGSE - Research Group for Software Engineering 27.04.2016 Agenda 2/ 14 1 Hintergründe zum Seminar 2 Organisatorisches

Praxis der Forschung im SoSe 2015

Praxis der Forschung im SoSe 2015 Prof. Dr.-Ing. Tamim Asfour, Prof. Dr. Bernhard Beckert, Prof. Dr.-Ing. Michael Beigl, Jun.-Prof. Anne Koziolek, Prof. Dr. Jörn Müller-Quade Sarah Grebing, Matthias Budde

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

Seminar: Theorien induktiven und deduktiven Denkens aus KI und Psychologie

Seminar: Theorien induktiven und deduktiven Denkens aus KI und Psychologie Gregory Kuhnmuench Marco Ragni Stefan Wölfl Bernhard Nebel Abt. Kognitionswissenschaft AG Grundlagen der Künstlichen Intelligenz

Ausgewählte Themen des Modellbasierten Sicherheits-Engineerings

1/ 16 Ausgewählte Themen des Modellbasierten Sicherheits-Engineerings Wintersemester 2014/15 LS14 - Arbeitsgruppe Software Engineering for Critical Systems 9.10.2014 Agenda LS14 - Arbeitsgruppe Software

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,

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

Vertiefungsseminar Controlling Projektseminar experimentelle Forschung SS 2008

Vertiefungsseminar Controlling Projektseminar experimentelle Forschung SS 2008 1 Agenda Allgemeines zum Projekt-/Vertiefungsseminar Termine Hinweise zu den Präsentationen Hinweise zur schriftlichen Ausarbeitung

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

Vorlesung Automotive Software Engineering Prüfung Sommersemester 2015

Vorlesung Automotive Software Engineering Prüfung Sommersemester 2015 Prof. Dr. rer. nat. Bernhard Hohlfeld Bernhard.Hohlfeld@mailbox.tu-dresden.de Technische Universität Dresden, Fakultät Informatik Honorarprofessur

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

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

Softwareentwicklungspraktikum Nebenfach

Softwareentwicklungspraktikum Nebenfach Stephan Barth, Steffen Jost, Ulrich Schöpp Ludwig-Maximilians-Universität München WS 2016/2017 Organisatorisches Personen Dozenten Stephan Barth

R a i n e r N i e u w e n h u i z e n K a p e l l e n s t r G r e v e n T e l / F a x / e

R a i n e r N i e u w e n h u i z e n K a p e l l e n s t r. 5 4 8 6 2 8 G r e v e n T e l. 0 2 5 7 1 / 9 5 2 6 1 0 F a x. 0 2 5 7 1 / 9 5 2 6 1 2 e - m a i l r a i n e r. n i e u w e n h u i z e n @ c

- - CodE 11 CodE 0 0 0 0 0 0 0 0 2.o C 1 10.0 C 2 off 3 3.0 4 2.0 5 off 6 1 8 20.0 9 60 C 7 4.0 10 80 C 1 38 C 12 8 k 13 on 14 30.0 15 10 16 - - CodE 11 CodE 0 0 0 0 0 0 0 0 2.o C 1 10.0 C 2

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

Model-based Verification- Fundamentals and Industrial Practice

Eingebettete Systeme Model-based Verification- Fundamentals and Industrial Practice Seminar 15/04/2014, Dipl.-Inform. Sebastian Burg Themenübersicht 2 Arbeitsbereich Technische Informatik 2010 Universität

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

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/

Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil-Branche

Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil-Branche David Faragó Februar 2015 Institute for Theoretical Computer

Grundbegriffe der Informatik Tutorium 2

Grundbegriffe der Informatik Tutorium 2 Tutorium Nr. 32 Philipp Oppermann 13. November 2013 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum

Vorlesung Automotive Software Engineering Prüfung Wintersemester 2014/15 TU Darmstadt, FB 18 und FB 20

Vorlesung Automotive Software Engineering Prüfung Wintersemester 2014/15 TU Darmstadt, FB 18 und FB 20 Prof. Dr. rer. nat. Bernhard Hohlfeld Bernhard.Hohlfeld@mailbox.tu-dresden.de Technische Universität

Formale Systeme. Prof. P.H. Schmitt. Winter 2007/2008. Fakultät für Informatik Universität Karlsruhe (TH) Voraussetzungen

Formale Systeme Prof. P.H. Schmitt Fakultät für Informatik Universität Karlsruhe (TH) Winter 2007/2008 Prof. P.H. Schmitt Formale Systeme Winter 2007/2008 1 / 12 Übungen und Tutorien Es gibt wöchentliche

So#ware Engineering verteilter Systeme. Hauptseminar im SS 2013

So#ware Engineering verteilter Systeme Hauptseminar im SS 2013 Organisatorisches n Bewerbung Email an Betreuer (hhp://www.informakk.uni- augsburg.de/lehrstuehle/swt/vs/mitarbeiter/) Name, Matrikelnummer,

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

Betrieb komplexer IT-Systeme

Betrieb komplexer IT-Systeme Seminar im Wintersemester 2014/2015 Complex and Distributed IT-Systems TU Berlin Andreas Kliem Andreas.kliem@tu-berlin.de Anrechenbarkeit Schein erfüllt die Anforderungen an

Logik. Vorlesung im Wintersemester 2010

Logik Vorlesung im Wintersemester 2010 Organisatorisches Zeit und Ort: Di 14-16 MZH 5210 Do 16-18 MZH 5210 Prof. Carsten Lutz Raum MZH 3090 Tel. (218)-64431 clu@uni-bremen.de Position im Curriculum: Modulbereich

Formale Systeme. Aussagenlogik: Sequenzenkalkül. Prof. Dr. Bernhard Beckert WS 2010/2011 KIT INSTITUT FÜR THEORETISCHE INFORMATIK

Formale Systeme Prof. Dr. Bernhard Beckert WS 2010/2011 KIT INSTITUT FÜR THEORETISCHE INFORMATIK KIT University of the State of Baden-Württemberg and National Large-scale Research Center of the Helmholtz

Seminar Timed Automata

Einführungsveranstaltung Thomas Noll Henrik Bohnenkamp Software Modeling and Verification Group 17. Juli 2008 Zielsetzung Einführung Termine Themen Inhalt des Seminars Methoden zur Gewährleistung der Korrektheit

Konferenzseminar IT-Sicherheit

Konferenzseminar IT-Sicherheit SS 2014 Veranstalter: Felix Freiling, Hans-Georg Eßer Weitere Betreuer: Zinaida Benenson, Michael Gruhn, Norman Hänsch, Nadina Hintz, Sven Kälber, Philipp Klein, Werner Massonne,

Laufzeitverifikation

Laufzeitverifikation Martin Möser Seminar Fehlertolerante und Selbstheilende Systeme: Verifikation und Validierung autonomer Systeme Martin Möser - 1 Einführung / Motivation Autonome Systeme Komplexes

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

Evolution vs. semantische Konsistenz

Evolution vs. semantische Konsistenz Workshop des GI-AK Traceability, Dortmund J. Jürjens Das Forschungsprojekt ClouDAT (Förderkennzeichen 300267102) wird/wurde durch das Land NRW und Europäischen Fonds

Projektseminar 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

Software-Verifikation

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

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

Qualitätssicherung von Software

Qualitätssicherung von Software Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin und Fraunhofer FIRST Folie 2 Inhaltsplanung (20.10.) 1. Einleitung, Begriffe, Software-Qualitätskriterien 2.

Richtlinien und Hinweise für. Seminararbeiten

Richtlinien und Hinweise für Seminararbeiten Lehrstuhl für VWL (Wirtschaftspolitik, insbes. Industrieökonomik) Ökonomie der Informationsgesellschaft Prof. Dr. Peter Welzel Gliederung Die folgenden Richtlinien

- von der Anwendung zur Datenbank -

- Seminar - ierung - von der zur Datenbank - Sommersemester 2013 Institut für Informatik Lehrstuhl für Datenbanken und Informationssysteme http://www.minet.uni-jena.de/dbis/lehre Prof. Dr. Klaus Küspert,

Seminar Programmierung und Reaktive Systeme

Seminar Programmierung und Reaktive Systeme Qualitätssicherung Softwareintensiver Eingebetteter Systeme Betreuer: Sascha Lity Kick-Off Meeting 03.04.2013 1 Eingebettete Systeme Computersysteme (Software

ABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker

ABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker MOTIVATION Fahrzeug-Software wird modellbasiert mit Simulink/TargetLink entwickelt & DO331/DO-178C ermöglicht modellbasierte

Networked Embedded Systems

Vorbesprechung Networked Embedded Systems VU 182.717 6.0 ECTS Armin Wasicek Studienplan Systems Engineering Embedded Systems Engineering (6 Ects) Wahlmodul Embedded Systems Engineering Designing Technosocial

Proseminar - Data Mining

Proseminar - Data Mining SCCS, Fakultät für Informatik Technische Universität München SS 2014, SS 2014 1 Data Mining: Beispiele (1) Hausnummererkennung (Klassifikation) Source: http://arxiv.org/abs/1312.6082,

Software Engineering verteilter Systeme. Hauptseminar im WS 2011 / 2012

Software Engineering verteilter Systeme Hauptseminar im WS 2011 / 2012 Model-based Testing(MBT) Christian Saad (1-2 students) Context Models (e.g. State Machines) are used to define a system s behavior

Vorbesprechung. Master-Seminar Prozessautomatisierung. Sommersemester 2016. Christian Wölfel

Vorbesprechung Master-Seminar Prozessautomatisierung Sommersemester 2016 Christian Wölfel Organisation 5 Termine Einführung in LaTeX (28.04.2016) 4 Vortragstermine mit jeweils 2-3 Vorträgen (16.06, 23.06,

Determining Vibro-Acoustic Effects in Multidomain Systems using a Custom Simscape Gear Library

Determining Vibro-Acoustic Effects in Multidomain Systems using a Custom Simscape Gear Library Tim Dackermann, Rolando Dölling Robert Bosch GmbH Lars Hedrich Goethe-University Ffm 1 Power Noise transmission

Normierungs-Initiative «Open Document Interface» für Document Creation Systeme

Normierungs-Initiative «Open Document Interface» für Document Creation Systeme Jürg Geiser, OneOffixx AG Wolfgang Hugentobler, IDPARC AG Andreas Schwengeler, Creativ Software AG www.odoci.org Agenda» Was

Proseminar Programming Languages from Hell

TECHNISCHE UNIVERSITÄT MÜNCHEN LEHRSTUHL SPRACHEN UND BESCHREIBUNGSSTRUKTUREN Proseminar Programming Languages from Hell Organisatorisches Andrea Flexeder Sommersemester 2010 Andrea Flexeder (TUM) Proseminar

Einführung. Arbeitsgruppe. Proseminar Corporate Semantic Web. Prof. Dr. Adrian Paschke

Arbeitsgruppe Proseminar Corporate Semantic Web Einführung Prof. Dr. Adrian Paschke Arbeitsgruppe Corporate Semantic Web (AG-CSW) Institut für Informatik, Freie Universität Berlin paschke@inf.fu-berlin.de

Hardware/Software Co-Design

Hardware/Software Co-Design Vorbesprechung Andreas Steininger Robert Najvirt Thomas Polzer Überblick 182.700 Vorlesung mit Übung: Betreuer: A. Steininger 182.701 Laborübung: Betreuer: R. Najvirt & T. Polzer

The Future of Software Testing

The Future of Software Testing, imbus AG Nneirda -Fotolia.com Szenariotechnik Source: http://de.wikipedia.org/wiki/szenariotechnik Future of Software Testing - Driven by Technology Testing Objects & Objectives

Wirtschaftsinformatik

Wirtschaftsinformatik Projektseminar SS 2005 OpenScape II Dr. Kai Riemer Marcel Gogolin Gliederung 1 Vorstellungsrunde 2 Ziel des Projektseminars 3 Grober Zeitplan 4 Projektmanagement 5 Organisatorisches,

KoSI Praxis- & Abschlussmodul (KoSI 7)

KoSI Praxis- & Abschlussmodul (KoSI 7) Hochschule Darmstadt Fachbereich Informatik Prof. Dr. Ralf Hahn, Hochschule Darmstadt, Fachbereich Informatik, KoSI 7, SS2016 1 Name Prof. Dr. Ralf Hahn Aufgabe Lehre

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.

Sharing Digital Knowledge and Expertise

Sharing Digital Knowledge and Expertise Die Spring und Summer Schools des GCDH Veranstaltungen 2012 2015 Summer und Spring Schools Workshop: Soziale Netzwerkanalyse Grundlagen und Interpretation Strickmuster

Meine Diplomarbeit I 1

Meine Diplomarbeit I 1 Anmeldung 1. Anmeldung ein Semester VOR dem Prüfungssemester ( Betreuer sollte schon informiert sein, wenn nicht: Institut, Betreuer + Thema suchen!) 2. Anmeldung des Themas + Betreuer

Seminarplan. Dr. Ulrike Schraps SoSe 2008

Motivation - Einführung Seminarplan Dr. Ulrike Schraps SoSe 2008 Möglichkeiten und Grenzen der Arbeitsmotivation S 12690 Raum K 23/11 Mo. 10:00-12:00 (A&O) Sprechstunde: Di 10:00 11:00 Uhr Raum JK 26/320,

Pro- und Hauptseminar WS Hinweise und Termine -

Pro- und Hauptseminar WS 2010 - Hinweise und e - 29.11.2010 Seite 1 Grundlagen (1) Allgemeine Ziele des Seminars Hinführung zum wissenschaftlichen Arbeiten Weitgehend selbständige Erarbeitung eines abgegrenzten

Projektpraktikum bei Mercedes-Benz North America in Redford, MI, USA

Projektpraktikum bei Mercedes-Benz North America in Redford, MI, USA Prof. Dr. rer. nat. Frank Gauterin INSTITUT FÜR FAHRZEUGSYSYTEMTECHNIK, LEHRSTUHL FÜR FAHRZEUGTECHNIK KIT Universität des Landes Baden-Württemberg

Algorithmen und Datenstrukturen CS1017

Algorithmen und Datenstrukturen CS1017 Th. Letschert TH Mittelhessen Gießen University of Applied Sciences Organisatorisches und Einführung Lehrpersonal Dozent Dr. Letschert Tutoren Alissia Sauer Jonas

Software-Engineering Seminar, Summer AG Softech FB Informatik TU Kaiserslautern

Software-Engineering Seminar, Summer 2016 AG Softech FB Informatik TU Kaiserslautern Studenten Fragen: Studienfach? Software-Entwicklung 3 gehört? Erfahrungen in Programmierung mit Nebenläufigkeit? Zum

Softwaretest in Praxis und Forschung

Umfrage 2015 Softwaretest in Praxis und Forschung 37. Treffen der GI-Fachgruppe TAV Test, Analyse und Verifikation von Software Friedrichshafen, 05. Februar 2015 Prof. Dr. Mario Winter Prof. Dr. Karin

Moderne Programmierparadigmen

Moderne Programmierparadigmen Seminar Softwaretechnik WS 2010/2011 Dr.-Ing. Ina Schaefer Software Systems Engineering TU Braunschweig Ina Schaefer Seminar MPP 1 Allgemeine Informationen Dr.-Ing Ina Schaefer

Formale Grundlagen der Fehlertoleranz in verteilten Systemen

1/27 Formale Grundlagen der Fehlertoleranz in verteilten Systemen Felix Gärtner TU Darmstadt felix@informatik.tu-darmstadt.de 2/27 Bezug zur formalen Softwareentwicklung formale SE Definitionsphase Aufsplittung

on Software Development Design

Werner Mellis A Systematic on Software Development Design Folie 1 von 22 How to describe software development? dimensions of software development organizational division of labor coordination process formalization

Lean Modeling - Datenmodelle und Geschäftsregeln einfach und präzise mit natürlicher Sprache spezifizieren

Lean Modeling - Datenmodelle und Geschäftsregeln einfach und präzise mit natürlicher Sprache spezifizieren Mirko Seifert, DevBoost GmbH 12. November 2013, ASQF Modeling Day 2013, Nürnberg Agenda 1. Der

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

Theorem Proving. Software Engineering in der Praxis. Prädikatenlogik. Software Engineering in der Praxis Wintersemester 2006/2007

Seite 1 Theorem Proving Prädikatenlogik Seite 2 Gliederung Warum Theorembeweisen? Wie funktioniert Theorembeweisen? Wie kann mir das Werkzeug KIV dabei helfen? Seite 3 Warum Theorembeweisen? Wie kann man

Anforderungsgetriebene Webentwicklung mit Grails:

ne mit Grails: und dem 26.01.2012 und dem Gliederung und dem Projektumfeld Agentur mit weniger als 5 Mitarbeitern Schwerpunkte: mit Typo 3 / PHP ios App-Entwicklung für ipad und iphone und dem Folie 1

Bringing Software Engineering Science into Practice

Bringing Software Engineering Science into Practice Dr. Bernhard Peischl Institut für Softwaretechnologie Technische Universität Graz 1/18 Outline Motivation und Abgrenzung Industrielle und akademische

Formale Sprachen und Automaten

Formale Sprachen und Automaten Kapitel 1: Grundlagen Vorlesung an der DHBW Karlsruhe Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2012 Ziel Einführung der wichtigsten

Univ.-Prof. Dr. Margit Haas

Univ.-Prof. Dr. Margit Haas Gliederung 1. Methodologie und begründete Auswahl des Leitfadens QUAGOL zur Datenanalyse in der Studie Pflegende in Entscheidungsprozessen zur PEG-Sonde bei Demenz. Eine Analyse

Interdisziplinäres Seminar. Multivariate Statistik bei psychologischen Fragestellungen. Markus Bühner und Helmut Küchenhoff WS 2008/09

Interdisziplinäres Seminar Multivariate Statistik bei psychologischen Fragestellungen Markus Bühner und Helmut Küchenhoff WS 2008/09, Homepage: http://www.stat.uni-muenchen.de/~helmut/seminar_0809.html

Accounting course program for master students. Institute of Accounting and Auditing http://www.wiwi.hu-berlin.de/rewe

Accounting course program for master students Institute of Accounting and Auditing http://www.wiwi.hu-berlin.de/rewe 2 Accounting requires institutional knowledge... 3...but it pays: Lehman Bros. Inc.,

Visual 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

Seminarrichtlinien am Fachgebiet Echtzeitsysteme

Prof. Dr. Andy Schürr FG Echtzeitsysteme Institut für Datentechnik Seminarrichtlinien am Fachgebiet Echtzeitsysteme April 2004 Inhalt 1 ALLGEMEINES... 1 2 TERMINPLAN... 1 3 ABLAUF... 1 4 AUSARBEITUNG...

Professionelles Projektmanagement in der Praxis

Institute of Computer Science Chair of Communication Networks Prof. Dr.-Ing. P. Tran-Gia Vorlesung Professionelles Projektmanagement in der Praxis Prof. Dr. Harald Wehnes Veranstaltung 6 Teil 2 (01.06.2015)

Quality Point München

Quality Point München Aktuelle Tendenzen auf dem Gebiet Test und QS Paul, was gibt es Neues auf unserem Gebiet? Kleine Schritte in bekannte Richtungen aber kein echter neuer Trend 1 1 Produkte (1) Verschiedene

Linux Netzwerkarchitektur

Seminar: Linux Netzwerkarchitektur Einführung in das Seminar Vorstellung der Themen Gruppeneinteilung Terminabsprache Literatur, Tips,... Computer Systems and Telematics, FU Berlin 1 Ziele des Seminars

CamelCaseCon 2011 Vortrag von Stefan Glase am 07.09.2011. Statische Code-Analyse für Groovy & Grails mit CodeNarc

Statische Code-Analyse für Groovy & Grails mit CodeNarc CamelCaseCon 2011 Vortrag von Stefan Glase am 07.09.2011 OPITZ CONSULTING GmbH 2011 Folie 1 Stefan Glase, OPITZ CONSULTING Software-Entwickler Java

Seminar Quantitative Modelle in der Informatik (MAI-Seminar & BAI-Seminar) Organisatorisches & Tipps zum Halten eines Vortrags

Seminar Quantitative Modelle in der Informatik (MAI-Seminar & BAI-Seminar) Organisatorisches & Tipps zum Halten eines Vortrags Barbara König, Sander Bruggink, Henning Kerstan, Sebastian Küpper, Dennis

Anrechnung bereits erbrachter Leistungen bei Umstieg von MSc CV der PO 2006 auf MSc CV der PO Master CV

Anrechnungen bereits erbrachter Leistungen Anm.: es kann sein, dass Leistungen in der 2006er PO erbracht wurden, die in PO2012 Name: Mat.Nr: Mailadresse nicht aufgeführt sind. In diesem Fall wird geprüft,

Leitfaden zum Vorgehen bei Studien- & Abschlussarbeiten, inkl. Themenspeicher

Platzhalter für Bild, Bild auf Titelfolie hinter das Logo einsetzen Leitfaden zum Vorgehen bei Studien- & Abschlussarbeiten, inkl. Themenspeicher Institut für Controlling & Unternehmensrechnung, TU Braunschweig

Projektmodul Dr. Miriam Pott

Projektmodul 2016 Infoveranstaltung BSc Biowiss. 5. FS. 2 Projekt-Modul Online-Modul-Handbuch Die Studierenden erwerben die notwendigen Kompetenzen, um im Team für eine theoretische Fragestellung eine

Datenbanken Unit 1: Einleitung

Datenbanken Unit 1: Einleitung 23. II. 2016 Eine Frage zum Einstieg Eine Frage Was macht ein(e) LogistikerIn eigentlich so? Eine Frage zum Einstieg Eine Frage Was macht ein(e) LogistikerIn eigentlich so?

Hidden Champions: Angebot Wintersemester 2014/15

: Angebot Wintersemester 2014/15 Karlsruher Institut für Technologie (KIT) Relationship Management KIT Company & Career Service KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum

Anfertigung einer Bachelorarbeit (BA) am Institut für Versicherungsbetriebslehre (IVBL) Ablauf und Hinweise

Anfertigung einer Bachelorarbeit (BA) am Institut für Versicherungsbetriebslehre (IVBL) Ablauf und Hinweise Durchdenken Sie Ihre kommende Semesterplanung frühzeitig (Seminare, eventuelle Nachschreibklausuren,

DATA 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

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

Übersicht zum Vortrag

Monitoring Optimierung der Lebenszykluskosten im Gebäudebetrieb WP WMZ Puffer WMZ Lüftung WMZ EZ Heizung DI Dr. Bernhard Lipp IBO - Österreichisches Institut für Bauen und ökologie GmbH Übersicht zum Vortrag

Seminararbeitstechniken. Proseminar Algorithmen der Verkehrssimulation WS 05/06 Michael Moltenbrey, Dirk Pflüger

Seminararbeitstechniken Proseminar Algorithmen der Verkehrssimulation WS 05/06 Michael Moltenbrey, Dirk Pflüger Gliederung Organisatorisches Wie bearbeite ich ein Thema? Wie baue ich einen Vortrag auf?

Einsatz von elearning im GIS-Bereich - Erfahrungen im Rahmen des GITTA-Projekts

Geographic Information Technology Training Alliance Swiss Virtual Campus Project GITTA Einsatz von elearning im GIS-Bereich - Erfahrungen im Rahmen des GITTA-Projekts Prof. Dr. Stephan Nebiker & Susanne

Von Faust bis zur Neunten Theater, Opern- und Konzerthäuser

Von Faust bis zur Neunten Theater, Opern- und Konzerthäuser Tragkonstruktionen BIII / M1 / II WS 2012/2013 Prof. Matthias Pfeifer, Doris Kern, Sylvio Worg Institut Entwerfen und Bautechnik, KIT Universität

Universität Stuttgart Institut für Automatisierungs- und Softwaretechnik Prof. Dr.-Ing. Dr. h. c. P. Göhner. Softwaretechnik II. Sommersemester 2015

Universität Stuttgart Institut für Automatisierungs- und Softwaretechnik Prof. Dr.-Ing. Dr. h. c. P. Göhner Softwaretechnik II Sommersemester 2015 www.ias.uni-stuttgart.de/st2 st2@ias.uni-stuttgart.de