Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Adriaan de Groot"'
Autor:
Tommy Weiss-Sadan, Maolin Ge, Makiko Hayashi, Magdy Gohar, Cong-Hui Yao, Adriaan de Groot, Stefan Harry, Alexander Carlin, Hannah Fischer, Lei Shi, Ting-Yu Wei, Charles H. Adelmann, Konstantin Wolf, Tristan Vornbäumen, Benedikt R. Dürr, Mariko Takahashi, Marianne Richter, Junbing Zhang, Tzu-Yi Yang, Vindhya Vijay, David E. Fisher, Aaron N. Hata, Marcia C. Haigis, Raul Mostoslavsky, Nabeel Bardeesy, Thales Papagiannakopoulos, Liron Bar-Peled
Publikováno v:
Cell Metab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::833e31ceaa2271092b1e744e495f43f0
https://doi.org/10.1016/j.cmet.2023.01.012
https://doi.org/10.1016/j.cmet.2023.01.012
Publikováno v:
IFIP International Federation for Information Processing ISBN: 9780387342252
OSS
OSS
This paper describes how a Software Quality Observatory works to evaluate and quantify the quality of an Open Source project. Such a quality measurement can be used by organizations intending to deploy an Open Source solution to pick one of the avail
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c32e0195f75544be8047e0ed239ed214
https://doi.org/10.1007/0-387-34226-5_6
https://doi.org/10.1007/0-387-34226-5_6
Autor:
Adriaan de Groot, Jozef Hooman
Publikováno v:
Formal Methods for Embedded Distributed Systems ISBN: 9781402079962
Formal Methods for Embedded Distributed Systems
Formal Methods for Embedded Distributed Systems
This chapter uses the Unified Modeling Language (UML) and the theorem prover PVS to formalize and analyze a part of the BART/AATC system. Our approach to the formalization and analysis takes five steps within which we iterate a number of activities,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::97418180d5cc43ea32cab0c2608c84d9
https://doi.org/10.1007/1-4020-7997-4_4
https://doi.org/10.1007/1-4020-7997-4_4
Autor:
Adriaan de Groot, Jozef Hooman
Publikováno v:
JUCS-Journal of Universal Computer Science 6(7): 621-649
The interactive theorem prover PVS is used to formalize the user needs of the Light Control system. First the system is modeled at a high level of abstraction, in terms of properties the user can observe. After resolving ambiguities and conflicts, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5390657d105d9642310129d2b3c239f7
https://zenodo.org/record/6995855
https://zenodo.org/record/6995855