Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Ramy Shahin"'
Publikováno v:
IEEE Transactions on Software Engineering. 49:1323-1341
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a79ba23a6a6988e52ba5bfa0e5e4ccb0
https://doi.org/10.1109/tse.2022.3175752
https://doi.org/10.1109/tse.2022.3175752
Publikováno v:
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1526b9b208eb16e20ca4289310e07b16
https://doi.org/10.1145/3571788.3571791
https://doi.org/10.1145/3571788.3571791
Publikováno v:
Software and Systems Modeling.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d71215e494f8bf8f410c72d1d0d8eb01
https://doi.org/10.1007/s10270-022-01063-4
https://doi.org/10.1007/s10270-022-01063-4
Software Product Lines (SPLs) are families of related software products developed from a common set of artifacts. Most existing analysis tools cannot be applied to an entire SPL, but rather must be applied an SPL’s products one at a time. Some tool
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5992207ea99287278eb06a5429680c1b
https://doi.org/10.21203/rs.3.rs-1264268/v1
https://doi.org/10.21203/rs.3.rs-1264268/v1
Publikováno v:
MODELS
In recent decades, cyber-physical systems developed using Model-Driven Engineering (MDE) techniques have become ubiquitous in safety-critical domains. Safety assurance cases (ACs) are structured arguments designed to comprehensively show that such sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d25387e8c94e8196591b8d461da5dee
https://doi.org/10.1109/models50736.2021.00028
https://doi.org/10.1109/models50736.2021.00028
Autor:
S. Ramesh, Ramy Shahin, Joanne M. Atlee, Marsha Chechik, Rafael Ferreira Toledo, Robert Hackman
Publikováno v:
MODELS
Software Product Lines (SPLs) are families of related software products developed from a common set of artifacts. Most existing analysis tools can be applied to a single product at a time, but not to an entire SPL. Some tools have been redesigned/re-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a9556f97d067a59eddd361666962095
http://arxiv.org/abs/2107.07690
http://arxiv.org/abs/2107.07690
Applying program analyses to Software Product Lines (SPLs) has been a fundamental research problem at the intersectionof Product Line Engineering and software analysis. Different attempts have been made to "lift" particular product-level analyses to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74d968599219f63b03eefc9566bb67cb
https://doi.org/10.36227/techrxiv.14870187.v1
https://doi.org/10.36227/techrxiv.14870187.v1
Autor:
Ramy Shahin
Publikováno v:
ICSE (NIER)
In this paper we introduce the notion of Modal Software Engineering: automatically turning sequential, deterministic programs into semantically equivalent programs efficiently operating on inputs coming from multiple overlapping worlds. We are drawin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e5ca4dead0bdd037d6cae4ba2ce3ab25
https://doi.org/10.1109/icse-nier52604.2021.00026
https://doi.org/10.1109/icse-nier52604.2021.00026
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030839024
SAFECOMP
SAFECOMP
Safety-critical software systems are in many cases designed and implemented as families of products, usually referred to as Software Product Lines (SPLs). Products within an SPL vary from each other in terms of which features they include. Applying e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac2e77be73590f5fd46fae275828678c
https://doi.org/10.1007/978-3-030-83903-1_9
https://doi.org/10.1007/978-3-030-83903-1_9
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783030921231
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::38aae72c23508890de1326439684b4b1
https://doi.org/10.1007/978-3-030-92124-8_2
https://doi.org/10.1007/978-3-030-92124-8_2