从概念程序表示到C++过程蓝图的映射

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:spflying2
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章给出了与程序实现语言无关的概念层抽象逻辑结构图程序表示到C++过程蓝图的平滑过渡方法和映射规则,给出了概念层和逻辑层抽象逻辑结构图的有效性定义、导出C++逻辑层抽象逻辑结构图的有效性定理及其证明。
其他文献
随着各项应对国际金融危机的政策措施取得明显成效,我国经济正在企稳回升,但国际金融危机的影响依然没有消除。在这种背景下,进一步加强财务管理,优化财务资源配置,对企业有效规避
乏血小板危象治疗体会湖北医科大学附属第二医院曾宪昌,杨友德,曾庆斌血小板减少是出血性疾病中最常见类型,当减少到25×109/L以下时,称乏血小板危象。多伴有皮肤粘膜、内脏广泛出血
目的探讨耳垂皱褶与冠心病的关系.方法连续选取2014年5-8月在江苏省人民医院行冠状动脉造影检查者443例,其中无耳垂皱褶者146例,单侧耳垂皱褶者71例,双侧耳垂皱褶者226例;有
研究保鲜剂(2%蔗糖+50mg/L柠檬酸+100mg/L8-羟基喹啉+1mg/L6-BA)和保鲜剂2号(2%蔗糖+50mg/L水杨酸+100mg/L8-羟基喹啉+1mg/L6-BA)对“黄秀凤”切花菊(Chrysanthemummorifoliumcv.“HuangXiufeng”)瓶插寿命和瓶插期间花枝的水分状况,叶绿素和可溶性蛋白质含量以及过氧化物酶(POD)活性等生理延
在会计学专业人才培养方案的设计过程中,应本着以市场需求为导向、以培养会计职业技能为核心构建会计学专业实践教学体系,并不断根据社会的发展情况进行优化,培养具有创新意
1984年始,在广西桂林雁山(中亚热带)酸性土壤上引种生长在广西龙州(北热带)石灰(岩)土壤的东京桐(Deutzianthustonkinensis)种子和野生幼苗,1993年植株平均高4.14m,平均地径7.1cm,1994年开花结果,采集种子育苗,获180多株子代,目前子代生长正常
企业会计准则规定:贷款应当采用实际利率法,按摊余成本进行后续计量。摊余成本、利息收入、利息调整的确定成为贷款账务处理的关键所在,在不考虑所得税、减值损失、提前赎回等
2006年,财政部颁布了最新的企业会计准则,在两年后,国务院又颁布了最新的企业所得税法。本文从实际出发,针对于新会计准则与现行税法间的差异进行了深入的探讨,并对其相应的
随着基于WWW的Internet计算模式的广泛应用,Internet计算中计算性能分析的重要性逐步为人们所重视.该文介绍了基于WWW的Internet计算模式以及如何进行性能分析,并介绍了一些
<正> 右室梗塞(RVI)是近年来逐渐认识的一种疾病。70年代初Forester和Cohn先后发现RVI的临床及血流动力学特点,1976年Erhardt通过心前双极导联证实RVI的特征性改变。发病率单