论文部分内容阅读
增量开发作为软件开发过程中一种常见的方法,精化是其中主要的操作之一。本文以增量开发为背景,通过UML中的活动图对软件系统进行可视化建模并对其精化过程进行了研究。首先,本文给出了活动图的形式语义,并基于该语义,给出了活动图间精化操作的形式化表达,定义了精化关系,最后讨论了精化关系的一些性质。
增量开发中的活动图精化研究
【摘 要】
：
增量开发作为软件开发过程中一种常见的方法,精化是其中主要的操作之一。本文以增量开发为背景,通过UML中的活动图对软件系统进行可视化建模并对其精化过程进行了研究。首先,
【机 构】
：
福建师范大学
【出 处】
：
科学技术创新
【发表日期】
：
2021年5期
【基金项目】
：
基于事件的形式化模型的表达能力与工程方法研究,项目编号:61772004,5G环境下高速流数据的近似最近邻搜索研究,项目编号:2020J01161
其他文献
众所周知,地震作为群灾之首,对我们人类的生命安全和财产安全都有巨大的威胁,所引发的后果也是灾难性的。同时,从21世纪地震发生的频率可以看出,全球已进入地震活跃期,因此结
《禽类生产》是畜牧兽医专业的核心课程之一。基于现代职业教育大背景,依托校企合作,在畜牧兽医专业"课堂+养殖场"人才培养模式指导下,积极探索与实践基于工作过程为导向的《
智慧输电线路建设是将坚强智能电网和电力物联网深度融合的具体实践,具有本质安全、实时感知、全息互联、自主预警、智能处置等五大基本特征。依托智慧输电线路实现输电线路
全国的铁路营业里程不断增多,铁轨超期服务现象严重;针对进口大型探伤车使用成本高,手推式巡检小车效率低的问题,分析适合目前智能化的铁轨探伤模式,提出一款探伤效率高、智
随着我国农业经济的快速发展,国家对农村基础设施建设不断投入,各地正因地制宜推进"百乡千村"路网提升工程,农村公路作为农村经济发展的先行载体是服务乡村振兴战略、打赢脱
我国水资源短缺,而且对天然降雨的利用程度不高。雨水收集利用可减少水污染并改善城市生态环境,有利于节约用水及减轻城市排水负荷等。提出了一种创新型雨水收集再利用装置,
通过建筑工程的具体案例对建筑施工过程中的干法旋挖成孔的灌注桩的作业特点进行较深层次的分析与探讨,进一步的分析出其技术特点本身的价值优势。