Zobrazeno 1 - 10
of 226
pro vyhledávání: '"Thomas Thüm"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 2 (2023)
Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is comple
Externí odkaz:
https://doaj.org/article/c0847af94b3541908ad242766b5af307
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 284, Iss Proc. F-IDE 2018, Pp 53-70 (2018)
Deductive verification of software has not yet found its way into industry, as complexity and scalability issues require highly specialized experts. The long-term perspective is, however, to develop verification tools aiding industrial software devel
Externí odkaz:
https://doaj.org/article/49a5112040e146579527f2070dcc8a5f
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
Publikováno v:
Empirical Software Engineering. 28
Product lines are widely used to manage families of products that share a common base of features. Typically, not every combination (configuration) of features is valid. Feature models are a de facto standard to specify valid configurations and allow
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94833b59982d38e9ebd43958c2d93370
https://doi.org/10.1007/s10664-022-10265-9
https://doi.org/10.1007/s10664-022-10265-9
Publikováno v:
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::35fb9537137bfd377638e718772d4bad
https://doi.org/10.1145/3564719.3568695
https://doi.org/10.1145/3564719.3568695
Publikováno v:
Empirical Software Engineering. 28
Incremental satisfiability (SAT) solving is an extension of classic SAT solving that enables solving a set of related SAT problems by identifying and exploiting shared terms. However, using incremental solvers effectively is hard since performance is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::739f65154d9ad8ef7eba2e61c8ef5786
https://doi.org/10.1007/s10664-022-10217-3
https://doi.org/10.1007/s10664-022-10217-3
Autor:
Alexander Schultheiß, Paul Maximilian Bittner, Alexander Boll, Lars Grunske, Thomas Thüm, Timo Kehrer
Publikováno v:
Software and Systems Modeling.
Model matching algorithms are used to identify common elements in input models, which is a fundamental precondition for many software engineering tasks, such as merging software variants or views. If there are multiple input models, an n-way matching
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58dca58615d1e5dad1c763982e9c3b3c
https://doi.org/10.1007/s10270-022-01062-5
https://doi.org/10.1007/s10270-022-01062-5
Autor:
Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm
Publikováno v:
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8acd5715a9fd03cba79732cc78901fb8
https://doi.org/10.1145/3540250.3549108
https://doi.org/10.1145/3540250.3549108