FreitagsrundenWiki - Benutzerbeiträge [de]

Gliederung Javakurs 2007

2007-03-01T16:02:18Z

10.23.42.198: ellen: Dozenten

=== LE 1 (45 min), Tag 1 ===
'''Interessenten:''' RobertL,
* Organisatorisches
* HelloWorld
* Wie wird ein iteratives Programm verarbeitet?
* Variablen
** Deklaration und Zuweisung
** wichtige Basistypen
* Fallunterscheidungen
* Blöcke und Einrückung
* Kommentare
* compilieren und ausführen
* Compilermeldungen lesen

=== LE 2 (45 min), Tag 1 ===
'''Interessenten:''' RobertB,
* Arrays
* Schleifen
** while
** for
** Schleifenbedingungen
** Endlosschleifen vermeiden (Gleitkommazahlen, >=, ...)

=== LE 3 (45 min), Tag 2 ===
'''Interessenten:''' RobertB,
* Methoden
** Warum benutzen wir Methoden?
** Wie werden sie deklariert?
** Call by Value
* sprechende Namen
* Testen
** Testwerte finden
** Was kann man mit Testen erreichen, warum trotzdem essentiell
* Debugging

=== LE 4 (45 min), Tag 3 ===
'''Interessenten:'''
* Wie löse ich Aufgaben
* Strukturelle Programmierung

=== LE 5 (45 min), Tag 3 ===
'''Interessenten:''' RobertL
* Objektorientierung
** Gruppierung von Daten/eigene Datentypen
** Daten bringen ihre Methoden mit

=== LE 6 (45 min), Tag 4 ===
'''Interessenten:'''
* Wiederholung LE 5
* Kapselung /Information Hiding
* Java API
* Standardmethoden (ohne Vererbung)
** toString
** equals
* == versus equals

=== Abschlussveranstaltung ===
* bedankung bei IRB, Teilnehmer, etc.
* ellen hält eine Rede ;)

Gliederung Javakurs 2007

2007-03-01T15:57:38Z

10.23.42.198: ellen: änderungen nach gespräch mit pepper

=== LE 1 (45 min), Tag 1 ===
* HelloWorld
* Wie wird ein iteratives Programm verarbeitet?
* Variablen
** Deklaration und Zuweisung
** wichtige Basistypen
* Fallunterscheidungen
* Blöcke und Einrückung
* Kommentare
* compilieren und ausführen
* Compilermeldungen lesen

=== LE 2 (45 min), Tag 1 ===
* Arrays
* Schleifen
** while
** for
** Schleifenbedingungen
** Endlosschleifen vermeiden (Gleitkommazahlen, >=, ...)

=== LE 3 (45 min), Tag 2 ===
* Methoden
** Warum benutzen wir Methoden?
** Wie werden sie deklariert?
** Call by Value
* sprechende Namen
* Testen
** Testwerte finden
** Was kann man mit Testen erreichen, warum trotzdem essentiell
* Debugging

=== LE 4 (45 min), Tag 3 ===
* Wie löse ich Aufgaben
* Strukturelle Programmierung

=== LE 5 (45 min), Tag 3 ===
* Objektorientierung
** Gruppierung von Daten/eigene Datentypen
** Daten bringen ihre Methoden mit

=== LE 6 (45 min), Tag 4 ===
* Wiederholung LE 5
* Kapselung /Information Hiding
* Java API
* Standardmethoden (ohne Vererbung)
** toString
** equals
* == versus equals

=== Abschlussveranstaltung ===
* bedankung bei IRB, Teilnehmer, etc.
* ellen hält eine Rede ;)

Gliederung Javakurs 2007

2007-02-28T17:38:53Z

10.23.42.198: /* LE 6 (90 min) */

=== LE 1 (45 min) ===
* HelloWorld
* compilieren und ausführen
* Wie wirde ein iteratives Programm verarbeitet?
* Variablen
** Deklaration und Zuweisung
** wichtige Basistypen
* Fallunterscheidungen
* Blöcke
* Kommentare
* Compilermeldungen lesen

=== LE 2 (45 min) ===
* Arrays
* Methoden
** Warum benutzen wir Methoden?
** Wie werden sie deklariert?
** Call by Value
* Schleifen
** while
** for
** Schleifenbedingungen
** Endlosschleifen vermeiden (Gleitkommazahlen, >=, ...)

=== LE 3 (45 min) ===
* sprechende Namen
* Testen
** Testwerte finden
** Was kann man mit Testen erreichen, warum trotzdem essentiell
* Debugging
* ... ?

=== LE 4 (45 min) ===
* Objektorientierung
** Modularisierung von Code (?)
** Modularisierung von Daten (?)
** Information Hiding
** Daten bringen ihre Methoden mit

=== LE 5 (90 min) ===
* Vererbung
** Methoden erben
** Methoden überschreiben
* Vererbungsbaum Richtung Objekt
* Interfaces
* Java API

=== LE 6 (90 min) ===
** Standartmethoden toString, equals
* == versus equals
* Streams
* Fehlerbehandlung
** über Rückgabewert
** über Exeptions
*Exkurs strukturiertes Programmieren (?)
*Ausblick Testdriven Development (?)
*Packages
*Bibliotheken

Abschlussveranstaltung

Gliederung Javakurs 2007

2007-02-28T17:37:56Z

10.23.42.198: /* LE 6 (90 min) */

THI Gedächtnisprotokoll WS 06/07

2007-02-13T13:07:27Z

10.23.42.198: prüfung

'''Mündliche Prüfung zu Formale Spezifikationen von Systemen'''

