机构名称：
¥ 15.0
本报告介绍了一种用于获取需求和增量演进规范 (ARIES) 的知识型助手。ARIES 是由南加州大学信息科学研究所和洛克希德桑德斯公司开发的系统，旨在满足知识型软件助手 (KBSA) 在系统生命周期早期阶段的需求。ARIES 支持在多表示环境中对正式系统规范进行演进开发，在该环境中，可以使用用户和应用程序工程师熟悉的表示来捕获和阐述非正式的应用程序需求。ARIES 通过形式化活动和创建知识库，为评估和开发提供广泛的机器支持
ARIES：要求 - DTIC
主要关键词
相关文件推荐
