The UML as a formal modeling notation 论文

1998Computer Standards & Interfaces引用 268
DOI
Model-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesFormal Methods in Verification
企业软件Model-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesFormal Methods in Verification
相关技术:Model-Driven Software Engineering TechniquesFormal Methods in VerificationAdvanced Software Engineering Methodologies
关系图谱

4

作者

3

相关技术

0

相关事件

0

相关文章

作者查看全部 (4)

伯

伯恩哈德·朗普

K

Kevin Lano

A

A. William Evans

R

Robert France

相关技术查看全部 (3)

Model-Driven Software Engineering TechniquesFormal Methods in VerificationAdvanced Software Engineering Methodologies

相关事件

暂无数据

相关文章

暂无数据