6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.SE2016
Desiree: a Refinement Calculus for Requirements Problems
Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi +3
The requirements elicited from stakeholders are typically informal, incomplete, ambiguous, and inconsistent. It is the task of Requirements Engineering to transform them into an el…
cs.AI2011★ 6 cited
Extensible Knowledge Representation: the Case of Description Reasoners
A. Borgida
This paper offers an approach to extensible knowledge representation and reasoning for a family of formalisms known as Description Logics. The approach is based on the notion of ad…