Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Alexander Knüppel"'
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
Publikováno v:
Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6bcde49bc97356db3951bf01ac602ea
https://doi.org/10.1145/3510466.3511272
https://doi.org/10.1145/3510466.3511272
Autor:
Bruce W. Watson, Ina Schaefer, Loek Cleophas, Derrick G. Kourie, Alexander Knüppel, Tobias Runge
Publikováno v:
ACM SIGAda Ada Letters. 38:64-68
In many software applications, it is necessary to preserve confidentiality of information. Therefore, security mechanisms are needed to enforce that secret information does not leak to unauthorized users. However, most language-based techniques that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc26ba0d5e0deeefd4f08fb18fd556d8
https://doi.org/10.1145/3375408.3375413
https://doi.org/10.1145/3375408.3375413
Publikováno v:
SPLC (A)
A software product line comprises a set of products that share a common code base, but vary in specific characteristics called features. Ideally, features of a product line are developed in isolation and composed subsequently. Product lines are incre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::71057cbedcb05ed70f32cc9895aa3ad1
https://doi.org/10.1016/j.jss.2019.01.044
https://doi.org/10.1016/j.jss.2019.01.044
Publikováno v:
FormaliSE@ICSE
The software industry is still in its infancy to widely adopt program verification tools as part of their daily software engineering processes. One key challenge is that many of today’s program verifiers intent to cover numerous bug classes and are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::698aa3cfdc624fb87296d9e118f42877
https://doi.org/10.1109/formalise52586.2021.00018
https://doi.org/10.1109/formalise52586.2021.00018
Publikováno v:
FormaliSE@ICSE
Design-by-contract is a light-weight formal development paradigm, in which object-oriented software is specified with so-called software contracts. Contracts are annotations in the source code that explicitly document intended functional behavior and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ccf79eed2ae99008766476317e697533
https://doi.org/10.1109/formalise52586.2021.00011
https://doi.org/10.1109/formalise52586.2021.00011
Publikováno v:
SPLC (A)
Schlie, A, Knüppel, A, Seidl, C & Schaefer, I 2020, Incremental Feature Model Synthesis for Clone-and-Own Software Systems in MATLAB/Simulink . in Proceedings of the 24th ACM International Systems and Software Product Line Conference ., 7, Association for Computing Machinery, pp. 1–12 . https://doi.org/10.1145/3382025.3414973
Schlie, A, Knüppel, A, Seidl, C & Schaefer, I 2020, Incremental Feature Model Synthesis for Clone-and-Own Software Systems in MATLAB/Simulink . in Proceedings of the 24th ACM International Systems and Software Product Line Conference ., 7, Association for Computing Machinery, pp. 1–12 . https://doi.org/10.1145/3382025.3414973
Families of related MATLAB/Simulink systems commonly emerge ad hoc using clone-and-own practices. Extractively migrating systems towards a software product line (SPL) can be a remedy. A feature model (FM) represents all potential configurations of an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6fd1750b1e8df1f1148db94d882ae6a8
https://doi.org/10.1145/3382025.3414973
https://doi.org/10.1145/3382025.3414973
Publikováno v:
Proceedings of the 8th International Conference on Formal Methods in Software Engineering.
Many software applications contain confidential information, which has to be prevented from leaking through unauthorized access. To enforce confidentiality, there are language-based security mechanisms that rely on information flow control. Typically
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc00b4a7b3a5bd45ab33e36470a01590
https://doi.org/10.1145/3372020.3391565
https://doi.org/10.1145/3372020.3391565
Publikováno v:
VaMoS
Nowadays, the requirements for software and therefore also the required complexity is increasing steadily. Consequently, various techniques to handle the growing demand for software variants in one specific domain are used. These techniques often rel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d262f1b66400bedc286a236ffa634f29
https://doi.org/10.1145/3377024.3377038
https://doi.org/10.1145/3377024.3377038