model transformation; model-driven engineering; traceability;
机译:使用程序转换为JML优化生成的面向方面的断言检查代码:一项实证研究
机译:使用I / O对命令式程序进行基于跟踪的验证
机译:MiniMAO_1:一种用于研究面向方面的推理的命令性核心语言
机译:使用面向方面的编程来跟踪命令式转换
机译:使用面向方面的程序的状态变量数据流标准进行测试。
机译:使用差异约束的命令式程序的复杂性和资源限制分析
机译:用约束逻辑程序转换验证命令式程序
机译:变革型领导对21世纪军队储备准备势在必行