Zobrazeno 1 - 10
of 636
pro vyhledávání: '"Thüm, Thomas"'
Autor:
Thum, Thomas
Endothelial progenitor cells (EPC) are bone-marrow derived circulating cells participating in angiogenesis and vascular homeostasis. Reduced numbers of circulating EPC are observed in patients with various cardiovascular diseases and are related to a
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.484754
Ensuring the functional safety of highly configurable systems often requires testing representative subsets of all possible configurations to reduce testing effort and save resources. The ratio of covered t-wise feature interactions (i.e., T-Wise Fea
Externí odkaz:
http://arxiv.org/abs/2406.19801
Feature models are commonly used to specify the valid configurations of a product line. In industry, feature models are often complex due to a large number of features and constraints. Thus, a multitude of automated analyses have been proposed. Many
Externí odkaz:
http://arxiv.org/abs/2303.12383
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 2 (June 7, 2023) lmcs:10384
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:
http://arxiv.org/abs/2211.15261
Autor:
Krieter, Sebastian, Thüm, Thomas, Schulze, Sandro, Ruland, Sebastian, Lochau, Malte, Saake, Gunter, Leich, Thomas
Sampling techniques, such as t-wise interaction sampling are used to enable efficient testing for configurable systems. This is achieved by generating a small yet representative sample of configurations for a system, which circumvents testing the ent
Externí odkaz:
http://arxiv.org/abs/2205.15180
We demonstrate that traits are a natural way to support correctness-by-construction (CbC) in an existing programming language in the presence of traditional post-hoc verification (PhV). With Correctness-by-Construction, programs are constructed incre
Externí odkaz:
http://arxiv.org/abs/2204.05644
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.
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.