Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Karl-Heinz Sylla"'
Autor:
Karl-Heinz Sylla, Angi Voss
Publikováno v:
Marketing Review St. Gallen. 31:36-45
Autor:
Hardisty, Alex, Bacall, Finn, Beard, Niall, Maria-Paula Balcázar-Vargas, Balech, Bachir, Barcza, Zoltán, Bourlat, Sarah, Giovanni, Renato, Jong, Yde, Leo, Francesca, Dobor, Laura, Donvito, Giacinto, Fellows, Donal, Guerra, Antonio, Ferreira, Nuno, Fetyukova, Yuliya, Fosso, Bruno, Giddy, Jonathan, Goble, Carole, Güntsch, Anton, Haines, Robert, Ernst, Vera, Hettling, Hannes, Hidy, Dóra, Horváth, Ferenc, Ittzés, Dóra, Ittzés, Péter, Jones, Andrew, Kottmann, Renzo, Kulawik, Robert, Leidenberger, Sonja, Lyytikäinen-Saarenmaa, Päivi, Cherian Mathew, Morrison, Norman, Nenadic, Aleksandra, Hidalga, Abraham, Obst, Matthias, Oostermeijer, Gerard, Paymal, Elisabeth, Pesole, Graziano, Pinto, Salvatore, Poigné, Axel, Fernandez, Francisco, Santamaria, Monica, Saarenmaa, Hannu, Sipos, Gergely, Karl-Heinz Sylla, Tähtinen, Marko, Vicario, Saverio, Vos, Rutger, Williams, Alan, Yilmaz, Pelin
Additional file 1. ‘How-to’ guidelines for the biodiversity virtual e-laboratory.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd56b8593c5ec67f248fc44ab27ef2a3
Publikováno v:
Electronic Notes in Theoretical Computer Science. 153(4):99-115
The programming language synERJY is presented. It integrates object-orientation and synchronous formalisms in the spirit of Esterel, Lustre, and Statecharts.
Publikováno v:
at - Automatisierungstechnik. 51:368-376
Der Artikel stellt anhand einfacher Beispiele dar, wie funktionale sowie nicht-funktionale Eigenschaften synchroner Programme validiert werden können. Um ein tieferes Verständnis zu gewinnen, wird zunächst eine Übersetzungstechnik der synchronen
Publikováno v:
Safe Comp 96 ISBN: 9783540760702
SAFECOMP
SAFECOMP
We describe a methodology for the construction and validation of embedded systems with real-time constraints. Our methodology is based on object-oriented techniques and synchronous programming. This greatly eases the use of formal verification to ana
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94161d8b5fed7657f10885d0ac35016d
https://doi.org/10.1007/978-1-4471-0937-2_6
https://doi.org/10.1007/978-1-4471-0937-2_6
Autor:
Roland Gabriel, Armin Heinzl, Carsten Kröger, Peter Stahlknecht, Wilhelm Mülder, Christian Scholz, Jürgen Arndt, Heinz Lothar Grob, Lore Neumann-Alkier, Rainer Thome, Ludwig Nastansky, Eberhard Stickel, Hans Grabowski, Gerhard Knolmayer, Jochen Schwarze, Wolfgang George, Karl Kurbel, Wolfgang Janko, Peter Buxmann, Reinhard Budde, Karl-Heinz Sylla, Heinz Züllighoven, Michael Rosemann, Hartmut Janocha, Ralf Wein, Joachim Niedereichholz
Publikováno v:
Lexikon der Wirtschaftsinformatik ISBN: 9783540619178
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::886c9c80fdac9f6baaa68de45f6cdeea
https://doi.org/10.1007/978-3-662-08370-3_16
https://doi.org/10.1007/978-3-662-08370-3_16
Publikováno v:
Berichte des German Chapter of the ACM ISBN: 9783519026761
Eiffel
Eiffel
In einem Software-Projekt bei der RWG in Stuttgart wird ein interaktives Anwendungssystem zur Unterstutzung der Arbeit von Kundenberaterinnen und Kundenberatern einer Bankengruppe konstruiert. Es erschien sinnvoll, eine evolutionare Entwicklungsstrat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e5dd42a15470986079df9c9eba01731d
https://doi.org/10.1007/978-3-322-86775-9_9
https://doi.org/10.1007/978-3-322-86775-9_9
Publikováno v:
auto. 50:A17
Publikováno v:
auto. 50:A13
Publikováno v:
auto. 50:A9
Dieser Artikel ist der erste Teil einer dreiteiligen Serie, die in die synchrone Programmierung einführt. Der erste Teil diskutiert die grundlegenden Konzepte an Hand der Programmiersprache Esterel. Der zweite Teil stellt weitere synchrone Programmi