策略在需求定义中的角色

[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI:10.1109/ISRE.1993.324845

E. Sibley, R. Wexelblat, J. Michael, M. Tanner, D. Littman

{"title":"策略在需求定义中的角色","authors":"E. Sibley, R. Wexelblat, J. Michael, M. Tanner, D. Littman","doi":"10.1109/ISRE.1993.324845","DOIUrl":null,"url":null,"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.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"18","resultStr":"{\"title\":\"The role of policy in requirements definition\",\"authors\":\"E. Sibley, R. Wexelblat, J. Michael, M. Tanner, D. Littman\",\"doi\":\"10.1109/ISRE.1993.324845\",\"DOIUrl\":null,\"url\":null,\"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.<<ETX>>\",\"PeriodicalId\":375368,\"journal\":{\"name\":\"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering\",\"volume\":\"19 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-01-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"18\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISRE.1993.324845\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISRE.1993.324845","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 18

摘要

软件工程学科面临的三个重要挑战是理解软件设计者如何对策略进行推理，理解他们如何基于这种推理定义需求，以及提供支持对策略进行推理的基于机器的智能工具。作者正在开发策略工作台的概念:基于知识的工具，支持对策略的属性进行推理，如一致性、完整性和正确性，以及策略对系统行为的含义。他们讨论了这样一个工作台如何帮助软件设计者推断策略和需求之间的关系

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

The role of policy in requirements definition

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.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1993] Proceedings of the IEEE International Symposium on Requirements Engineering

自引率

0.00%

发文量