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  
Validating requirements model of a B2B system Conference paper
Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, Shanghai, PEOPLES R CHINA, JUN 01-03, 2009
作者:  Yin L.;  Liu J.;  Li X.
收藏  |  浏览/下载:4/0  |  提交时间:2019/02/14
Ocl  Requirements Model  Uml  Validation