您要查找的是不是：
- In this paper, based on Hoare and He's unifying theories of programming (UTP), a method is proposed to combine the refinement calculus of object systems (rCOS) with UML is proposed to increase the precision and transformation ability of the models. 基于统一程序设计理论UTP;将对象精化演算系统rCOS与UML结合起来;提高了UML模型的精确性与模型转换能力.
- refinement Calculus of Object Systems(rCOS) 对象精化演算系统
- On A New Support Tool PRT for the Refinement Calculus 精化演算支撑工具PRT的研究
- Her mother is a woman with great refinement. 她母亲是一个非常文雅的女人。
- Study of a Parallel Programming Method of Using Design Patterns in Program Refinement Calculus 一种将设计模式用于程序精化演算的并行程序设计方法研究
- Keywords Probabilistic computation;Possibilistic computation;Refinement calculus;Predicate transformer;State transformer;Semantic model; 概率计算;可能性计算;精细演算;谓词转换器;状态转换器;语义模型;
- Good manners and correct speech are marks of refinement. 彬彬有礼和谈吐得体是文雅的标志。
- refinement calculus 求精演算
- Lacking good manners, culture, or refinement. 粗鲁的缺乏良好的举止，文化，或修养的
- Lacking tact, refinement, or taste. 粗野的缺乏机智、文雅或品味的
- Calculus is over the heads of most students. 微积分对大多数学生来说太难学了。
- Sensitivity of perception, discrimination, or taste; refinement. 敏锐，敏感洞察力、辨别力或品味的敏感; 精密
- Marked by refinement in taste and manners; cultured; polished. 高尚的，有教养的品味和举止优雅的; 有文化的; 有修养的
- My calculus TA is a PhD student. 我的微积分助教是博士班的学生。
- NOTATIONS AND TERMINOLOGY OF TENSORIAL CALCULUS. 符号。张量计算的符号和术语。
- Characterized by weakness and excessive refinement. 柔弱的以纤弱和过于纤细为特征的
- This is a problem where calculus won't help at all. 对于这一题，微积分一点也用不上。
- A refinement of the calculation is warranted. 计算的精度是可靠的。
- I had studied calculus before I got into college. 我在上大学以前,已经学过微积分。
- This is usually an unnecessary refinement. 这通常不必过分精细。
