UM

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
Support formal component-based development with UML profile Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC
Authors:  Li D.;  Li X.;  Liu Z.;  Stolz V.
Favorite | View/Download:3/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/02/14
component-based modeling  formal methods  Model-driven development  rCOS  UML profile  
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
Authors:  Chen Z.;  Li X.;  Liu Z.;  Stolz V.;  Yang L.
Favorite | View/Download:8/0 | TC[WOS]:1 TC[Scopus]:0 | Submit date:2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design  
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs Journal article
Formal Aspects of Computing, 2003,Volume: 15,Issue: 1,Page: 84-99
Authors:  Savi Mi;  Judi Romijn;  Carron Shankland
Favorite | View/Download:1/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/07/30
Comparative Case Study  Ieee Standard  Formal Methods  Firewire