formal specification; systems analysis; graph theory; analysis-revision cycle; requirements specifications; SCTL-MUS methodology; systems analysis; revision phase; diagnostic information; system refinements; requirements engineering; MUS graph;
机译:在分析-修订周期中通过精简和精简来制定正式规格的方法
机译:关于不断发展的Statecharts规范的需求验证
机译:结合归纳推理和归纳学习以发展需求规范
机译:通过使用SCTL-MUS方法来演化需求规范的分析 - 修订周期
机译:接口需求识别和规范的方法框架
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:关于不断发展的Statecharts规范的需求验证
机译:演化代数:一种新的规范和验证方法