UM
(本次检索基于用户作品认领结果)

浏览/检索结果: 共2条,第1-2条 帮助

限定条件        
已选(0)清除 条数/页:   排序方式:
AutoPA: Automatic prototyping from requirements Conference paper
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, Heraklion, GREECE, OCT 18-21, 2010
作者:  Li X.;  Liu Z.;  Schaf M.;  Yin L.
收藏  |  浏览/下载:6/0  |  提交时间:2019/02/14
Formal Semantics  Prototyping  Requirements Models  Validation  
Harnessing rCOS for tool support - The CoCoME experience Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Macao, PEOPLES R CHINA, SEP 24-25, 2007
作者:  Chen Z.;  Li X.;  Liu Z.;  Stolz V.;  Yang L.
收藏  |  浏览/下载:4/0  |  提交时间:2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design