...
机译:UML可执行模型的轻量级和静态验证
Univ Oberta Catalunya, Barcelona, Spain;
Univ Oberta Catalunya, Barcelona, Spain|ICREA, Barcelona, Spain;
Univ Politecn Cataluna, E-08028 Barcelona, Spain;
Model-Driven Development (MDD); Model-Driven Architecture (MDA); Executable models; Verification; Static analysis; Alf action language;
机译:Veriphy:验证网络实物系统模型的验证控制器可执行文件
机译:具有意义的UML:基础UML和Alf动作语言中的可执行建模
机译:可执行规范模型的验证和确认
机译:Alf-Verifier:用于验证Alf / UML可执行模型的Eclipse插件
机译:用于自动验证UML设计模型的框架:应用于UML 2.0交互。
机译:UMLS知识源服务器:用于传递UMLS数据的对象模型
机译:UmL可执行模型的轻量级和静态验证