-
公开(公告)号：CN101996163A
公开(公告)日：2011-03-30
申请号：CN201010254931.6
申请日：2010-08-13
Applicant: 通用汽车环球科技运作公司
IPC: G06F17/22
CPC classification number: G06F8/10 , G06F17/504 , G06Q10/10
Abstract: 本发明涉及基于形式分析驱动的需求规格书的演化方法。具体地，提供了一种用于开发规格书的方法，其包括接收限定了规格书的功能的多个需求，其中，使用形式模型表达多个需求。该方法还包括使用算法分析多个需求并且确定多个需求是否满足一组预定准则。该方法还包括产生形式分析的总结并且通过并入被改正的分析结果来改进需求。
Search Results
1
records
(took 0.017 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
