机译:UML / OCL模型的自动验证和验证中的框架条件:仅修改语句的符号表示
Siemens AG, Braunschweig, Germany;
Institute for Integrated Circuits, Johannes Kepler University Linz;
Group for Computer Architecture, University of Bremen;
Cyber-Physical Systems, DFKI GmbH;
UML/OCL models; Verification and validation; Behavioral model aspects; Symbolic formulation; SAT/SMT;
机译:通过自动快照生成来验证USE中的UML和OCL模型
机译:具有OCL约束的UML概念图的验证和确认
机译:UML / OCL模型的增量验证
机译:UML / OCL模型的符号表示形式中的框架条件
机译:用于自动验证UML设计模型的框架:应用于UML 2.0交互。
机译:HPV-FRAME:HPV相关癌症控制模型评估的共识声明和质量框架
机译:通过自动快照生成来验证USE中的UML和OCL模型