An Analytic Framework for Specifying and Analyzing Imprecise Requirements.pdfVIP

An Analytic Framework for Sp ecifying and Analyzing Imprecise Requirements Xiao qing Frank Liu John Yen Department of Computer Science Department of Computer Science University of Missouri Texas AM University Rolla Missouri College Station Texas Abstract environment quality are imprecise Actually as There are at least three chal lenges with require Balzer has p ointed out informality is an inevitable ments analysis First it needs to bridge informal re and ultimately desirable feature of the sp ecication quirements which are often vague and imprecise to pro cess Therefore capturing the elasticity of im formal sp ecication methods Second requirements of precise requirements is an imp ortant issue Second ten conict with each other Third existing formal requirements often conict with each other requirement specication methodologies are limited in Many conicts b etween requirements are implicit and supporting tradeo analysis between conicting re dicult to identify Moreover tradeos among con quirements and identifying the impact of a requirement icting requirements are dicult to assess Third re change to the rest of the system In this paper an an quirements change frequently Identifying the impact alytic framework is developed for the specication and of a requirement change to the rest of the system is analysis of imprecise requirements In this framework challenging the elasticity of imprecise requirements is captured us Existing formal requirement sp ecication metho d ing fuzzy logic and the relationships between requi