2 papers
cs.AI2015
Preferential Multi-Context Systems
Kedian Mu, Kewen Wang, Lian Wen
Multi-context systems (MCS) presented by Brewka and Eiter can be considered as a promising way to interlink decentralized and heterogeneous knowledge contexts. In this paper, we pr…
cs.SE2014
Detecting Requirements Defects Utilizing A Mathematical Framework for Behavior Engineering
Kushal Ahmed, Toby Myers, Lian Wen +1
Behavior Engineering (BE) provides a rigorous way to derive a formal specification of a software system from the requirements written in natural language. Its graphical specificati…