Reasoning about Exceptions to Contracts.

Özgür Kafali Francesca Toni Paolo Torroni

Published in: CLIMA (2011)

Keyphrases

supply chain
spatial reasoning
real time
search engine
qualitative reasoning
adverse selection
machine learning
information retrieval
website
case study
similarity measure
object oriented
formal theory
moral hazard
multiple inheritance