formal specification; formal verification; inspection; program testing; formal specification; mobile computing domain; requirements specification; software development life cycle; software inspection; software testing; Consistency Conditions; RAISE; RSL; Specificatio;
机译:指定需求规格说明的需求:工作域和工人能力分析的案例
机译:关于使用域模式来验证软件需求规范的域相关属性
机译:LIM结构域对受损的应力纤维上的帕克西林的瞬态积累的要求LIM结构域对受损的应力纤维上的帕克西林的瞬态积累的要求
机译:需求规范中的域一致性
机译:刺激响应需求规范符号:一种通过经验评估的需求规范符号。
机译:对假设的哺乳动物脊髓中所有腹祖细胞域正常规格的刺猬信号的直接要求
机译:工业需求规范中的语用一致性管理
机译:需求规范的自动一致性检查。