Zusammenfassung der Vorlesung

Slides:

Advertisements

Ähnliche Präsentationen

BACHELOR Politikwissenschaft (Stand )

Advertisements

Informationsveranstaltung zu den Lehrveranstaltungen

Das Studium der Informatik

Kick-off: Projekt-Praktikum Model-Driven Engineering von eingebetteten Systemen Christian Fuß und Christof Mosler Lehrstuhl Informatik III,

Das Lehrgebiet „Software Engineering“

Prof. Dr. Liggesmeyer, 1 Software Engineering: Dependability Prof. Dr.-Ing. Peter Liggesmeyer.

Informatik II: Algorithmen und Datenstrukturen SS 2013

Rollenbasierter Entwurf am Beispiel eines benutzeradaptierbaren Hyperbooks Institut für Informatik Rechnergestützte Wissensverarbeitung Universität Hannover.

Modellbasierte Software-Entwicklung eingebetteter Systeme

Eingebettete Systeme Qualität und Produktivität

Prof. Dr. Holger Schlingloff

Systemvergleich I: Grundlagen und freiheitliche Systeme

© Prof. Dr.-Ing. habil. W. Dangelmaier, Heinz Nixdorf Institut, Universität Paderborn, Bild: © iStock, Ricardo Azoury 1 Veranstaltung / Datum Titel: Arial,

Titel: Arial, 40pt, fett, kursiv, mit Schatten, blau

Einführung in Berechenbarkeit und Formale Sprachen

Seminar Software-Engineering für softwareintensive Systeme

1 Computergestützte Verifikation Teil II Infinite State Systems.

Qualitätssicherung von Software (SWQS) Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin und Fraunhofer FOKUS : Software Model Checking.

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

1 Die Informationsveranstaltung zu den Lehrveranstaltungen Proseminar ETIT (Literaturseminar) in der NKT 2 CP Projektseminar Nachrichten- und Kommunikationstechnik.

Universität Stuttgart Institut für Kernenergetik und Energiesysteme Links Links sind im Text angegeben. Weitere Links werden kontinuierlich eingefügt.

Universität Stuttgart Institut für Kernenergetik und Energiesysteme Testing Frameworks im Internet Testing Framework (xUnit, unit testing)

Universität Stuttgart Institut für Kernenergetik und Energiesysteme Regeln für Tester - best practice 1 Prüfe das eigene Programm nie als Einziger Testen.

Grammatikentwicklung

Modularisierung der Bachelor-Studiengänge im Studiendekanat E 9. Jan Studiengangskoordinatoren und wissenschaftliche Mitarbeiter des Studiendekanates.

Modularisierung der Bachelor-Studiengänge im Studiendekanat E 29. November 2012 Studiengangskoordinatoren und wissenschaftliche Mitarbeiter des Studiendekanates.

Gliederung der Vorlesung Software Engineering WS 2001/2002

Einführungssitzung Architekturen interoperabler Systeme für raumzeitliche Prozesse Einführungssitzung Lars Bernard, Udo Einspanier,

Seminar Modellgetriebene Softwareentwicklung Einführung Seminar modellgetriebene Softwareentwicklung WS 05/06 Dipl.-Inf. Nadine Fröhlich Prof. Dr.-Ing.

1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Algorithmen für Peer-to-Peer-Netzwerke Sommersemester Vorlesung.

Programmiermethodik SS 07 Prof. Albert Zündorf

3. Klassendiagramme in Java implementieren

Programmiermethodik SS 09 Prof. Albert Zündorf Fachgebiet für Software Engineering Wilhelmshöher Allee Kassel (Raum 1339 im Altbau)

Software Engineering Seminar Metamodellierung

1 Reverse Engineering WS 07 / 08 A. Zündorf. Fachgebiet Software Engineering Übersicht © Albert Zündorf, Kassel University 2 Organisatorisches.

Angewandte Informatik

Angewandte Informatik

Präsentation im Seminar Software Engineering verteilter Systeme im Sommersemester 2013 mit dem Titel.

Fachgebiet Software Engineering Übersicht © Albert Zündorf, Kassel University Test Summary: m ein Fehler pro Tag m Test First m Funktionstests.

Fachgebiet Software Engineering Übersicht © Albert Zündorf, Kassel University Software Engineering I m Vorlesung im Wintersemester 2010/11 m.

Universität Karlsruhe (TH) © 2008 Univ,Karlsruhe, IPD, Prof. LockemannDBI 0 Datenbankimplementierung und -tuning Einführung.

Modellbasierte Verfahren für intelligente Systeme Jörg Fischer SS 2013 Fakultät für Informatik Institut für Anthropomatik Lehrstuhl für Intelligente Sensor-Aktor-Systeme.

Fachgebiet Software Engineering Übersicht © Albert Zündorf, Kassel University Client Architecture Data Model GUI KI Socket Connection.

Institut für Theoretische Informatik TU Carolo-Wilhelmina zu Braunschweig Teamprojekt in Software Systems Engineering und Theoretischer Informatik Einsatz.

Simulation komplexer technischer Anlagen

an der Universität Paderborn

Vorlesung: „Einführung in die Industriesoziologie“ SoSe 2013 Bachelor WiWi, Modul 3: Produktion und Arbeit Prof. Dr. Hartmut Hirsch-Kreinsen Lehrstuhl.

Studiengang Geoinformatik

Computer Networks Group Universität Paderborn Studieren bei ESS – Eingebettete Systeme und Systemsoftware II. Studienabschnitt Frey/Karl/Platzner/Plessl/Rammig/Sorge.

