Formale Entwicklung objektorientierter Software
|
|
- Linus Giese
- vor 7 Jahren
- Abrufe
Transkript
1 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 Software 24. Oktober / 5
2 Korrekte Software - zu teuer? Software wird zunehmend in Systemen eingesetzt, bei denen Fehler teuer werden können, z.b. in Zugangskontrollen (security critical), medizinische Apparate (safety critical), Chipkarten (u.u. Austausch vieler Karten) etc. Formale Spezifikation und Verifikation gewährleistet größtmögliche Sicherheit. Formale Entwicklung objektorientierter Software 24. Oktober / 5
3 Korrekte Software - zu teuer? Software wird zunehmend in Systemen eingesetzt, bei denen Fehler teuer werden können, z.b. in Zugangskontrollen (security critical), medizinische Apparate (safety critical), Chipkarten (u.u. Austausch vieler Karten) etc. Formale Spezifikation und Verifikation gewährleistet größtmögliche Sicherheit. Formale Entwicklung objektorientierter Software 24. Oktober / 5
4 Korrekte Software - zu teuer? Software wird zunehmend in Systemen eingesetzt, bei denen Fehler teuer werden können, z.b. in Zugangskontrollen (security critical), medizinische Apparate (safety critical), Chipkarten (u.u. Austausch vieler Karten) etc. Formale Spezifikation und Verifikation gewährleistet größtmögliche Sicherheit. Formale Entwicklung objektorientierter Software 24. Oktober / 5
5 Korrekte Software - zu teuer? Software wird zunehmend in Systemen eingesetzt, bei denen Fehler teuer werden können, z.b. in Zugangskontrollen (security critical), medizinische Apparate (safety critical), Chipkarten (u.u. Austausch vieler Karten) etc. Formale Spezifikation und Verifikation gewährleistet größtmögliche Sicherheit. Formale Entwicklung objektorientierter Software 24. Oktober / 5
6 Was wird im Praktikum gemacht? Durchlauf eines vollständigen Softwareentwicklungszyklus im Team angereichert um formale Methoden, d.h. Analyse, Entwurf, Implementation und Spezifikation von Software Spezifikation und Verifikation der entworfenen und implementierten Software mit dem KeY-Tool Statische Analyse mit ESC/Java 2 Die notwendigen Kenntnisse werden in einzelnen Übungseinheiten vermittelt und mit Übungsblättern vertieft. Programmiersprache: Java Tools: KeY, ESC/Java 2 Formale Entwicklung objektorientierter Software 24. Oktober / 5
7 Was wird im Praktikum gemacht? Durchlauf eines vollständigen Softwareentwicklungszyklus im Team angereichert um formale Methoden, d.h. Analyse, Entwurf, Implementation und Spezifikation von Software Spezifikation und Verifikation der entworfenen und implementierten Software mit dem KeY-Tool Statische Analyse mit ESC/Java 2 Die notwendigen Kenntnisse werden in einzelnen Übungseinheiten vermittelt und mit Übungsblättern vertieft. Programmiersprache: Java Tools: KeY, ESC/Java 2 Formale Entwicklung objektorientierter Software 24. Oktober / 5
8 Was wird im Praktikum gemacht? Durchlauf eines vollständigen Softwareentwicklungszyklus im Team angereichert um formale Methoden, d.h. Analyse, Entwurf, Implementation und Spezifikation von Software Spezifikation und Verifikation der entworfenen und implementierten Software mit dem KeY-Tool Statische Analyse mit ESC/Java 2 Die notwendigen Kenntnisse werden in einzelnen Übungseinheiten vermittelt und mit Übungsblättern vertieft. Programmiersprache: Java Tools: KeY, ESC/Java 2 Formale Entwicklung objektorientierter Software 24. Oktober / 5
9 Was wird im Praktikum gemacht? Durchlauf eines vollständigen Softwareentwicklungszyklus im Team angereichert um formale Methoden, d.h. Analyse, Entwurf, Implementation und Spezifikation von Software Spezifikation und Verifikation der entworfenen und implementierten Software mit dem KeY-Tool Statische Analyse mit ESC/Java 2 Die notwendigen Kenntnisse werden in einzelnen Übungseinheiten vermittelt und mit Übungsblättern vertieft. Programmiersprache: Java Tools: KeY, ESC/Java 2 Formale Entwicklung objektorientierter Software 24. Oktober / 5
10 Was wird im Praktikum gemacht? Durchlauf eines vollständigen Softwareentwicklungszyklus im Team angereichert um formale Methoden, d.h. Analyse, Entwurf, Implementation und Spezifikation von Software Spezifikation und Verifikation der entworfenen und implementierten Software mit dem KeY-Tool Statische Analyse mit ESC/Java 2 Die notwendigen Kenntnisse werden in einzelnen Übungseinheiten vermittelt und mit Übungsblättern vertieft. Programmiersprache: Java Tools: KeY, ESC/Java 2 Formale Entwicklung objektorientierter Software 24. Oktober / 5
11 Was wird im Praktikum gemacht? Durchlauf eines vollständigen Softwareentwicklungszyklus im Team angereichert um formale Methoden, d.h. Analyse, Entwurf, Implementation und Spezifikation von Software Spezifikation und Verifikation der entworfenen und implementierten Software mit dem KeY-Tool Statische Analyse mit ESC/Java 2 Die notwendigen Kenntnisse werden in einzelnen Übungseinheiten vermittelt und mit Übungsblättern vertieft. Programmiersprache: Java Tools: KeY, ESC/Java 2 Formale Entwicklung objektorientierter Software 24. Oktober / 5
12 Anforderungen Programmierkenntnisse (Java) Vorlesung Formale Systeme Vorlesung Softwaretechnik (UML, SW-Entwicklung) vorteilhaft Formale Entwicklung objektorientierter Software 24. Oktober / 5
13 Anforderungen Programmierkenntnisse (Java) Vorlesung Formale Systeme Vorlesung Softwaretechnik (UML, SW-Entwicklung) vorteilhaft Formale Entwicklung objektorientierter Software 24. Oktober / 5
14 Anforderungen Programmierkenntnisse (Java) Vorlesung Formale Systeme Vorlesung Softwaretechnik (UML, SW-Entwicklung) vorteilhaft Formale Entwicklung objektorientierter Software 24. Oktober / 5
15 Organisatorisches Allgemeines Einteilung in Gruppen mit 2 3 Mitgliedern Terminvereinbarung (gleich) Scheinvergabe Anwesenheit bei den offiziellen Terminen Bearbeitung der Übungsblätter: Alle Übungsblätter sind zu bearbeiten und abzugeben. Ein ernsthaftes Bemühen, die Aufgaben zu lösen, muss erkennbar sein. Bearbeitung und Lösung des Abschlussprojekts (inklusive schriftlicher Ausarbeitung und Vortrag). Formale Entwicklung objektorientierter Software 24. Oktober / 5
16 Organisatorisches Allgemeines Einteilung in Gruppen mit 2 3 Mitgliedern Terminvereinbarung (gleich) Scheinvergabe Anwesenheit bei den offiziellen Terminen Bearbeitung der Übungsblätter: Alle Übungsblätter sind zu bearbeiten und abzugeben. Ein ernsthaftes Bemühen, die Aufgaben zu lösen, muss erkennbar sein. Bearbeitung und Lösung des Abschlussprojekts (inklusive schriftlicher Ausarbeitung und Vortrag). Formale Entwicklung objektorientierter Software 24. Oktober / 5
17 Organisatorisches Allgemeines Einteilung in Gruppen mit 2 3 Mitgliedern Terminvereinbarung (gleich) Scheinvergabe Anwesenheit bei den offiziellen Terminen Bearbeitung der Übungsblätter: Alle Übungsblätter sind zu bearbeiten und abzugeben. Ein ernsthaftes Bemühen, die Aufgaben zu lösen, muss erkennbar sein. Bearbeitung und Lösung des Abschlussprojekts (inklusive schriftlicher Ausarbeitung und Vortrag). Formale Entwicklung objektorientierter Software 24. Oktober / 5
18 Organisatorisches Allgemeines Einteilung in Gruppen mit 2 3 Mitgliedern Terminvereinbarung (gleich) Scheinvergabe Anwesenheit bei den offiziellen Terminen Bearbeitung der Übungsblätter: Alle Übungsblätter sind zu bearbeiten und abzugeben. Ein ernsthaftes Bemühen, die Aufgaben zu lösen, muss erkennbar sein. Bearbeitung und Lösung des Abschlussprojekts (inklusive schriftlicher Ausarbeitung und Vortrag). Formale Entwicklung objektorientierter Software 24. Oktober / 5
19 Organisatorisches Allgemeines Einteilung in Gruppen mit 2 3 Mitgliedern Terminvereinbarung (gleich) Scheinvergabe Anwesenheit bei den offiziellen Terminen Bearbeitung der Übungsblätter: Alle Übungsblätter sind zu bearbeiten und abzugeben. Ein ernsthaftes Bemühen, die Aufgaben zu lösen, muss erkennbar sein. Bearbeitung und Lösung des Abschlussprojekts (inklusive schriftlicher Ausarbeitung und Vortrag). Formale Entwicklung objektorientierter Software 24. Oktober / 5
20 Organisatorisches Allgemeines Einteilung in Gruppen mit 2 3 Mitgliedern Terminvereinbarung (gleich) Scheinvergabe Anwesenheit bei den offiziellen Terminen Bearbeitung der Übungsblätter: Alle Übungsblätter sind zu bearbeiten und abzugeben. Ein ernsthaftes Bemühen, die Aufgaben zu lösen, muss erkennbar sein. Bearbeitung und Lösung des Abschlussprojekts (inklusive schriftlicher Ausarbeitung und Vortrag). Formale Entwicklung objektorientierter Software 24. Oktober / 5
21 Organisatorisches Allgemeines Einteilung in Gruppen mit 2 3 Mitgliedern Terminvereinbarung (gleich) Scheinvergabe Anwesenheit bei den offiziellen Terminen Bearbeitung der Übungsblätter: Alle Übungsblätter sind zu bearbeiten und abzugeben. Ein ernsthaftes Bemühen, die Aufgaben zu lösen, muss erkennbar sein. Bearbeitung und Lösung des Abschlussprojekts (inklusive schriftlicher Ausarbeitung und Vortrag). Formale Entwicklung objektorientierter Software 24. Oktober / 5
Inhalte des Moduls Programmieren 1
Inhalte des Moduls Programmieren 1 Einführung: Algorithmus und Programm, Programmiersprache Erste Schritte in Java Grundlagen der Sprache: Datentypen, Ausdrücke und Anweisungen, imperative Programmierung
MehrVorlesung Informatik II
Vorlesung Informatik II Universität Augsburg Wintersemester 2011/2012 Prof. Dr. Bernhard Bauer Folien von: Prof. Dr. Robert Lorenz Lehrprofessur für Informatik 00. Organisatorisches 1 Ziele Erstellen größerer
MehrPolyvalenter Bachelor Lehramt Informatik
10-203-2005-1 Modultitel Modellierung und Programmierung 1 1. Semester Angewandte Telematik jedes Wintersemester Vorlesung "Modellierung und Programmierung I" (2 SWS) = 30 h Präsenzzeit und 36 h Selbststudium
MehrEIDI 1 Einführung in die Informatik 1. PGdP Praktikum Grundlagen der Programmierung. Harald Räcke 2/217
EIDI 1 Einführung in die Informatik 1 PGdP Praktikum Grundlagen der Programmierung Harald Räcke 2/217 Wie löst man Probleme mithilfe von Computern? 0 Harald Räcke 3/217 Inhalte: EIDI 1 1. Was ist das Problem?
MehrProgrammieren 2 - Java
Programmieren 2 - Java Fachhochschule Wiesbaden, FB Informatik Studiengang Medieninformatik Vorlesung im SS 2002 1 Ziele Ausbau der bisherigen Fertigkeiten und Techniken des Programmierens in Java mit
MehrGrundlagen Software Engineering
Grundlagen Software Engineering Organisation Prof. Dr. Liggesmeyer, 1 AG Software Engineering: Dependability Prof. Dr. Peter Liggesmeyer Zimmer 32 / 423 Email liggesmeyer@informatik.uni-kl.de Sprechstunde:
MehrGrundlagen der Programmierung II (GP 2)
Grundlagen der Programmierung II (GP 2) stb@upb.de SS 2008 Wesentliche Teile des Materials dieser Vorlesung wurden mir freundlicherweise von meinen Kollegen Prof. Dr. Uwe Kastens, Prof. Dr. Gerd Szwillus
MehrDeductive Software Verification The KeY Book Haupt- und Proseminar in SoSe 2017
Deductive Software Verification The KeY Book Haupt- und Proseminar in SoSe 2017 Bernhard Beckert 02.05.17 INSTITUT FÜR THEORETISCHE INFORMATIK, KIT KIT âăş Die ForschungsuniversitÃd t in der Helmholtz-Gemeinschaft
MehrStuPro Visualisierung der Ergebnisse von Programmanalysen
StuPro Visualisierung der Ergebnisse von Programmanalysen Abteilung Programmiersprachen und Compilerbau Daniel Gerlach, Mikhail Prokharau Universität Stuttgart 15. November 2010 Übersicht Vorstellungsrunde
MehrAnwendungsorientierte 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
MehrObjektorientierte Analyse und Design
Objektorientierte Analyse und Design Hochschule Darmstadt Fachbereich Informatik Prof. Dr. Ralf Hahn, OOAD - Organisatorisches, SS2015, h_da, Fachbereich Informatik 1 Name Prof. Dr. Ralf Hahn Aufgabe Lehre
MehrSoftware Engineering in der Praxis
Software Engineering in der Praxis Matthias Meitner Marc Spisländer Lehrstuhl für Software Engineering Friedrich-Alexander-Universität Erlangen-Nürnberg Meitner, Spisländer FAU Erlangen-Nürnberg Software
MehrModelling in the Wild Domains and Abstraction in Model-Driven Software Development
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
MehrSoftware Engineering
Software Engineering Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl für Informatik 11 (Software Engineering) Francesca Saglietti saglietti@informatik.uni-erlangen.de Ringvorlesung Orientierung
MehrORGANISATORISCHES. So#ware Technik Prof. Dr. Wolfgang Schramm
ORGANISATORISCHES So#ware Technik Prof. Dr. Wolfgang Schramm Inhalt 1 o Organisatorisches o Fragen o Inhaltliches o Vorlesungs-Übersicht 2 Für diejenigen, die mich noch nicht kennen...... zu meiner Person
MehrObjektorientierte Analyse & Design
Objektorientierte Analyse & Design Analyse-Phase Teil 1 Einordnung im SW-Lebenszyklus Software- Entwicklung Einsatz Wartung Problemdefinition Spezifikation Implementation Auslieferung Analyse Entwurf Erprobung
MehrProjektgruppe. 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...
MehrFinden Sie mit der AllatNet Recruiting Division Ihren Traum Job.
Automotive, Nachrichtentechnik und weiteren Industriezweigen, erweitern wir Ihre Karrieremöglichkeiten Hardwareentwickler analoge Schaltungen (m/w) Referenz HW 2014 AS: Einsatzort: München, Stuttgart,
MehrEinführung in die Programmierung
Einleitung Gliederung Einführung in die Programmierung Wintersemester 2017/18 Zum Begriff Informatik Zum Begriff Algorithmus Zum Begriff Programmieren Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering
MehrKapitel 1: Einleitung. Gliederung. Zum Begriff Informatik Zum Begriff Algorithmus Zum Begriff Programmieren
Kapitel 1: Einleitung Wintersemester 2006/07 Einführung in die Informatik für Naturwissenschaftler und Ingenieure (alias Einführung in die Programmierung) (Vorlesung) Gliederung Zum Begriff Informatik
MehrGrundlagen- und Orientierungsprüfung:
Grundlagen- und Orientierungsprüfung: Studierende des Faches Informationswissenschaft im Rahmen des Bachelorstudiengangs der Philosophischen Fakultäten müssen bis zum Ende des 2. Fachsemesters mindestens
MehrSoftwareentwicklungspraktikum Nebenfach
Softwareentwicklungspraktikum Nebenfach Stephan Barth, Steffen Jost, Ulrich Schöpp Ludwig-Maximilians-Universität München WS 2016/2017 Organisatorisches Personen Dozenten Stephan Barth
MehrEinführung in die Programmierung
Einleitung Gliederung Einführung in die Programmierung Wintersemester 08/09 Zum Begriff Informatik Zum Begriff Algorithmus Zum Begriff Programmieren Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering
MehrInkrementelle 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
MehrFormale Modellierung Vorlesung 13 vom : Rückblick und Ausblick
Rev. 2226 1 [19] Formale Modellierung Vorlesung 13 vom 01.07.13: Rückblick und Ausblick Serge Autexier & Christoph Lüth Universität Bremen Sommersemester 2013 2 [19] Fahrplan Teil I: Formale Logik Teil
MehrEinführung in die Programmierung
Skript zur Vorlesung: Einführung in die Programmierung WiSe 2009 / 2010 Skript 2009 Christian Böhm, Peer Kröger, Arthur Zimek Prof. Dr. Christian Böhm Annahita Oswald Bianca Wackersreuther Ludwig-Maximilians-Universität
MehrObjektorientiertes Programmieren
JL Ute Claussen Objektorientiertes Programmieren Mit Beispielen und Übungen in C++ Zweite, überarbeitete und erweiterte Auflage Mit 24 Abbildungen Springer Inhaltsverzeichnis 1 Einleitung 1 1.1 Was ist
MehrDas Praktikum mit Seminar vertieft die in der Vorlesung erworbenen Fähigkeiten in theoretischer und praktischer Hinsicht:
66/2006 vom 13.10.2006 FU-Mitteilungen Seite 25 e. Module affiner Bereiche Modul: Chemie für Physiker Aneignung der Grundlagen der Chemie mit Ausnahme der organischen Chemie sowie Erlangung eines Allgemeinwissens
MehrSeminar Programmierung Eingebetteter Systeme
Seminar Programmierung Eingebetteter Systeme Prof. Sabine Glesner Robert Reicherdt Dirk Tetzlaff Daniel Stöhr Paula Herber Marcel Pockrandt Wintersemester 2011/12 Organisation der Veranstaltung Blocktermine:
MehrEinführung in die Programmierung
Skript zur Vorlesung: Einführung in die Programmierung WiSe 2009 / 2010 Skript 2009 Christian Böhm, Peer Kröger, Arthur Zimek Prof. Dr. Christian Böhm Annahita Oswald Bianca Wackersreuther Ludwig-Maximilians-Universität
MehrModul 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
MehrAuswertung zu 5510P MES-Praktikum
Auswertung zu 5510P MES-Praktikum Persönliche Angaben In welchem Studiengang sind Sie eingeschrieben? A Bachelor Informatik (0) B Bachelor Internet Computing (0) C Bachelor Mobile und Eingebettete Systeme
Mehr! Aktive Beherrschung von Modellierungsmethoden. ! Aktive Beherrschung einiger theoretischer Grundlagen
Ziel der Vorlesung Grundlagen der Programmierung Grundlagen der Programmierung Dr. Christian Herzog Technische Universität München intersemester 2008/2009 Kapitel 1: Einführung! Aktive Beherrschung von
Mehr!" Aktive Beherrschung von Modellierungsmethoden! !" Aktive Beherrschung einiger theoretischer Grundlagen!
Ziel der Vorlesung Grundlagen der Programmierung! Grundlagen der Programmierung! Dr. Christian Herzog! Technische Universität München! Wintersemester 2010/2011! Kapitel 1: Einführung! Copyright 2010 Bernd
MehrVom 11. Juli 2017* Mainz 11. Juli Der Dekan des Fachbereichs 1: Der Dekan des Fachbereichs 5:
Sechzehnte Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau Vom 11. Juli 2017* Aufgrund des 7 Abs. 2
MehrFür Software werden heute Investitionen getätigt, die mit dem Bau oder Kauf von Maschinen und Immobilien ohne weiteres vergleichbar sind.
Für Software werden heute Investitionen getätigt, die mit dem Bau oder Kauf von Maschinen und Immobilien ohne weiteres vergleichbar sind. Hier bedient man sich der Fachkenntnis von Ingenieuren und Architekten,
MehrJoin the Automation Team
Firmware-Entwickler für elektrische Antriebstechnik (w/m) < Grundlagenforschung im Bereich der statischen und dynamischen Bahnplanung < Erstellung von Konzepten sowie kinematischer und dynamischer Modelle
MehrEinführung in die Programmierung Wintersemester 2016/17
Einführung in die Programmierung Wintersemester 2016/17 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering Fakultät für Informatik TU Dortmund Einleitung Gliederung Zum Begriff Informatik Zum
MehrSicherungskomponente für Autonome Mobile Serviceroboter
Christoph Lüth: SAMS 1 [12] Sicherungskomponente für Autonome Mobile Serviceroboter Christoph Lüth Deutsches Forschungszentrum für Künstliche Intelligenz, Bremen SAMS Abschlusspräsentation, 13.10.09, Bremen
MehrKapitel 1. Software-Entwicklung und formale Spezifikation
Seite 1 Kapitel 1 Software-Entwicklung und formale Spezifikation Prof. Dr. Rolf Hennicker 22.04.2010 Ziele Seite 2 Die Grundprinzipien der Software-Entwicklung verstehen. Die Rolle formaler Methoden in
MehrWahlpflichtmodul Betriebliche Anwendungssysteme III
Wahlpflichtmodul Betriebliche Anwendungssysteme III Prof. Dr.-Ing. Claus Grewe Fachbereich Wirtschaft Bachelor of Science Wirtschaftsinformatik Wintersemester 2018/2019 Kontext Studienverlauf Bachelor
MehrOrganisatorisches. Software Engineering 1 WS 2012/13. Prof. Dr.-Ing. Ina Schaefer. Institut für Softwaretechnik und Fahrzeuginformatik TU Braunschweig
Organisatorisches Software Engineering 1 WS 2012/13 Prof. Dr.-Ing. Ina Schaefer Institut für Softwaretechnik und Fahrzeuginformatik TU Braunschweig Ina Schaefer SE 1 - WS 2012/13 1 Allgemeine Informationen
MehrBV-Praktikum im Sommersemester 2017
MIN-Fakultät Fachbereich Informatik Arbeitsbereich SAV/BV (KOGS) BV-Praktikum im Sommersemester 2017 Herzlich Willkommen sagen: Leonie Dreschler-Fischer, David Mosteller und Benjamin Seppke Herzlich Willkommen!
MehrKapitel 4 - Die Implementierungsphase
Kapitel 4 - Die Implementierungsphase SWT I Sommersemester 2010 Walter F. Tichy, Andreas Höfer, Korbinian Molitorisz IPD Tichy, Fakultät für Informatik KIT die Kooperation von Forschungszentrum Karlsruhe
Mehrn 1. Der Begriff Informatik n 2. Syntax und Semantik von Programmiersprachen - 1 -
n 1. Der Begriff Informatik n 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik n "Informatik" = Kunstwort aus Information
MehrModulbeschreibung: Master of Education Informatik
Modulbeschreibung: Master of Education Informatik Die Gewichtung der Einzelnoten bezieht sich im Folgenden auf eine Gesamtpunktzahl von 34 zu erbringenden Leistungspunkten. Nichtbenotete Leistungspunkte
Mehr3 Wahlpichtbereich. 3.1 Wahlpichtmodule Informatik
3 Wahlpichtbereich Der Wahlpichtbereich unterteilt sich in die Bereiche Informatik und Fachübergreifende Kompetenzen. Zuerst wird der Bereich Informatik mit den zugehörigen Modulen beschrieben, gefolgt
MehrStand der Überarbeitung in der IEC SC 65A/MT , Vorbereitung 3. Ausgabe der IEC GAK Frankfurt,
Stand der Überarbeitung in der IEC SC 65A/MT 61508-3, Vorbereitung 3. Ausgabe der IEC 61508 GAK 914.0.3 Frankfurt, 1.03.2017 Einordnung der vorbereitenden Maßnahmen zur 3. Ausgabe der IEC 61508 - Im November
MehrStudienprofil Software Engineering Master Informatik
Studienprofil Software Engineering Master Informatik KIT-Fakultät für Informatik KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu Inhaltsverzeichnis 1 Einführung Studienprofile im
MehrScheinanforderungen Medizinische Informatik (Diplom) WS 2010/11
Scheinanforderungen Medizinische Informatik (Diplom) 17.12.2010 Scheinanforderungen Medizinische Informatik (Diplom) WS 2010/11 Inhaltsverzeichnis 2.- 7. Semester... 1 8. Semester... 3 Anhang A: Kontaktliste
MehrStaatlich anerkannte Fachhochschule PTL Wedel, Prof. Dr. D. Harms, Prof. Dr. H. Harms Gemeinnützige Schulgesellschaft mbh STUDIENORDNUNG INFORMATIK
Studienordnung - Bachelor-Studiengang "Informatik" Staatlich anerkannte Fachhochschule PTL Wedel, Prof. Dr. D. Harms, Prof. Dr. H. Harms Gemeinnützige Schulgesellschaft mbh STUDIENORDNUNG BACHELOR-STUDIENGANG:
MehrGrundlagen der Programmierung! Kapitel 1: Einführung! Ziel der Vorlesung Grundlagen der Programmierung! Überblick über das Einführungs-Kapitel!
Herzog Grundlagen der Programmierung Dr. Christian Herzog Technische Universität München Wintersemester 2015/2016 Kapitel 1: Einführung Grundlagen der Programmierung TUM Wintersemester 2015/16 Kapitel
MehrN. Sicherheit. => Literatur: Tanenbaum & vansteen: Verteilte Systeme.
N. Sicherheit => Literatur: Tanenbaum & vansteen: Verteilte Systeme. N.1. Begriffliches - Security vs. Safety N.1.1 Safety : Umgangssprachlich: z.b. Sicherheit im Straßenverkehr. Ausfallsicherheit und
MehrPraktikumsvorstellung
LUDWIG- MAXIMILIANS- UNIVERSITY MUNICH DEPARTMENT INSTITUTE FOR INFORMATICS DATABASE SYSTEMS GROUP MUNICH NETWORK MANAGEMENT TEAM Veranstaltungsvorschau für das Wintersemester 2009/2010 Praktikumsvorstellung
MehrFragebogen zur Auswertung des externen Softwaretechnologiepraktikums im Sommersemester 2008
Technische Universität Dresden Fakultät Informatik, SMT Softwaretechnologie Dr.-Ing. Birgit Demuth Fragebogen zur Auswertung des externen Softwaretechnologiepraktikums im Sommersemester 2008 Hinweise:
Mehr28/37 Anlage zur Studienordnung des Studienganges Bachelor of Science Informatik Studienablaufplan/ Modulübersichtstabelle
28/37 Anlage zur Studienordnung des Studienganges Bachelor of Science Informatik Studienablaufplan/ Modulübersichtstabelle Modul und zugehörige Lehrveranstaltungen mit Gegenstand und Art (Umfang der LV)
MehrEinführung in die Objektorientierte Programmierung Vorlesung 2: Mikroskopisches und Makroskopisches Computational Thinking.
Einführung in die Objektorientierte Programmierung Vorlesung 2: Mikroskopisches und Makroskopisches Computational Thinking Sebastian Küpper Das makroskopische Modell: Objekte Objekt: Abbild konkreter individuell
MehrWorkshop: Zentralabitur mit Python Vorgaben Realisierung
Heinz Nixdorf MuseumsForum Paderborn Workshop: Zentralabitur mit Python Vorgaben Realisierung 11 Vorgaben für das Fach Informatik 22 Realisierung einer Zentralabituraufgabe mit Python 33 Vorstellen und
MehrObjektorientierte Programmierung. Kapitel 3: Syntaxdiagramme
Stefan Brass: OOP (Java), 3. 1/31 Objektorientierte Programmierung Kapitel 3: Stefan Brass Martin-Luther-Universität Halle-Wittenberg Wintersemester 2014/15 http://www.informatik.uni-halle.de/ brass/oop14/
MehrDritte Satzung zur Änderung der Studienordnung für den Diplom-Studiengang Informatik an der Universität Würzburg
Dritte Satzung zur Änderung der Studienordnung für den Diplom-Studiengang Informatik an der Universität Würzburg Vom 3. August 2005 (Fundstelle: http//www.uni-wuerzburg.de/amtl_veroeffentlichungen/2005-38)
MehrTEILZEIT (ZWEI JAHRE)
TERMINKALENDER (STUDIENJAHRE 2017-2018 / 2018-2019) TEILZEIT (ZWEI JAHRE) MATERIALIEN 01 Einleitende Übersetzungsübung: Herkömmliche Übersetzung vs. Übersetzung im Bereich der Neuen Technologie 15. bis
MehrSoftware-Entwicklung für Sichere Systeme
Software-Entwicklung für Sichere Systeme Sommersemester 2004 Stefan Lucks Universität Mannheim Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.1/16 Organisatorisches Im WWW zugänglich:
MehrElectronic Design Automation (EDA) Systementwurf
Electronic Design Automation (EDA) Systementwurf Systembegriff Beispiel Antiblockiersystem Signalverarbeitung Hardware/Software- Partitionierung Hardware oder Software? Electronic Design Automation Systementwurf:
MehrTERMINKALENDER (STUDIENJAHR ) VOLLZEIT (EIN JAHR)
TERMINKALENDER (STUDIENJAHR 2017-2018) VOLLZEIT (EIN JAHR) MATERIALIEN 01 Einleitende Übersetzungsübung: Herkömmliche Übersetzung vs. Übersetzung im Bereich der Neuen Technologie 04. Oktober 2017 22. Oktober
MehrPROJEKT- UND HAUPTSEMINAR SSE
PROJEKT- UND HAUPTSEMINAR SSE Einführungstermin Veranstaltung im Wintersemester 2010 FG System- und Softwareengineering i Prof. Dr.-Ing. Armin Zimmermann, Dr.-Ing. Volker Zerbe Ablauf Heute Organisatorisches
MehrDatenbanken 1 Datenbanken SPO 2014 SPO 2007 Belegnummer Belegnummer
Datenbanken 1 Datenbanken SPO 2014 SPO 2007 Belegnummer 30.7312 Belegnummer 30.7302 Wintersemester 2017/18 (Bachelor) Materialien zur Vorlesung Inge Hochschule Darmstadt Fachbereich Informatik Motivation
MehrComputergestützte Modellierung und Verifikation
Computergestützte Modellierung und Verifikation Vorlesung mit Übungen SS 2007 Prof. F. von Henke mit Dr. H. Pfeifer Inst. für Künstliche Intelligenz Organisatorisches Vorlesung: Mi 14 16 Raum 3211 Do 14
MehrBeispiel 1 zur Verifikation eines bedingten Anweisung. Hoare-Regel für die bedingte Anweisung. else
Hoare-Regel für die bedingte Anweisung I1 : I2 : {B P } S 1 {Q} { nicht B P } {Q} {P } if (B) then S 1 {Q} {B P } S 1 {Q} { nicht B P } S 2 {Q} {P } if (B) then S 1 else S 2 {Q} In der Regel für bedingte
MehrProgramm heute. Algorithmen und Datenstrukturen (für ET/IT) Fehlerarten. Validation. Wintersemester 2012/13. Dr. Tobias Lasser
Programm heute Algorithmen und Datenstrukturen (für ET/IT) Wintersemester 01/13 Dr. Tobias Lasser Computer Aided Medical Procedures Technische Universität München 1 Einführung Mathematische Grundlagen
MehrBeispiel 1 zur Verifikation eines bedingten Anweisung. Hoare-Regel für die bedingte Anweisung. Beispiel 2 zur Verifikation eines bedingten Anweisung
Hoare-Regel für die bedingte Anweisung I1 : I2 : {B und P } S 1 {Q} { nicht B und P } {Q} {P } if (B) then S 1 {Q} {B und P } S 1 {Q} { nicht B und P } S 2 {Q} {P } if (B) then S 1 S 2 {Q} In der Regel
MehrBeispiel-Musterstudienpläne
Beispiel-Musterstudienpläne Dieser Anhang bezieht sich auf Anhang 3 der Studienordnung, in der die Prinzipien zur Erstellung von Musterstudienplänen beschrieben sind, und enthält jeweils drei Beispiele
MehrGibt es eine eigenen Didaktik für das Hauptund das Nebenfach sowie weitere Differenzierungen?
Gibt es eine eigenen Didaktik für das Hauptund das Nebenfach sowie weitere Differenzierungen? Peter Forbrig Fakultät für Informatik und Elektrotechnik Institut für Informatik Lehrstuhl für Softwaretechnik
MehrProbe-Klausur Software Engineering Fachbereich BW, für WINFO
Probe-Klausur Software Engineering Fachbereich BW, für WINFO Dipl.-Ing. Klaus Knopper 17.04.2007 Hinweis: Bitte schreiben Sie auf das Deckblatt und auf jede Seite Ihren Namen und Ihre Matrikelnummer, bevor
MehrKonzeption 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
MehrKorrektur der Studien- und Prüfungsordnung
Amtliches Mitteilungsblatt Mathematisch-Naturwissenschaftliche Fakultät II Korrektur der Studien- und Prüfungsordnung für das Bachelorstudium Mathematik Kernfach und Beifach im Monostudiengang (AMB Nr
MehrThemen für Abschlussarbeiten/Praktika im Bereich FlexRay
Kopfarbeit mit Spaßfaktor Kopfarbeit mit Spaßfaktor Von A3 bis Z4 wir sind marktführend in der Entwicklung von Softwarewerkzeugen und komponenten für die Vernetzung von Steuergeräten in Fahrzeugen. Über
MehrInformatik 1. für Studiengänge Nachrichten-/Multimediatechnik und Mechatroniksysteme/Fahrzeugmechatronik. Wintersemester 2014/15
Informatik 1 für Studiengänge Nachrichten-/Multimediatechnik und Mechatroniksysteme/Fahrzeugmechatronik Wintersemester 2014/15 Prof. Dr.-Ing. habil. Peter Sobe Fakultät Informatik / Mathematik Informatik-Ausbildung
MehrDas Studium an der Abteilung Informatik setzt Programmierkenntnisse voraus.
Informatik für Studienanfänger an der Abteilung Informatik Das Studium an der Abteilung Informatik setzt Programmierkenntnisse voraus. Es werden folgende Kenntnisse gefordert: Einfache Datentypen (short,
MehrI.1. Organisatorisches - 1 -
- 1 - Vorlesung "Programmierung" Inhalt der Vorlesung Was ist ein Programm? Was sind grundlegende Programmierkonzepte? Wie konstruiert (entwickelt) man ein Programm? Welche Programmier-Paradigmen gibt
MehrSoftware-Praktikum. Überblick und Zeitplan
Standort Hagen Fachbereich Technische Betriebswirtschaft Software-Praktikum Überblick und Zeitplan Andreas de Vries und Volker Weiß Version: 26. September 2016 Inhaltsverzeichnis 1 Einführung und Überblick
MehrDR. MICHAEL EICHBERG. Einführung in Software Eingineering
DR. MICHAEL EICHBERG Einführung in Software Eingineering Wintersemester 2014/2015 Vorwort (dt.) Dieses Dokument enthält die Folien ergänzende Informationen zur Vorlesung Software Engineering. ii Chapter
MehrM Modul: Praxis der Software-Entwicklung [M-INFO ]
5 PRAKTISCHE INFORMATIK M Modul: Praxis der Software-Entwicklung [M-INFO-101176] Einrichtung: Curriculare Verankerung: KIT-Fakultät für Informatik Pflicht Praktische Informatik Leistungspunkte Turnus Dauer
MehrKlausur Softwaretechnik
Klausur Softwaretechnik 15.03.2007 Prof. Dr. Walter F. Tichy Dipl.-Inform. T. Gelhausen Dipl.-Inform. G. Malpohl Hier das Namensschild aufkleben. Zur Klausur sind keine Hilfsmittel und kein eigenes Papier
MehrAnwesenheit bei den Übungen. Aktive Teilnahme an den Übungen (Vorrechnen) Benotete Klausur am 4. April 2007, Uhr
Vorlesung Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard Zeit und Ort: Di+Do 11.00 13.00 Uhr, Gebäude 101, HS 026 Dozent: Prof. Dr. Wolfram Burgard
MehrDatenbanken Datenbanken 1 Belegnummer Belegnummer
Datenbanken Datenbanken 1 Belegnummer 30.7302 Belegnummer 30.7312 Blockkurs 31.08. 11.09.2015 Wintersemester 2015/16 (Bachelor) Materialien zur Vorlesung Michael Roth Inge Hochschule Darmstadt Fachbereich
MehrProgrammierung 1 für Wirtschaftsinformatik Wintersemester 2015/16
Programmierung 1 für Wirtschaftsinformatik Wintersemester 2015/16 Prof. Dr.-Ing. habil. Peter Sobe Fakultät Informatik / Mathematik Programmierung 1: Programmierung 1 - Ziele Vermittlung von Grundkenntnissen
MehrPC-Pool Physik. Christian Hennig Institute für Physik Wintersemester 2017
PC-Pool Physik Christian Hennig Institute für Physik Wintersemester 2017 Raum und Zeit Wo und wie Raum EW 019 (Erdgeschoss) Seite 2 Raum und Zeit Wo und wie Raum EW 019 (Erdgeschoss) Benutzerzugang: Anmeldung
MehrEinführung in die Programmierung
Einführung in die Programmierung Als Programmierung bezeichnet man die Tätigkeit Computerprogramme (software) zu erstellen. Konzeptioneller Entwurf Umsetzung des Entwurfs in Programmcode (Implementation):
MehrSemantik von Programmiersprachen
Semantik von Programmiersprachen Prof. Dr. Manfred Schmidt-Schauß SS 2013 Stand der Folien: 15. April 2013 Semantik von Programmen verschiedene Semantiken: operationale Semantik (Spezifikation eines Interpreters)
MehrErste Änderung der fachspezifischen Studien- und Prüfungsordnung für das Bachelorstudium im Fach Informatik (AMB Nr. 13/2015)
Amtliches Mitteilungsblatt Mathematisch-Naturwissenschaftliche Fakultät Erste Änderung der fachspezifischen Studien- und Prüfungsordnung für das Bachelorstudium im Fach Informatik (AMB Nr. 13/2015) Monostudiengang
MehrNetworked Embedded Systems
Vorbesprechung Networked Embedded Systems VU 182.725 6.0 ECTS SS12 Armin Wasicek Studienplan Systems Engineering Embedded Systems Engineering (6 Ects) Wahlmodul Embedded Systems Engineering Designing Technosocial
MehrNetworked 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
MehrSoftwaretechnik 2 Prolog
Prolog SS 2010 Prof. Dr. Sabine Sachweh Einführung Prof. Dr. Sabine Sachweh Büro: C.1.43 Telefon: (0231) 755-6760 Fax: (0231) 755-6710 (Dekanat) Postfach 20 E-Mail: WWW: sachweh@fh-dortmund.de http://www.inf.fh-dortmund.de
Mehr