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

fYear

1993

fDate

4-6 Jan 1993

Firstpage

277

Lastpage

280

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Requirements Engineering, 1993., Proceedings of IEEE International Symposium on

Conference_Location

San Diego, CA

Print_ISBN

0-8186-3120-1

Type

conf

DOI

10.1109/ISRE.1993.324845

Filename

324845