Zobrazeno 1 - 10
of 52
pro vyhledávání: '"Barringer, Howard"'
Publikováno v:
EPTCS 20, 2010, pp. 16-21
Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal specifications to automate part of the more scalable art of testing, but ha
Externí odkaz:
http://arxiv.org/abs/1003.1682
Autor:
Inggs, Cornelia P., Barringer, Howard
Publikováno v:
In Electronic Notes in Theoretical Computer Science 19 April 2005 128(3):107-123
Autor:
Artho, Cyrille, Barringer, Howard, Goldberg, Allen, Havelund, Klaus *, Khurshid, Sarfraz, Lowry, Mike, Pasareanu, Corina, Roşu, Grigore, Sen, Koushik, Visser, Willem, Washington, Rich
Publikováno v:
In Theoretical Computer Science 2005 336(2):209-234
Autor:
Barringer, Howard, Gabbay, Dov
Publikováno v:
In Foundations of Artificial Intelligence 2005 1:119-165
Autor:
Inggs, Cornelia P., Barringer, Howard
Publikováno v:
In Electronic Notes in Theoretical Computer Science October 2002 68(4):605-620
Autor:
Barringer, Howard1 howard.barringer@manchester.ac.uk, Gabbay, Dov2 dov.gabbay@kcl.ac.uk, Rydeheard, David1 david.rydeheard@manchester.ac.uk
Publikováno v:
Logic Journal of the IGPL. Dec2009, Vol. 17 Issue 6, p631-696. 66p.
Autor:
BARRINGER, HOWARD1, GOUGH, GRAHAM1, BROUGH, DEREK2, GABBAY, DOV2, HODKINSON, IAN2, HUNTER, ANTHONY2, OWENS, RICHARD2, MCBRIEN, PETER3, REYNOLDS, MARK3, FISHER, MICHAEL4
Publikováno v:
Journal of the IGPL. February 1996, Vol. 4 Issue 2, p255-272. 18p.
Autor:
Artho, Cyrille, Barringer, Howard, Goldberg, Allen, Havelund, Klaus, Khurshid, Sarfraz, Lowry, Mike, Pasareanu, Corina, Roşu, Grigore, Sen, Koushik, Visser, Willem, Washington, Rich
QC 20170104
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::48999aea07a4a8bef8ea8dc4dd533421
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199173
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199173
Publikováno v:
Language, Culture, Computation. Computing - Theory & Technology; 2014, p103-155, 53p