Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Pitu, M."'
Autor:
O’Donoghue, Diarmuid, Monahan, Rosemary, Grijincu, D., Pitu, M., Halim, F., Rahman, F., Abgaz, Y., Hurley, D.
We describe the Arís (Analogical Reasoning for Implementations and Specifications) system that uses analogical reasoning to create formal specifications for a given implementation. Arís is built on the hypothesis that structurally similar implement
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d949c418803e8ec4032466f6cd851f6a
Formal methods and formal verification of source code has been used extensively in the past few years to create dependable software systems. However, although formal languages like Spec# or JML are quite popular, the set of verified implementations r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______223::34a5302c33f768864094e689359e219f
http://eprints.maynoothuniversity.ie/4497/
http://eprints.maynoothuniversity.ie/4497/
Publikováno v:
In Studies in Surface Science and Catalysis 2001 135:251-251
Conference
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.