机译:通过构造进行检索:支持UML形式化的验证和验证的可追溯性技术
Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, MI 48824, USA;
traceability; UML formalization; retrieval by construction; value identity; generative procedures; precision; recall;
机译:基于UML和Petri网的业务流程建模的形式化和验证
机译:借助语义技术支持的文档分类工具将冶金领域的技术知识形式化
机译:使用语义技术支持的文档分类工具的冶金领域技术知识的形式化
机译:信息检索技术可以有效地支持可追溯性链接恢复吗?
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:可持续棕榈油 - 筛选和先进的分析技术进行地理可追溯性和真实性验证的作用
机译:按构造检索:支持uml形式化验证和验证的可追溯性技术
机译:使用Reactoand VHDL对实时系统要求进行形式化,验证和验证