D. Buscaldi
P. Rosso
J.M. Gómez-Soriano
E. Sanchis
2009
Answering Questions with an n-gram based Passage Retrieval Engine
Journal of Intelligent Information Systems
34
2
113–134
10.1007/s10844-009-0082-y
S. Fenech
G.J. Pace
G. Schneider
2009
Automatic Conflict Detection on Contracts
ICTAC'09
LNCS
5684
Springer
200–214
10.1007/978-3-642-03466-4_13
S.Fenech
G.J. Pace
G. Schneider
2009
CLAN: A Tool for Contract Analysis and Conflict Discovery
ATVA'09
LNCS
5799
Springer
90–96
10.1007/978-3-642-04761-9_8
R. Hähnle
K. Johannisson
A. Ranta
2002
An Authoring Tool for Informal and Formal Requirements Specifications
FASE
LNCS
2306
Springer
233–248
http://link.springer.de/link/service/series/0558/bibs/2306/23060233.htm
10.1007/3-540-45923-5_16
M. Forsberg A. Ranta. M. Pellauer
2004-09
BNF Converter: Multilingual Front-End Generation from Labelled BNF Grammars
Technical Report
Technical Report 348, Computing Science at Chalmers University of Technology and Gothenburg University
P. McNamara
2006
Deontic Logic
Gabbay, D.M., Woods, J., eds.: Handbook of the History of Logic
7
North-Holland Publishing
197–289
G.J. Pace
M. Rosner
2010
A Controlled Language for the Specification of Contracts
5972
226–245
10.1007/978-3-642-14418-9_14
G. Pace
C. Prisacariu
G. Schneider
2007
Model Checking Contracts –A Case Study
ATVA'07
LNCS
4762
Springer-Verlag
82–97
10.1007/978-3-540-75596-8_8
C. Prisacariu
G. Schneider
2007
A Formal Language for Electronic Contracts
FMOODS
LNCS
4468
Springer
174–189
10.1007/978-3-540-72952-5_11
C. Prisacariu
G. Schneider
2009
CL: An Action-based Logic for Reasoning about Contracts
WOLLIC'09
LNCS
5514
Springer
335–349
10.1007/978-3-642-02261-6_27
A. Ranta
2009
Grammatical Framework: A Programming Language for Multilingual Grammars and Their Applications
http://www.cs.um.edu.mt/svrg/Tools/CLTool