The UML as a formal modeling notation 论文

1998Computer Standards & Interfaces引用 268
Model-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesFormal Methods in Verification

The UML as a formal modeling notation · 相关技术