Aditya Ghose: Interests in requirements engineering

I'm interested in formal methods to support inconsistency handling in requirements specifications and requirements evolution. My PRICAI-96 paper provides some initial thoughts on these issues. Since then, I've been looking at ways to extend the formal framework to include support for requirements rationale (this paper provides details). Another paper looks at how to provide support for interactions between functional and non-functional requirements in the context of an inconsistency handling/requirement evolution support framework.

The FARE Project provided the framework for most of this work (it was initially supported via a couple of small local grants totalling $12000 and eventually via an Australian Research Council Large Grant worth $153,000).

This work then evolved in several different ways:

Chee-Fon Chang and I worked on the REFORM and ADREAM systems. The latter is described in an SEKE-2003 paper. Much interesting material remains to be published.
Qiuming Lin and I worked on using belief merging operators for merging state model viewpoints. Belatedly, this paper was published in the QSIC-2006 proceedings.
Zerong Chen and I worked on using semantic markup of requirements specifications for consistency checking. This is described in a 2004 Web Intelligence Conference paper.