Using courteous logic based representations for requirements specification

The growing complexity and size of software systems emphasize the need for capturing the requirements in a way that is amenable to requirements validation and facilitates requirements management and evolution. Knowledge Representation techniques have widely been used for representing the requirements, each with varying degree of success. In this paper we present courteous logic based representations for specifying the requirements. We explain how courteous logic can be used to represent the requirements, resolve inconsistencies, incompleteness, ambiguities and presuppositions in elicited requirements and present solution to requirements management and evolution problem.