Zobrazeno 1 - 10
of 128
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
Autor:
Lambert, Jonathan M., Power, James F.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 12 December 2008 220(3):97-113
Publikováno v:
In Information and Software Technology 2007 49(3):292-307
Publikováno v:
In Science of Computer Programming 2007 69(1):3-13
A study of the influence of coverage on the relationship between static and dynamic coupling metrics
Autor:
Mitchell, Áine, Power, James F.
Publikováno v:
In Science of Computer Programming 2006 59(1):4-25