Zobrazeno 1 - 10
of 188
pro vyhledávání: '"Reiner Hähnle"'
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:
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, 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:
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
Publikováno v:
Lecture notes in computer science
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
Software Engineering is often viewed as the discipline of developing new software systems from scratch. In practice, however, it is much more common that software development starts from a system to be modified or substituted. Software re-engineering
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbe0c2c7cffabe4c97b6edfdd032dd63
https://hdl.handle.net/10067/1920200151162165141
https://hdl.handle.net/10067/1920200151162165141
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed378e2ced583396358d25a2b6155423
https://doi.org/10.1007/978-3-031-19756-7_16
https://doi.org/10.1007/978-3-031-19756-7_16
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783030994280
Finding semantic bugs in code is difficult and requires precious expert time. Lacking comprehensive formal specifications, deductive verification is not an option. We propose an incremental specification procedure: With the help of automatic verifica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b537df4559fa54075706b364816289fa
https://doi.org/10.1007/978-3-030-99429-7_8
https://doi.org/10.1007/978-3-030-99429-7_8
Publikováno v:
Journal of Systems and Software. 195:111510
A Software Product Line (SPL) is a family of similar programs, called variants, generated from a common artifact base. A Multi SPL (MPL) is a set of interdependent SPLs: each variant can depend on variants from other SPLs. MPLs are challenging to mod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85f842870f9130bb29cd5a30ab433e17
https://doi.org/10.1016/j.jss.2022.111510
https://doi.org/10.1016/j.jss.2022.111510
Publikováno v:
GPCE
The quest for feature- and family-oriented deductive verification of software product lines resulted in several proposals. In this paper we look at delta-oriented modeling of product lines and combine two new ideas: first, we extend Hahnle & Schaefer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6bdd2346c99b0781405295255bbde03
https://doi.org/10.1145/3486609.3487200
https://doi.org/10.1145/3486609.3487200