Inferring Requirement Goals from Model Implemented in UML

来源 :武汉大学学报:自然科学英文版 | 被引量 : 0次 | 上传用户:flame_earth
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
0IntroductionAplasmaintheearth'smagneticfieldBosup-portsavarietyofplasmawaves.Thesewavescanbeclassifiedconvenientlyintermsoft...
全面建设小康社会过程中要求关注“三农”问题,当前的全民健身体系建设也要把农村体育作为重点.我国东南沿海和中部农村由于经济发展水平和政策的因素,农村体育已经有了一定
在簇簇聚集(CCA ) 和在外部电场下面的散开有限聚集(DLA ) 的结构转变被计算机模拟调查了。随外部电场的增加,在那里存在从混乱的结构转变到顺序,我。e. ,从到 electrorheologic
研究用不同染色体的野米饭在年轻圆锥花序 culturein vitro 上被做了。主要结果如下:1。从野米饭的年轻圆锥花序 culturedin vitro 的正式就职频率大部分改变了一种关系到它的
与吸附的 thionine 单层修改的一个金电极与交流阻抗和周期的 voltammetry 方法被调查。它在那里被发现为吸附的 thionine 的一些不同氧化还原作用性质被取决于不同的潜在的
一个快 Cholesky 因式分解算法基于为 themp 的古典 Schur 算法 ?? 諜??
0IntroductionThewindstressactingattheair-seainterfacelocalyhasanimportantinfluenceonwind-waveinteraction,andisbelievedtobeacr...