Zobrazeno 1 - 10
of 125
pro vyhledávání: '"Power, James F."'
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 4 (November 9, 2022) lmcs:7286
This paper describes a formal semantics for the Event-B specification language using the theory of institutions. We define an institution for Event-B, EVT, and prove that it meets the validity requirements for satisfaction preservation and model amal
Externí odkaz:
http://arxiv.org/abs/2103.10881
Publikováno v:
EPTCS 240, 2017, pp. 20-37
The Why3 IDE and verification system facilitates the use of a wide range of Satisfiability Modulo Theories (SMT) solvers through a driver-based architecture. We present Where4: a portfolio-based approach to discharge Why3 proof obligations. We use da
Externí odkaz:
http://arxiv.org/abs/1701.08466
Autor:
Power, James F.
This paper includes notes to accompany a reading of Thue's 1914 paper "Probleme uber Veranderungen von Zeichenreihen nach gegebenen Reglen", along with a translation of that paper. Thue's 1914 paper is mainly famous for proving an early example of an
Externí odkaz:
http://arxiv.org/abs/1308.5858
Modelling and thus metamodelling have become increasingly important in Software Engineering through the use of Model Driven Engineering. In this paper we present a systematic literature review of instance generation techniques for metamodels, i.e. th
Externí odkaz:
http://arxiv.org/abs/1211.6322
Publikováno v:
Farrell, M, Monahan, R & Power, J F 2022, ' Building Specifications in the Event-B Institution ', Logical Methods in Computer Science, vol. 18, no. 4, pp. 4:1-4:55 . https://doi.org/10.46298/LMCS-18(4:4)2022
This paper describes a formal semantics for the Event-B specification language using the theory of institutions. We define an institution for Event-B, EVT, and prove that it meets the validity requirements for satisfaction preservation and model amal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb6d1bc323de5241240687b4527ab075
https://doi.org/10.46298/lmcs-18(4:4)2022
https://doi.org/10.46298/lmcs-18(4:4)2022
Publikováno v:
American Journal of Alternative Agriculture, 1997 Jan 01. 12(4), 178-184.
Externí odkaz:
https://www.jstor.org/stable/44503033
Publikováno v:
In Information and Software Technology 2007 49(3):292-307
The abstract is included in the text.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______223::30bda21ba3f45765bba7a4cc36e5f621
http://mural.maynoothuniversity.ie/13389/
http://mural.maynoothuniversity.ie/13389/
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.