Bernhard Bauer

Zimmer:    S 3217
Telefon:   +49 - 89 - 289 - 28160
Fax:       +49 - 89 - 289 - 28180
Email:     bauer@informatik.tu-muenchen.de
Snail:	   TU München
           Institut für Informatik
           Postfach
           D-80290 München

• Integration von algebraischen Spezifikationen und attributierten Grammatiken
• Anwendung von algebraisch attributierten Grammatiken im Bereich der Spezifikation von interaktiven Systemen

• Bauer, B.: ISAR: An Interactive System for Algebraic Implementation Proofs, Vortrag, Eight Workshop on Specification of Abstract Data Types joint with the Third COMPASS Workshop, Dourdan, France, August 26-30, 1991
• Bauer, B., Hennicker, R.: ISAR: An Interactive System for Algebraic Implementation Proofs.-In: Proc. of the International Conference on Logic Programming and Automated Reasoning 92, St. Petersburg, Russia, July 15-20, 1992. Ed.: A. Voronkov. Berlin: Springer, 1992, S. 451-453. (Lecture Notes in Computer Science; 624)
• Bauer, B., Hennicker, R.: Proving the Correctness of Algebraic Implementations by the ISAR System.-In: Proc. of the International Symposium on Design and Implementation of Symbolic Computation Systems 93, Gmunden, Austria, September 15-17, 1993. Ed. Alfonso Miola. Berlin: Springer, 1993, S. 2-16. (Lecture Notes in Computer Science; 722)
• Bauer, B., Hennicker, R.: Proving the Correctness of Algebraic Implementations by the ISAR System. Tech. Report. München: Ludwig-Maximilians-Universität, Inst. f. Informatik, 1993, 16 S. (Bericht 9315)
• Bauer, B.: An Interactive System for Algebraic Implementation Proofs: The ISAR System from the User's Point of View. Tech. Report. München: Ludwig-Maximilians-Universität, Inst. f. Informatik, 1993, 65 S. (Bericht 9313)
• Bauer, B.: Attributed Term Induction - A Proof Principle for Attribute Grammars. Tech. Report. München: Technische Universität, Inst. f. Informatik, 1994, 24 S. (Bericht 9403)
• Bauer, B.: Proving Properties over Attribute Grammars.-In: Semantikgestützte Analyse, Entwicklung und Generierung von Programmen, Workshop der GI-Fachgruppe 2.1.3, Schloss Rauischholzhausen, Germany, March 10-11, 1994, Ed: U. Meyer, G. Snelting, Tech. Report. Justus-Liebig-Universität Giessen, AG Informatik, 1994, (Bericht 9402)
• Bauer, B., Hennicker, R.: Behavioural Program Development with the ISAR System.-In: Systems for Computer-Aided Specification, Development and Verification, Workshop, Christian-Albrechts-Universität Kiel, Germany, July 4-5, 1994, Ed: B. Buth, R. Berghammer, Tech. Report. Christian-Albrechts-Universität Kiel, Institut für Informatik und Praktische Mathematik, 1994, S. 140 - 153. (Bericht 9416)
• Bauer, B.: Verification and Validation of Attribute Grammars, Vortrag, British Colloquium on Theoretical Computer Science, BCTCS 11, Swansea, Wales, April 2-5, 1995
  Zusammenfassung als Postscript-Datei
• Bauer, B.: Proving Correctness of Formal User Interface Specifications, to appear in: Proceedings of the 2nd Eurographics Workshop on Design, Specification, Verification of Interactive Systems, Chateau de Bonas, Frankreich, Juni 6-9, 1995
  Postscript-Datei mit Bildern (8 MByte);
  Postscript-Datei ohne Bilder (201KByte)
• Bauer, B.: Attributed Algebraic Specifications, Vortrag, 11th Workshop on Abstract Data Types and COMPASS meeting, Oslo, Norway, September 19-23, 1995
• Bauer, B.: Generating User Interface from Formal Specifications of the Application, in: "Computer-Aided Design of User Interfaces", Proceedings of CADUI'96 (Namur, 5-7 June 1996), J. Vanderdonckt (Ed.), Presses Universitaires de Namur, Namur, 1996

• Vorlesung Übersetzung objekt-orientierte Programmiersprachen