direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

1994

P. Pepper and R. Betschko and S. Dick and K. Didrich (1994). Realizing Sets by Hash Tables: How to do it in KorSo.



Mario Südholt (1994). Data Distribution Algebras –- A Formal Basis for Programming Using Skeletons. Proceedings of the 4th International Conference on Programming Methods, Concepts, and Calculi (PROCOMET '94). Consiglio Nazionale delle Ricerche, 38–57.


K. Didrich and J. Exner and W. Grieskamp and P. Pepper (1994). Integrating Algebraic Specifications and Functional Programming. Experiences with the OPAL System.. Proceedings of the International Workshop on Advanced Software Technology, Shanghai, Sept. 15-16 1994.


Klaus Didrich and Andreas Fett and Carola Gerke and Wolfgang Grieskamp and Peter Pepper (1994). OPAL: Design and Implementation of an Algebraic Programming Language. Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 1994. Springer, 228–244.


M. Jmaiel and P. Pepper (1994). Development of Communication Protocols using Algebraic and Temporal Specifications. Proceedings of the International Workshop on Advanced Software Technology, Shanghai, Sept. 15-16 1994.


1993

Peter Pepper and Mario Südholt and Jürgen Exner (1993). Functional Programming of Massively Parallel Systems.


Andreas Fett and Carola Gerke and Wolfgang Grieskamp and P. Pepper (1993). Algebraic Programming in OPAL. Bulletin of the European Association for Theoretical Computer Science (EATCS), 171-181.


Peter Pepper and Martin Wirsing and others (1993). KORSO: A Methodology for the Development of Correct Software.


Peter Pepper and Martin Wirsing and Ralph Betschko and Martin Beyer and Klaus Didrich and Joachim Faulhaber and Wolfgang Grieskamp and Michael Mehlich and Thomas Santen and Martin Strecker (1993). KORSO: A Methodology for the Development of Correct Software.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Leiter

Prof. Dr. Peter Pepper
Sprechstd.: keine mehr

Sekretariat

Christine Beyer
Raum EN 538
Tel: +49 30 314-22280

Öffnungszeiten

mail/tel. vereinbaren

Postadresse

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik - ÜBB
Sekr. EN 13
Raum EN 538
Einsteinufer 17
D-10587 Berlin