OAR@UM: Search

Search

Search:
for

Current filters:

Start a new search

Add filters:

Results/Page | Sort items by In order Authors/record

Results 1-10 of 15 (Search time: 0.035 seconds).

previous
1
2
next

Item hits:

Issue Date	Title	Author(s)
2015	A framework for the generation of computer system diagnostics in natural language using finite state methods	Farrell, Rachel; Pace, Gordon J.; Rosner, Michael
2010	A controlled language for the specification of contracts	Pace, Gordon J.; Rosner, Michael
2008	Definition characterisation through genetic algorithms	Borg, Claudia; Rosner, Mike; Pace, Gordon J.
2000	The semantics of verilog using transition system combinators	Pace, Gordon J.
2014-11	A domain specific property language for fraud detection to support agile specification development	Calafato, Aaron; Colombo, Christian; Pace, Gordon J.
2004	Monadic compositional parsing with context using Maltese as a case study	Pace, Gordon J.
2016	A controlled natural language for tax fraud detection	Calafato, Aaron; Colombo, Christian; Pace, Gordon J.
2008	Automatic definition extraction using parser combinators	Borg, Claudia; Pace, Gordon J.
2015	An intelligent contract editor	Azzopardi, Shaun; Pace, Gordon J.; Gatt, Albert
2007	Model checking contracts : a case study	Pace, Gordon J.; Prisacariu, Cristian; Schneider, Gerardo