UM

Browse/Search Results:  1-10 of 21 Help

Selected(0)Clear Items/Page:    Sort:
Integrating UML with service refinement for requirements modeling and analysis Journal article
IEEE Access, 2019,Volume: 7,Page: 11599-11612
Authors:  Yang Y.;  Ke W.;  Yang J.;  Li X.
Favorite  |  View/Download:7/0  |  Submit date:2019/02/14
formal verification  requirements modeling  service refinement  UML  
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Authors:  Li Q.;  Wang J.;  Xu Q.;  Huang Y.;  Zhu H.
Favorite  |  View/Download:1/0  |  Submit date:2019/04/04
Emergent Behaviors  Hybrid Relational Modelling Language  Refinement  Swarm Robotic Systems  
Fourth-order compact scheme with local mesh refinement for option pricing in jump-diffusion model Journal article
Numerical Methods for Partial Differential Equations, 2012,Volume: 28,Issue: 3,Page: 1079-1098
Authors:  Lee S.T.;  Sun H.-W.
Favorite  |  View/Download:7/0  |  Submit date:2019/02/13
Fourth-order Compact Scheme  Jump-diffusion  Local Mesh Refinement  Partial Integro-differential Equation  Toeplitz Matrix  
On a generalization of Aczél's inequality Journal article
Applied Mathematics Letters, 2011,Volume: 24,Issue: 8,Page: 1301-1307
Authors:  Vong S.
Favorite  |  View/Download:1/0  |  Submit date:2018/12/24
Aczl's Inequality  Generalization  Generalized Hlder's Inequality  Refinement  
Fourth-Order Compact Scheme with Local MeshRefinement for Option Pricing in Jump-DiffusionModel Journal article
Numerical Methods for Partial Differential Equations, 2011,Volume: 28,Issue: 3,Page: 1079-1098
Authors:  Spike T. Lee;  Hai‐Wei Sun
Favorite  |  View/Download:0/0  |  Submit date:2019/07/30
Fourth-order Compact Scheme  Jump-diffusion  Local Mesh Refinement  Partial Integro-differentialequation  Toeplitz Matrix  
Modelling with relational calculus of object and component systems - RCOS Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Chen Z.;  Hannousse A.H.;  Van Hung D.;  Knoll I.;  Li X.;  Liu Z.;  Liu Y.;  Nan Q.;  Okika J.C.;  Ravn A.P.;  Stolz V.;  Yang L.;  Zhan N.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Design  Refinement  Requirements modelling  Transformation  
Effect of Al-4Ti-5B master alloy on the grain refinement of AZ31 magnesium alloy Journal article
Scripta Materialia, 2006,Volume: 54,Issue: 2,Page: 269-273
Authors:  Wang Y.;  Zeng X.;  Ding W.
Favorite  |  View/Download:0/0  |  Submit date:2019/01/16
Al-4Ti-5B master alloy  AZ31 magnesium alloy  Grain refinement  
rCOS: A refinement calculus of object systems Journal article
Theoretical Computer Science, 2006,Volume: 365,Issue: 2018-01-02,Page: 109
Authors:  Jifeng H.;  Li X.;  Liu Z.
Favorite  |  View/Download:2/0  |  Submit date:2018/10/30
Object Orientation  Refinement  Semantics  Utp  
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)
Authors:  Liu Z.;  Jifeng H.;  Li X.
Favorite  |  View/Download:4/0  |  Submit date: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)
Authors:  He J.;  Li X.;  Liu Z.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Components  Composition  Consistency  Contracts  Functionality  Interfaces  Protocols  Refinement  Simulation