论文部分内容阅读
论文以一个销售管理系统形式化建模为例,考察了采用形式化方法的适用性原则并探讨了存在的问题。通过遵循试验证明,所提议的规则可以促进模型的简化、强化抽象概念的提取和明确抽象模型与具体模型的区别。在下一步工作中,需要讨论开发过程多阶段的形式化描述以及如何关联多阶段模型。
软件体系结构形式化方法的适用性考察
【摘 要】
：
论文以一个销售管理系统形式化建模为例,考察了采用形式化方法的适用性原则并探讨了存在的问题。通过遵循试验证明,所提议的规则可以促进模型的简化、强化抽象概念的提取和明
【机 构】
：
湖南科技学院
【出 处】
：
湖南科技学院学报
【发表日期】
：
2014年5期
【基金项目】
：
2013年永州市科技局科技计划项目“学校信息系统应用集成研究”
其他文献
摘 要：配额管理是随着生产技术的提高，出现在经济和社会发展的过程，伴随着各种科学和技术的综合利用，工程造价已经发展成为一门系统的学科，集经济学，管理学为一体的集体技术管理措施和全面的应用管理模式，为当前工程预算在建筑行业中得到有效利用，提供支持。随着社会发展中的各种技术手段和管理措施不断完善，固定预算管理系统的管理和管理系统中的应用，在造价管理中已经形成了一套系统的管理模式。本文简要介绍中国的工程
小额贷款公司试点是我国普惠金融体系建设的重要举拮。近年来，小额贷款公司在各地蓬勃发展。小额贷款公司对激活民间资本，解决中小型企业及“农户”融资难问题具有积极作用。但
群众路线是党和政府工作中所应遵循的根本路线,也是提高和创新社会治理水平所应遵循的核心路线。提高社会治理水平必须贯彻党的群众路线,即在社会治理中贯彻群众观点,坚持群众路线,在社会治理创新中依靠人民群众,在社会治理成果上由人民共享是在社会治理中贯彻群众路线时应有的几个现实路径选择。。
随着人们物质条件的不断提升,人们对健康的追求变得越来越强烈,这给医疗器械企业的管理带来了一定的机遇和挑战。在企业中实施风险管理,不仅能够提高企业的决策执行能力,也能
实施信息化给中小企业带来很多益处，很多中小企业也从实施信息化的过程中领悟到进行信息化的必要性，信息化建设的实施加快了中小企业整体的发展进程。本论文主要通过中小企业信
以巡抚名官，“起于懿文太子巡抚陕西”，时为明太祖洪武二十四年（1391）；得名于“巡行天下，安抚军民”[的特殊使命。初为临时性差遣，“事毕复命，即或停遣”，“各省专设，自宣德五年（1430）始
在建筑工程施工的建设中,建筑施工工序就是生产和检验、材料、零部件、各分部、分项工程的具体阶段，是工程项目整个施工阶段所必须遵循的顺序,它是经多年施工实践而发现的客观规律,是建筑企业最经常、最普遍的质量管理活动,也是建筑企业实现质量目标的基本保证。 工程质量是在施工工序中形成的，而不是靠最后检验出来的。为了把工程质量从事后检查把关，转向事前控制，达到“以预防为主”的目的，必须加强施工工序的质量控制
TOD模式是基于对小汽车导向的郊区蔓延的反思而提出的城市开发的新发展模式,即公共交通导向的城市发展模式（TOD）.随着福州市轨道交通建设加快推进,规划并实施轨道交通TOD发展对
[关键词] 锅炉 过热器 变形 锅炉在使用过程中，受热面会产生各种缺陷，过热器的变形是常见的缺陷之一。 某厂一台型号为TG-35/3.82/400-M的蒸汽锅炉，2005年8月投入使用。2008年10月定期检验时，发现过热器管排左起第二、三、四排变形，第二排左靠，接近第一排，整体变形量约40mm，第四排右靠，最大变形量约38mm，第三排蛇形扭曲变形，最大变形量约45mm。过热器其它管排，虽有个
目前大学生诚信缺失问题成为社会各界所关注的热点问题，研究者们采用理论研究和实证调查方法，从全面宏观角度和微观角度对大学生诚信缺失的表现、原因等进行了探讨，并提出了相应