【摘 要】
：
随着计算机软硬件技术和网络技术的发展和应用的不断深入,软件复用技术,特别是软件体系结构的设计和复用是克服软件危机行之有效的手段。用例在面向对象的软件开发过程中起着
【基金项目】
：
云南省教育科学研究基金（07C10799）
论文部分内容阅读
随着计算机软硬件技术和网络技术的发展和应用的不断深入,软件复用技术,特别是软件体系结构的设计和复用是克服软件危机行之有效的手段。用例在面向对象的软件开发过程中起着重要的作用,但它是一种半形式化的方法,缺乏精确的语义描述,难以保证软件体系结构模型的正确性,形式化的方法恰好能够弥补这方面的不足。针对如何构建软件体系结构的问题,提出了一种基于用例和Z语言的形式化构建软件体系结构的方法,将迭代增量技术运用到体系结构的设计开发中,并就相关问题进行了分析探讨。
其他文献
本文基于CIH病毒引起电脑主板的BIOS被改写问题，就BIOS的常见种类以及刷新失败的原因及处理办法进行讲解，以便读者能更好的维护自己的BIOS。
摘 要：高校科技产业作为连接高校学科建设与社会发展需要的纽带，根据社会产业发展需求，积极引导高校科学研究、专业体系设置、专业人才培养的发展方向，并且为高校发展提供必需的经济支撑，成为高校学科建设的主导力量。 关键词：科技产业；学科建设；主导 中图分类号：G640 文献标志码：A 文章编号：2096-000X（2016）06-0194-02 Abstract： The technology i
吉林农业科技学院水利水电工程专业有其自己的优势与不足,同时又遇到新的发展机遇,理应着力进行人才培养方案、课程体系的改革,强化实习实践教学,深化水利水电工程专业的教学