Zobrazeno 1 - 10
of 557
pro vyhledávání: '"Reiner Hähnle"'
Autor:
de Rijke, Maarten
Publikováno v:
Journal of Logic, Language, and Information, 2001 Oct 01. 10(4), 518-523.
Externí odkaz:
https://www.jstor.org/stable/40180250
Autor:
Reiner Hähnle, Wil van der Aalst
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as
Autor:
Grzegorz Malinowski
Publikováno v:
Notre Dame J. Formal Logic 37, no. 4 (1996), 631-646
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5de5ec368da7908c476d12c3549efaed
https://projecteuclid.org/euclid.ndjfl/1040046147
https://projecteuclid.org/euclid.ndjfl/1040046147
Autor:
Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 1-15 (2019)
Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance before the services are de
Externí odkaz:
https://doaj.org/article/e44f7e5d117948708eb464eb2889f50e
Autor:
de Rijke, Maarten
Publikováno v:
Journal of Logic, Language and Information; December 2001, Vol. 10 Issue: 4 p518-523, 6p
Autor:
Eduard Kamburjan, Reiner Hähnle
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 279, Iss Proc. ICE 2018, Pp 52-67 (2018)
We propose active object languages as a development tool for formal system models of distributed systems. Additionally to a formalization based on a term rewriting system, we use established Software Engineering concepts, including software product l
Externí odkaz:
https://doaj.org/article/e4a3539c6d334b03bd8ab1226e43c7b4
Autor:
Reiner Hähnle
Publikováno v:
Edsger Wybe Dijkstra ISBN: 9781450397735
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9614dc680cc306249d203a204bf44d5
https://doi.org/10.1145/3544585.3544593
https://doi.org/10.1145/3544585.3544593
Publikováno v:
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e38394a9688d2fc6d5729f3953e8c8c
https://doi.org/10.1145/3524482.3527649
https://doi.org/10.1145/3524482.3527649
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Re