Requirements engineering; embedded systems; automotive; scenario-based specification; EAST-ADL event chains;
机译:基于意图方案的软件需求规范测试方法
机译:基于场景的具有量化约束的汽车需求规范和SL / SF监视器的综合
机译:从基于方案的假定保证规范中生成正确,紧凑而高效的PLC代码
机译:从基于场景的要求规格生成East-ADL事件链
机译:使用特定于领域的软件体系结构(ASSA)原理的基于场景的工程过程(SEP)的图形化事件导向场景行为规范
机译:基于场景的建模开发方法:秀丽隐杆线虫命运规范的原型模型
机译:离散事件模拟生成可持续制造系统设计的需求规范
机译:求解规范生成的状态不变量的算法