direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

1996

Robert Büssow and Heiko Dörr and Robert Geisler and Wolfgang Grieskamp and Marcus Klar (1996). mSZ - Ein Ansatz zur systematischen Verbindung von Z und Statecharts.


Klaus Didrich and Carola Gerke and Wolfgang Grieskamp and Christian Maeder and Peter Pepper (1996). Towards Integrating Algebraic Programming and Functional Programming: the Opal System. Algebraic Methodology and Software Technology. Springer, 559–562.


Peter Pepper and Mario Südholt (1996). Formulation and development of parallel numerical algorithms with data distribution algebras. Software Engineering im Scientific Computing. Vieweg, 164–169.


Pepper, Peter and Smith, Douglas R. (1996). A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). Science of Computer Programming




Peter Pepper (1996). An Algebraic Approach to Global-Search Algorithms. Specification and Semantics, 25.


1995

M. Jmaiel (1995). Development of communication protocals by composing and refining temporal specifications. Proceedings of the 4th Software Quality Conference



M. Jmaiel (1995). An algebraic-temporal specification of a csma/cd-protocal. Proceedings of the IFIP WG 6.1 Fifteenth International Symposium on Protocal Specification, Testing and Verification. Chapman and Hall.


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