...
机译:基于形式跟踪语义的需求和体系结构之间的跟踪的生成和验证
AOSTE Research Team, INRIA, Sophia Antipolis, France;
Nspyre, Dilienburgstraat 25-3,5652 AM Eindhoven, The Netherlands;
Software Engineering Group, University of Twente, 7500 AE Enschede, The Netherlands;
Trace generation and validation; Requirements metamodel; Trace metamodel; Software architecture;
机译:基于模型驱动架构框架的跟踪元模型建议,用于数据仓库中用户需求的可跟踪性
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:系统工程工件的逻辑方法:超越可追溯性的语义关系和依赖关系-从需求到功能和架构视图
机译:需求和体系结构之间的跟踪的生成和验证的工具支持
机译:通过基于术语的增强策略来改进自动化需求跟踪检索。
机译:远程情节语义和空间记忆的功能神经解剖学:基于多迹理论的统一帐户
机译:基于形式跟踪语义的需求和体系结构之间的跟踪的生成和验证