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

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

限定条件                                
已选(0)清除 条数/页:   排序方式:
Validation of requirement models by automatic prototyping Conference paper
Innovations in Systems and Software Engineering
作者:  Li D.;  Li X.;  Liu J.;  Liu Z.
收藏  |  浏览/下载:3/0  |  提交时间:2019/02/14
Codegeneration  OCL  Prototype  Requirement validation  UML  
rCOS: Refinement of component and object systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
作者:  Liu Z.;  Jifeng H.;  Li X.
收藏  |  浏览/下载:3/0  |  提交时间:2019/02/14
Component-Based Development  Consistency  Object-Orientation  Refinement  Specification  
Component-based software engineering* the need to linie methods and their theories Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
作者:  He J.;  Li X.;  Liu Z.
收藏  |  浏览/下载:2/0  |  提交时间:2019/02/14
Components  Composition  Consistency  Contracts  Functionality  Interfaces  Protocols  Refinement  Simulation  
Consistency checking of UML requirements Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
作者:  Li X.;  Liu Z.;  He J.
收藏  |  浏览/下载:2/0  |  提交时间:2019/02/14
Consistency Checking  Formal requirement Specification  Requirement Analysis  UML  
Towards a rigorous approach to UML-based development Conference paper
Electronic Notes in Theoretical Computer Science
作者:  Liu Z.;  He J.;  Li X.
收藏  |  浏览/下载:2/0  |  提交时间:2019/02/14
Component-Based Development  Object-Orientation  Refinement  Specification  Transformation  
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