Handling Inconsistency in Software Requirements

Richa Sharma; K. K. Biswas

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Handling Inconsistency in Software Requirements

Topics: Requirements Engineering Frameworks and Models

In Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 95-104, 2012 , Wrocław, Poland

Authors: Richa Sharma and K. K. Biswas

Affiliation: IIT Delhi, India

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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 - ENASE; ISBN 978-989-8565-13-6; ISSN 2184-4895, SciTePress, 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 - ENASE},
year={2012},
pages={95-104},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003999500950104},
isbn={978-989-8565-13-6},
issn={2184-4895},
}

TY - CONF

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