EXTRA-Treffen Archiv Sommersemester 1996

3.7., Michael Fröhlich: Java - Ein Überblick

   Selten zuvor wurde eine neue Programmiersprache mit soviel
   Euphorie aufgenommen wie Sun's Java. Kaum ein renommierter DV-
   Hersteller leistet es sich, diese Entwicklung zu ignorieren. Der
   Vortrag soll die Gr¨nde fuer den Erfolg von Java darlegen und
   in Prinzipien und Konzepte der Sprache einf¨uhren:

       - Plattformunabhängigkeit
       - HTML-Applets vs. Stand-Alone Applikationen
       - Datentypen und objektorientierte Konzepte
       - Modularisierung und Sichtbarkeit
       - Multi-Threading und Networking
       - "Freundlichkeiten" von Java
       - Standardbibliotheken und weitere API's
       - Entwicklungen rund um Java




14.6. Sabine Dick: Introduction into Timed CSP (Davies)


   Viele Systeme, fuer die die Sicherheit eine grosse Rolle spielt, sind
   Realzeit-Systeme. Formale Methoden fuer die Spezifikation, das
   Beweisen und Testen sind daher gerade in diesem Bereich sehr
   interessant. Der Vortrag stellt Teile der Phd.-Arbeit von Jim Davies
   (1992, Oxford) vor.

   Es wird eine kurze Einfuehrung in Timed CSP gegeben. Fuer die
   Semantikdefinition wird das Timed Failures Modell erlaeutert und die
   einzelnen Sprachkonstrukte darin definiert. Das Konzept des Timewise
   Refinement erlaubt es, Resultate aus dem Trace Modell ohne Zeit
   zur Vereinfachung von Beweisobligationen im Timed Failures Modell
   heranzuziehen.




7.6.  Besma Abd Moulah:

    Seiteneffektanalyse einer kombinierten funktionalen / imperativen
    Sprache.

   Fuer Lisp-Dialekte ist nur noch das oberflaechliche funktionale
   Erscheinungsbild uebriggeblieben, daher ist die Seiteneffektanalyse
   fuer sie schwer einzusetzen.
   In diesem Vortrag wird ein Ansatz vorgestellt, bei dem trotz
   Integrieren von destruktiven Operationen die nicht-funktionalen und
   die funktionalen Teile sich leicht (in effizienter Weise)
   identifizieren lassen.


31.5., Zhenyu Qian:

   Getypte OO funktionale Programmierung mit dynamischem Binden

   Inhalt:
   + Kombination von Programmiermethoden
   + Kleine Programme
   + Eine fomale Semantik
   + Implementierungsansaetze


24.5. Carla Purper:

    "CONSTRUWARE" - a development of an object oriented
    client-server application  in the an industrial context

    Last 6 years I've worked at Constructa, a Firma of the private University
    PUC - Chile. First 4 years were spent on the specification and development
    of a  WAN and "generic" object oriented client-server application.
    Initially it was designed to contruct one electronic platform for the
    construction industry. Due to its generic features we started selling this
    package for other areas of interest. Every new application with this
    generic software was at least 3 times less expensive than normal
    development. The technical development "philosophy" and management
    concerns should be explained.