机译:通过自动快照生成来验证USE中的UML和OCL模型
机译:UML / OCL模型的自动验证和验证中的框架条件:仅修改语句的符号表示
机译:在UML模型上进行验证和自动测试生成:AGATHA方法
机译:通过自动快照生成验证UML和OCL模型
机译:用于自动验证UML设计模型的框架:应用于UML 2.0交互。
机译:用于ESA地球观测第2级产品生成的Satellite Image Automatic Mapper轻型计算机程序的GEO-CEOS阶段4验证-第2部分:验证
机译:通过自动快照生成来验证USE中的UML和OCL模型