QAware GmbH, Aschauer Str. 32, 81549 Munich, Germany;
University of Erlangen-Nuremberg, Computer Science Department,Programming Systems Group, Martensstr. 3, 91058 Erlangen, Germany;
traceability; reflexion model; architecture consistency; UML; AOP;
机译:需求模型中用于一致性检查和推理的跟踪关系语义
机译:图形一致性检查:一种检查段语义一致性的工具
机译:通过结合前向检查和边界一致性来实现有效的单例一致性
机译:ReflexML:基于UML的架构到代码可追溯性和一致性检查
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:临床指南获取和执行中的时间一致性检查:GLARE的方法
机译:一致性检查和推理的需求模型中跟踪关系的语义