Much of our current exposure to formal specification comes with our use of languages, like the Object Constraint language (OCL), to provide rigor to our specifications and UML diagrams. 4.
目前我们的正式规范方式和我们使用的语言，如对象约束语言(ocl)，提供了的关于规范和UML图的严格要求。
Much of our current exposure to formal specification comes with our use of languages, like the Object Constraint language (OCL), to provide rigor to our specifications and UML diagrams. 4.
目前我们的正式规范方式和我们使用的语言，如对象约束语言(ocl)，提供了的关于规范和UML图的严格要求。
应用推荐