business data processing; formal specification; large-scale systems; software tools; SRAG; business-process-oriented software requirements automatic generator; complex systems; information systems development; large systems; software requirements analysis; softwar;
机译:基于视觉的软件构造:视觉需求创作工具和视觉程序生成器
机译:用于核电站动力装置中蒸汽发生器自动进料控制的软件和硬件组合
机译:从Relel需求模型自动生成Praxeme软件方面的Web服务
机译:面向业务流程的软件需求自动生成器
机译:RaceGen自动程序生成器的软件工程
机译:AR2一种用于眼电EEG解释的新颖的自动减少肌肉伪影的软件方法:与商用软件的性能验证和比较
机译:要求分析工具:用于自动分析软件要求文档的工具
机译:软件需求的自动可视化:反应系统