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

已选(0)清除 条数/页:   排序方式:
Generating a prototype from a UML model of system requirements Journal article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004,Volume: 3347,Page: 255-265
作者:  Li X.;  Liu Z.;  He J.;  Long Q.
收藏  |  浏览/下载:2/0  |  提交时间:2019/02/14
Code generation  Formal specification  Prototype  Requirements analysis  
Unifying views of UML Conference paper
Electronic Notes in Theoretical Computer Science
作者:  Liu Z.;  He J.;  Liu J.;  Li X.
收藏  |  浏览/下载:1/0  |  提交时间:2019/02/14
Object-Orientation  RUP  UML  UTP  
Unifying proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
作者:  Liu Z.;  Ravn A.P.;  Li X.
收藏  |  浏览/下载:0/0  |  提交时间:2019/02/14
Design  Real-time  Refinement  Specification  Verification