Title :
Using norm analysis patterns for automated requirements validation
Author :
Sharma, Ritu ; Biswas, Kanad K.
Author_Institution :
Sch. of IT, Indian Inst. of Technol., Delhi, Delhi, India
Abstract :
Requirements validation is an integral activity of Requirements Engineering. An early detection of mismatch between the observable behavior of the real-world and the interpreted behavior of the information system after requirements analysis is essential to the success of the software developed. This paper presents how norm analysis patterns can be effectively utilized for automated software validation. Norms represent behavioral patterns in an organization. In this paper, we harness this fact to validate the elicited requirements.
Keywords :
formal specification; program verification; automated requirements validation; automated software validation; behavioral patterns; information system; norm analysis patterns; requirements engineering; Cognition; Information systems; Libraries; Semantics; Software; Testing; Unified modeling language; Courteous Logic; Knowledge Representation; Norms; Requirements Engineering; Requirements Validation;
Conference_Titel :
Requirements Patterns (RePa), 2012 IEEE Second International Workshop on
Conference_Location :
Chicago, IL
Print_ISBN :
978-1-4673-4374-9
Electronic_ISBN :
978-1-4673-4375-6
DOI :
10.1109/RePa.2012.6359965