Das Lehrgebiet „Software Engineering“

Software Engineering 1 6. Übung

Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1, Module III.1.x) Dozenten der Softwaretechnik.

Vorlesung #4 Überführung des ER-Modells in das relationale Modell

Grundlagen des Software Engineerings

HEINZ NIXDORF INSTITUT Universität Paderborn Fachbereich Mathematik/Informatik Algorithmische Probleme in Funknetzwerken III Christian Schindelhauer

Implementierung eines RDF Stores

Modellbasierte Software-Entwicklung eingebetteter Systeme

Meta-Modell für Story-Diagramme und Expressions

Computer Networks Group Universität Paderborn Pro/Seminar Rechnernetze WS 07/08 Holger Karl.

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

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

Christian Scheideler WS 2008

Seminar Modellgetriebene Softwareentwicklung XMI - XML Metadata Interchange Vortrag im Rahmen des Seminar Modellgetriebene Softwareentwicklung Mirko Otto.

Studieneinstiegstest – Motivation, Hintergrund und Aufbau

TU Dresden - Institut für Politikwissenschaft - Prof. Dr. Werner J. Patzelt Vorlesung: Systemvergleich I: Grundlagen und freiheitliche Systeme Bachelor.

Software Verification 2 Automated Verification Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität and Fraunhofer Institut für.

© Heinz Nixdorf Institut, Universität Paderborn 1 Marie Christin Platenius, M. Sc. Softwaretechnik Heinz Nixdorf Institut Universität Paderborn

Institut für Informatik Betriebliche Informationssysteme S.Dietzold, T.Riechert, J.Lehmann, A.Aslam, M.Herrmann1 Semantic Web Services and Interfaces Sebastian.

Seminar Medizinische SS Erik Tute Die Lehrveranstaltung im Überblick ●Aufgabe: –Erarbeitung eines aktuellen, wissenschaftlichen Themas.

Fachrichtung Theoretische Informatik

Präsentation transkript:

Zusammenfassung der Vorlesung

Überblick Motivation für Modellbasierte Softwareentwicklung Entwicklung komplexer, häufig sicherheitskritischer Systeme Teil I: Spezifikationstechniken für Analyse und Design Struktur-orientierte Techniken Beschreibungssprachen wie z.B. UML-Klassendiagramme Design Patterns nach Gamma et al. Operationale Techniken Zustandsmaschinen, Timed Automata: Syntax und Semantik Graphgrammatiken: Syntax und Semantik Deskriptive Techniken: Z Modellbasierte Softwareentwicklung 31.01.2013

Überblick Teil II Codegenerierung Code-Generierung für Klassendiagramme (insb. Assoziationen), Zustandsmaschinen, Story-Diagramme Teil III Validation und Verifikation Testen (White Box, Black Box, Überdeckungstests, Äquivalenzklassen) Model Checking (explizites, symbolisches, CTL, TCTL, Kripke-Strukturen, BDDs) Modellbasierte Softwareentwicklung 31.01.2013

Klausur-Vorbereitung Folien durchgehen & lernen ggf. Literatur dazu holen (siehe Webseite) Übungsaufgaben wiederholen (& selbst lösen) In Gruppen lernen, gemeinsam Fragen beantworten …und jetzt Fragen stellen! Weitere Fragen können bis zum 8.2., 23:59 Uhr an upohl@upb.de gesendet werden Fragen und Antworten werden auf der Webseite veröffentlicht. Modellbasierte Softwareentwicklung 31.01.2013

Interesse an Modellbasierter Softwareentwicklung? Mitarbeit in aktuellen Forschungsprojekten als SHK Implementierung von Prototypen der aktuell am Lehrstuhl entwickelten Methoden Zusammenarbeit mit Industriepartnern, Fraunhofer IPT-EM Vertiefung und Spezialisierung Seminare und Projektgruppen Bachelor- / Masterarbeit Kontakt: Uwe Pohlmann upohl@upb.de ZM1.02-46 Modellbasierte Softwareentwicklung 31.01.2013

Erinnerung: Tutoren für das SWTPra / SoPra SS 2013 Wir suchen Tutoren für das SS 2013 zur Betreuung von Gruppen im Softwaretechnik-Praktikum (SWTPra) Softwarepraktikum (SoPra) SHK-Vertrag für 9,5 h/Woche Chance auf längerfristige Beschäftigung (z.B. als SHK in Forschungsprojekten) Kontakt: Marie Christin Platenius swtpra-org@lists.uni-paderborn.de Modellbasierte Softwareentwicklung 31.01.2013

Weiterführende Veranstaltungen Bachelor Vorlesungen: Softwaremodellierung mit formalen Methoden (Wehrheim) Grundlagen Wissensbasierter Systeme (Kleine Büning) Proseminare: Model-Driven Software Engineering (Becker) Logik und Semantik (Kleine Büning) Prüfen, was nächstes Semester kommt Modellbasierte Softwareentwicklung 31.01.2013

Weiterführende Veranstaltungen Master z.B.: Vorlesungen: Software Quality Assurance (Engels) Propositional Proof Systems (Kleine Büning) Model Checking (Wehrheim) Quantitative Analyse von Softwareentwürfen (Becker) Model Driven Software Development (Becker) Aktuelle Projektgruppen: SafeBots III (Schäfer), AppSolut (Schäfer, Engels) Prüfen, was nächstes Semester kommt Modellbasierte Softwareentwicklung 31.01.2013