loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Richa Sharma and K. K. Biswas

Affiliation: IIT Delhi, India

ISBN: 978-989-8565-13-6

Keyword(s): Requirements Specification, Inconsistency, Presupposition, Knowledge Representation, Courteous Logic.

Related Ontology Subjects/Areas/Topics: Cross-Feeding between Data and Software Engineering ; Requirements Engineering Frameworks and Models ; Software Engineering

Abstract: Software Requirements expressed in the form of natural language are often informal and possibly vague. The need for formal representation of the requirements has been explored and addressed in various forms earlier. Of several recommended approaches, logical representation of requirements has been widely acknowledged to formalize the requirements languages. In this paper, we present courteous logic based representations for software requirements. We report the benefits of courteous logic based representations for handling inconsistencies in software requirements and take into account views of multiple stakeholders and the presuppositions. We show how courteous logic based representations can be used to ensure consistency as well as to uncover presuppositions in the requirements.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.204.173.45

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Sharma, R. and Biswas, K. (2012). Handling Inconsistency in Software Requirements.In Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8565-13-6, pages 95-104. DOI: 10.5220/0003999500950104

@conference{enase12,
author={Richa Sharma. and K. K. Biswas.},
title={Handling Inconsistency in Software Requirements},
booktitle={Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2012},
pages={95-104},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003999500950104},
isbn={978-989-8565-13-6},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Handling Inconsistency in Software Requirements
SN - 978-989-8565-13-6
AU - Sharma, R.
AU - Biswas, K.
PY - 2012
SP - 95
EP - 104
DO - 10.5220/0003999500950104

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.