{"title":"为需求说明使用礼貌的基于逻辑的表示","authors":"Richa Sharma, K. K. Biswas","doi":"10.1109/MARK.2011.6046556","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":300336,"journal":{"name":"2011 4th International Workshop on Managing Requirements Knowledge","volume":"46 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Using courteous logic based representations for requirements specification\",\"authors\":\"Richa Sharma, K. K. Biswas\",\"doi\":\"10.1109/MARK.2011.6046556\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":300336,\"journal\":{\"name\":\"2011 4th International Workshop on Managing Requirements Knowledge\",\"volume\":\"46 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-10-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 4th International Workshop on Managing Requirements Knowledge\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MARK.2011.6046556\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 4th International Workshop on Managing Requirements Knowledge","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MARK.2011.6046556","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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.