Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2016BioVeL: A virtual laboratory for data analysis and modelling in biodiversity science and ecology
Hardisty, A.R.; Bacall, F.; Beard, N.; Balcázar-Vargas, M.-P.; Balech, B.; Barcza, Z.; Bourlat, S.J.; Giovanni, R.; Jong, Y.; Leo, F.; Dobor, L.; Donvito, G.; Fellows, D.; Guerra, A.F.; Ferreira, N.; Fetyukova, Y.; Fosso, B.; Giddy, J.; Goble, C.; Güntsch, A.; Haines, R.; Ernst, V.H.; Hettling, H.; Hidy, D.; Horváth, F.; Ittzés, D.; Ittzés, P.; Jones, A.; Kottmann, R.; Kulawik, R.; Leidenberger, S.; Lyytikäinen-Saarenmaa, P.; Mathew, C.; Morrison, N.; Nenadic, A.; Hidalga, A.N.; Obst, M.; Oostermeijer, G.; Paymal, E.; Pesole, G.; Pinto, S.; Poigné, A.; Fernandez, F.Q.; Santamaria, M.; Saarenmaa, H.; Sipos, G.; Sylla, K.-H.; Tähtinen, M.; Vicario, S.; Vos, R.A.; Williams, A.R.; Yilmaz, P.
Journal Article
2006synERJY - an object-oriented synchronous language
Poigné, A.; Budde, R.; Sylla, K.-H.
Journal Article
2004eXtreme Programming, eine Welle mit Schaum und Substanz
Sylla, K.-H.
Conference Paper
2003synERJY: a High-Level Language for Embedded Controllers
Budde, R.; Poigné, A.; Sylla, K.-H.
Journal Article
2003Zur Konstruktion verlässlicher eingebetteter Software durch Synchrone Programmierung
Budde, R.; Poigné, A.; Sylla, K.-H.
Journal Article
2002Synchrone Programmierung - Anwendung
Budde, R.; Poigné, A.; Sylla, K.-H.
Journal Article
2002Synchrone Programmierung - Grundlagen
Budde, R.; Poigné, A.; Sylla, K.-H.
Journal Article
2002Synchrone Programmierung - Sprachen
Budde, R.; Poigné, A.; Sylla, K.-H.
Journal Article
2000Ein Konzept zur Validierung objekt-orientierter Software für eingebettete Systeme
Müllerburg, M.; Sylla, K.-H.
Journal Article
1999A synchronous object oriented design flow for embedded applications
Plöger, P.-G.; Budde, R.; Sylla, K.-H.
Conference Paper
1998Verläßliche eingebettete Systeme durch synchrone objektorientierte Technologie
Budde, R.; Müllerburg, M.; Sylla, K.-H.
Journal Article
1997Formal verification as a design tool - the transponder lock example
Budde, R.; Merceron, A.; Sylla, K.-H.
Conference Paper
1995Eiffel: Flexibilität auf sicherer Grundlage
Sylla, K.-H.
Journal Article
1995Eingebettete Echtzeitsysteme
Budde, R.; Sylla, K.-H.
Journal Article
1995Objektorientierte Echtzeit-Anwendugen auf Grundlage perfekter Synchronisation
Budde, R.; Sylla, K.-H.
Journal Article
1995Objektorientierte Konstruktion von Software-Werkzeugen und Materialien
Bäumer, D.; Budde, R.; Sylla, K.-H.; Gryczan, G.; Züllighoven, H.
Journal Article
1992Erfahrungen beim objektorientierten Entwerfen und Analysieren
Budde, R.; Christ-Neumann, M.-L.; Sylla, K.-H.; Züllighoven, H.
Report
1992Tools and materials
Budde, R.; Christ-Neumann, M.-L.; Sylla, K.-H.
Conference Paper
1990Evolutionäre Systementwicklung
Budde, R.; Sylla, K.-H.; Züllighoven, H.
Book Article
1990Objektorientierter Systementwurf. Teil 1
Budde, R.; Sylla, K.-H.; Züllighoven, H.
Journal Article
1990Objektorientierter Systementwurf. Teil 2
Budde, R.; Sylla, K.-H.; Züllighoven, H.
Journal Article
1990Objektorientierter Systementwurf. Teil 3
Budde, R.; Sylla, K.-H.; Züllighoven, H.
Journal Article
1990Prototyping
Budde, R.; Sylla, K.-H.; Züllighoven, H.
Book Article
1989Der Entwurf objektorientierter Systeme
Budde, R.; Kuhlenkamp, K.; Sylla, K.-H.; Züllighoven, H.
Journal Article
1989Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung
Budde, R.; Kuhlenkamp, K.; Sylla, K.-H.; Züllighoven, H.
Conference Paper
1989Methodik des Programmierens in Prolog
Budde, R.; Kuhlenkamp, K.; Sylla, K.-H.; Züllighoven, H.
Conference Paper
1988Eine Übersicht über die Prolog-Programmierumgebung ProLab
Budde, R.; Kuhlenkamp, K.; Sylla, K.-H.; Züllighoven, H.
Book Article
1983Anmerkungen zum Prototyping
Streich, H.; Sylla, K.-H.; Züllighoven, H.
Conference Paper
1980KAW - ein Kommunikationsabwickler im Betriebssystem BS2000
Budde, R.; Sylla, K.-H.
Book Article
1980Softwaretechniken für Mikroprozessoren
Budde, R.; Sylla, K.-H.
Conference Paper