Zobrazeno 1 - 10
of 51
pro vyhledávání: '"Michael Schenke"'
Autor:
Hans Rischel, Michael Schenke, He Jifeng, Martin Fränzle, Anders P. Ravn, Ernst-Rüdiger Olderog, Markus Müller-Olm, Michael R. Hansen, C. A. R. Hoare
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540584681
FTRTFT
FTRTFT
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c832c90f5eb621ec497d40bb6b9c89fb
https://ora.ox.ac.uk/objects/uuid:5b69534d-b9d9-45b6-95e2-c7f81255f15f
https://ora.ox.ac.uk/objects/uuid:5b69534d-b9d9-45b6-95e2-c7f81255f15f
Autor:
Michael Schenke
Publikováno v:
Acta Informatica. 36:67-96
In the two parts of this article we present a transformational approach to the design of real-time systems. The overall starting point are requirements formulated in a subset of Duration Calculus called implementables and the target are programs in a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::09b99964a678cde21d86199fecdd9502
https://doi.org/10.1007/s002360050154
https://doi.org/10.1007/s002360050154
Autor:
Michael Schenke, Ernst-Rüdiger Olderog
Publikováno v:
Acta Informatica. 36:1-65
In the two parts of this article a transformational approach to the design of distributed real-time systems is presented. The starting point are global requirements formulated in a subset of Duration Calculus called implementables and the target are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f596807a780449e5f259e9e6e6c027f9
https://doi.org/10.1007/s002360050153
https://doi.org/10.1007/s002360050153
Autor:
Michael Schenke
Publikováno v:
Logikkalküle in der Informatik ISBN: 9783834818874
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d28834cb7be2c5d552439082fb494095
https://doi.org/10.1007/978-3-8348-2295-6_2
https://doi.org/10.1007/978-3-8348-2295-6_2
Autor:
Michael Schenke
Publikováno v:
Logikkalküle in der Informatik ISBN: 9783834818874
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8f2df45fb7ebf0b4941eb8138d41664
https://doi.org/10.1007/978-3-8348-2295-6_3
https://doi.org/10.1007/978-3-8348-2295-6_3
Autor:
Michael Schenke
Publikováno v:
Logikkalküle in der Informatik ISBN: 9783834818874
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::82fce54bac741e67c00ac2e6f67526b3
https://doi.org/10.1007/978-3-8348-2295-6_10
https://doi.org/10.1007/978-3-8348-2295-6_10
Autor:
Michael Schenke
Publikováno v:
Logikkalküle in der Informatik ISBN: 9783834818874
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4eb794a077a67bd649bfd6b58bbe713c
https://doi.org/10.1007/978-3-8348-2295-6_12
https://doi.org/10.1007/978-3-8348-2295-6_12
Autor:
Michael Schenke
Publikováno v:
Logikkalküle in der Informatik ISBN: 9783834818874
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::758c3306052f2d1cd1d64030da3ddc4b
https://doi.org/10.1007/978-3-8348-2295-6_6
https://doi.org/10.1007/978-3-8348-2295-6_6
Autor:
Michael Schenke
Publikováno v:
Logikkalküle in der Informatik ISBN: 9783834818874
Die bekannteste Programmiersprache, die Logik operationell benutzt, um gegebene Fragen direkt durch logische Schlusse zu beantworten, ist Prolog. Dabei kann Prolog grob in zwei Teile unterteilt werden: in die logischen und die nichtlogischen Bestandt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c9487b261ef78c14deb366db84fa090
https://doi.org/10.1007/978-3-8348-2295-6_4
https://doi.org/10.1007/978-3-8348-2295-6_4