Zobrazeno 1 - 10
of 39
pro vyhledávání: '"B. Aredo"'
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.
Autor:
Marian Renwick, Da Nae R. Woodard, B. Chen, John D. Hulleman, Rafael Ufret-Vincenty, Prerana Ramadurgum, Steffi Daniel, Shyamtanu Datta, B. Aredo, Hui Peng
SummaryTheEscherichia colidihydrofolate reductase (DHFR) destabilizing domain (DD) serves as a promising approach to conditionally regulate protein abundance in a variety of tissues. In the absence of TMP, a DHFR stabilizer, the DD is degraded by the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::150a5efd0f89cd53fa8383bdc959f168
https://doi.org/10.1101/2021.04.13.438468
https://doi.org/10.1101/2021.04.13.438468
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.
Autor:
Issa Traore, Demissie B. Aredo
Publikováno v:
IEEE Transactions on Software Engineering. 30:736-753
We propose a development framework that extends the scope of structured review by supplementing the structured review with model-based verification. The proposed approach uses the Unified Modeling Language (UML) as a modeling notation. We discuss a s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b2e1a873ab70ada9b75f319f1dffc29
https://doi.org/10.1109/tse.2004.86
https://doi.org/10.1109/tse.2004.86
Publikováno v:
SAC
This paper contributes to the discussion on issues related to the formal development of open distributed systems (ODSs). Deficiencies of traditional formal notations in this setting are highlighted. We argue that there is no single formalism exhibiti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99d6b8997d9a8bf5833c7ab30034676d
https://doi.org/10.1016/j.infsof.2003.09.012
https://doi.org/10.1016/j.infsof.2003.09.012
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:
APSEC
Scopus-Elsevier
Scopus-Elsevier
Convenience in specification and possibility for formal analysis are, to some extent, exclusive aspects of system specification. This paper describes an approach that emphasizes both aspects, by combining UML with a language for observable behavior o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::71763fedae47800e93835ceceb83c625
https://doi.org/10.1109/apsec.2001.991465
https://doi.org/10.1109/apsec.2001.991465
Autor:
Demissie B. Aredo, Olaf Owe
Publikováno v:
ITCC (2)
In this paper, we present a framework that integrates the semi-formal modeling language, namely UML, with the formal method, namely PVS, to exploit their synergy in the development of dependable systems. System descriptions are given in UML notations
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c62371c60d33df6f366f343a860fb777
https://doi.org/10.1109/itcc.2005.203
https://doi.org/10.1109/itcc.2005.203