机译:通过自动快照生成来验证USE中的UML和OCL模型
University of Bremen, Computer Science Department Database Systems Group, 28334 Bremen, Germany;
UML; OCL; model validation; model testing; reasoning about models; class diagram; invariant; pre- and postcondition; test case; snapshot;
机译:UML / OCL模型的自动验证和验证中的框架条件:仅修改语句的符号表示
机译:在UML模型上进行验证和自动测试生成:AGATHA方法
机译:向软件工程专业的学生教授UML和OCL模型及其验证:一份经验报告
机译:通过自动快照生成验证UML和OCL模型
机译:用于自动验证UML设计模型的框架:应用于UML 2.0交互。
机译:用于ESA地球观测第2级产品生成的Satellite Image Automatic Mapper轻型计算机程序的GEO-CEOS阶段4验证-第2部分:验证
机译:通过自动快照生成来验证USE中的UML和OCL模型