1. Teil:
* Welche P/T-Netze gibt es?
* Wie unterscheiden sie sich?
* Aufgabenstellung:
: P/T-Netz gegeben
: Fragen:
: - Ist es beschränkt?
: - Ist es lebendig?
: - Wenn nein, wie müßte man es verändern (ohne Stelle u. Transitionen hinzuzufügen) damit es lebendig ist?
: - Macht daraus ein Prozessnetz (es wurde vorgegeben, welche Transitionen schalten sollten)

2. Teil:
* Gegeben:
: 1 Signatur
: 1 Spezifikation, die die Signatur um Gleichungen erweitert
: 1 weitere Spezifikation, die die erste Spezifikation um einige Gleichungen erweitert

* Fragen: (Antwort muss begründet sein)
: 1. Sind Signatur und 1. Spezifikation:
: - konsistent?
: - vollständig?
: - konservativ?
: 2. Sind 1. und 2. Spezifikation
: - konsistent?
: - vollständig?
: - konservativ?

Formale Spezifikation von Systemen

2007-02-13T13:03:22Z

10.23.42.198: eine weiteres protokoll bekommen

<div id="protokolle" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
=== Protokolle ===
WS 2004/05
* [[FSS Gedächtnisprotokoll WS 04/05|Gedächtnisprotokoll]]

WS 2006/07
* [[THI Gedächtnisprotokoll WS 06/07|Gedächtnisprotokoll]]
</div>

'''Formale Spezifikation von Systemen''' ist eine [[Basisveranstaltung]] im Fachgebiet TFS (Studiengebiet THI) im [[Hauptstudium|Informatik-Hauptstudium]].

== Inhalt ==
(Von der Website geklaut)

Diese Basis-LV der Theoretischen Informatik führt in die formale Spezifikation von Systemen und damit in grundlegende Probleme und Methoden der theoretischen Informatik ein. Vorrangig werden hierbei Datentyp- und Prozessspezifikation von Softwaresystemen behandelt. Eine durchgänige praxisorientierte Fallstudie aus dem Bereich Logistik dient zur Veranschaulichung und Illustration der vermittelten theoretischen Konzepte.

Im ersten Teil werden zur formalen Modellierung von Prozessen Petrinetze eingeführt, die hier exemplarisch für eine Vielzahl von Prozessmodellierungstechniken vorgestellt werden. Es werden mathematische Methoden sowohl zur Analyse als auch zur Strukturierung und Komposition von Prozessen behandelt. Dabei werden Petrinetze zunächst unabhängig von der Datenmodellierung behandelt.

Zu Beginn des zweiten Teils werden die in TheGI 2 behandelten algebraischen Strukturen kurz wiederholt. Darauf aufbauend werden dann Konzepte der algebraischen Spezifikation von Datentypen aus Sicht von Systemen vorgestellt (Korrektheit, Parameterisierung, First Order Logik - Spezifikation). Bei der algebraischen Spezifikation von nicht parametrisierten Datentypen stehen in dieser Veranstaltung Probleme der Semantik und Korrektheit im Vordergrund, die mit Methoden der Algebra und Logik analysiert werden. Die Parametrisierung von Datentypen ist ein wesentlicher Schritt im Hinblick auf die Modellierung generischer Softwaresysteme und Softwarekomponentenkonzepte.

Für weitergehende Perspektiven wird am Ende der LV ein Ausblick auf die Integration von algebraischen Spezifikationen mit Petrinetzen im Rahmen von algebraischen High-Level Netzen gegeben.

Die in dieser LV erworbenen Kenntnisse sind in vielen anderen Haupstudiums-LV's auch ausserhalb des Studiengebiets THI erfolgreich anwendbar. Sie bilden insbesondere für Schwerpunktsetzungen in den Studiengebieten SSG, PSS, DIS, KI und BKS eine sinnvolle und wichtige Ergänzung.

== Tipps und nützliche Infos ==

Wer mit TheGI2 keine grossen Probleme gehabt hat, ist hier ganz richtig. Die Uebungsblaetter sind nicht so schwer, und Referate (zwei pro Gruppe) muss man frueher oder spaeter sowieso halten. Im zweiten Teil wird der Stoff aus TheGI 2 wiederholt (recht ausfuehrlich) und noch vertieft, man muss sich den Stoff nicht selbst nochmal ansehen. Die Vorlesung ist recht kurzweilig, Prof. Ehrig war wesentlich lockerer, als ich ihn aus meiner TheGI2-Zeit in Erinnerung habe.

Fuer den Petrinetz-Teil gibt es ein Script, das ich aber nur fuer mein Referat benoetigt habe - hier stehen die Beweise ausfuehrlich drin, waehrend sie in der VL eher kurz angesprochen werden. Es gibt eine Buchempfehlung fuer den zweiten Teil, aber da habe ich nicht reingesehen. Teilweise ist auch das TheGI2-Buch noch hilfreich.

== Weblinks ==
* [http://tfs.cs.tu-berlin.de/lehre/WS04-05/AnkuendigungBasis.html Formale Spezifikation von Systemen (WS2004/2005)]
* [http://tfs.cs.tu-berlin.de/lehre/WS05-06/Basis/ Formale Spezifikation von Systemen (WS2005/2006)]

== Persönliche Kommentare ==
: (Nicht unterschriebene Kommentare werden gelöscht!)
Klasse, hat mir viel Spass gemacht! FelixB

[[Kategorie:Lehrveranstaltungen]]
[[Kategorie:Fakultäts-ABC]]
[[Kategorie:„von der Website geklaute“ Artikel]]

__NOTOC__