Title :
The role of policy in requirements definition
Author :
Sibley, Edgar H. ; Wexelblat, Richard L. ; Michael, J. Bret ; Tanner, Michael C. ; Littman, David C.
Author_Institution :
George Mason Univ., Fairfax, VA, USA
Abstract :
Three significant challenges facing the discipline of software engineering are understanding how software designers reason about policy, understanding how they define requirements based on this reasoning, and providing machine-based intelligent tools that support reasoning about policy. The authors are developing the concept of a policy workbench: knowledge-based tools that support reasoning about such properties of policies as consistency, completeness, and correctness, and the implications of policy for the behavior of a system. They discuss how such a workbench might help software designers reason about the relationships between policies and requirements
Keywords :
expert systems; formal specification; formal verification; software engineering; software tools; completeness; consistency; correctness; knowledge-based tools; machine-based intelligent tools; policy; policy workbench; reasoning about policy; requirements definition; software designers; software engineering; Computer bugs; Humans; Machine intelligence; Marine vehicles; Protection; Security; Software design; Software engineering; Software systems; Software tools;
Conference_Titel :
Requirements Engineering, 1993., Proceedings of IEEE International Symposium on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-3120-1
DOI :
10.1109/ISRE.1993.324845
