direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

1998

Robert Büssow and Wolfgang Grieskamp and Winfried Heicking and Stephan Herrmann (1998). An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools. Proc. of Intl. Workshop on Current Trends in Applied Formal Methods. Springer-Verlag, Berlin.


R. Büssow and R. Geisler and M. Klar (1998). Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. Proc. of the 1st Intl. Conf. on Fundemantal Approaches to Software Engineering – FASE'98. Springer-Verlang, 71–87.


Wolfgang Grieskamp and Maritta Heisel and Heiko Dörr (1998). Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components. Proc. of the 1st Intl. Conf. on Fundemantal Approaches to Software Engineering – FASE'98. Springer-Verlang, 88–106.


Robert Büssow and Robert Geisler and Wolfgang Grieskamp and Marcus Klar (1998). Integrating Z with Dynamic Modeling Techniques for the Specification of Reactive Systems.


Peter Pepper (1998). Funktionale Programmierung in OPAL, ML, HASKELL und GOFER. Springer-Lehrbuch.


Klaus Didrich and Annika Wagner (1998). Integration of Graph Transformation and Functional Programming. [Proceedings of the Third World Conference on Integrated Design & Process Technology (Berlin, July 1998)]


1997

Th. Frauenstein (1997). Funktionale Prozesssprachen höherer Ordnung. Fachgruppe Übersetzerbau, Fachbereich Informatik, Technische Universität Berlin


Klaus Didrich and Torsten Klein (1997). DOSFOP – A Documentation Tool for the Algebraic Programming Language OPAL. TAPSOFT '97:Theory and practice of Software Development, 875–878.




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