【摘 要】
：
领域特征突出的嵌入式实时系统软件开发，既需要严格地保证可靠性又要充分反映实时和交互行为特征，针对这种需要，该文提出了一种从需求分析到体系结构建模直至使用组技术实现软件
【机 构】
：
武汉大学软件工程国家重点实验室,武汉大学计算机科学系
【基金项目】
：
国家自然科学基金(编号:69873035),,高等学校博士点专项科研基金
论文部分内容阅读
领域特征突出的嵌入式实时系统软件开发，既需要严格地保证可靠性又要充分反映实时和交互行为特征，针对这种需要，该文提出了一种从需求分析到体系结构建模直至使用组技术实现软件的形式化开发方法。文章在介绍了目前的各软件工程领域以有各软件开发阶段中的形式化模型和工具的现状和特点后，引入需求分析的模型和体系结构建模的描述语言，分析其长处和不足，最后对该方法与移动组件组合的前景进行了展望。
其他文献
目前计算机网络技术被广泛的应用到人们的生产生活当中,可谓是家喻户晓。人们利用计算机技术可以进行网络购物、网上支付、银行转账等,给人们的生活带来了极大的便利。但也正
武汉市城市规划国土资源管理局汉阳分局为武汉市城市规划国土资源管理局的直属正处级行政管理机构,履行汉阳辖区城市规划、国土资源的管理职能分局内设办公室、建筑规划管理
文章基于蒙皮钣金零件曲面复杂、种类繁多、刚性差、精度要求高等加工难点,以自适应定位柔性夹持技术研究项目为背景,提出了一套针对蒙皮件铣切加工的工装设计方案,该柔性工
文章从Karatsuba提出的乘法算法入手，经过逻辑推导，得出一个易于实现的逻辑代数式，根据这个逻辑式设计了一个具有流水线结构的乘法器。并对吞吐率、加速比和效率等性能指标做了
《学习月刊》已经走过了十五个春秋。我与她已有十三年的"交情",我是她的忠实读者和积极推介者,她是我工作上的好帮手、学习上的好老师。十多年来,她之所以受到广大党员干部
文章结合华侨华人族谱查询和动态网页生成的实现，研究适用于族谱网站建设和族谱查询的相关技术，包括：针对族谱数据的特点改进关系数据模型，族谱查询方案设计与实现、族谱动态网页
文章主要针对荆州市农机专业合作社的发展展开分析, 探讨了当前在荆州市农机专业合作社发展的过程中, 其存在的问题, 以及如何更好的进行应对, 提出了发展的一些对策和措施,
江泽民总书记的"5·31"讲话指出,我们党要承担起推动中国社会发展的历史使命,必须始终紧紧抓住发展这个执政兴国的第一要务。省委书记俞正声同志在省第八次党代会报告中
国人的忘性特大,帝制崩溃不到一百年,便开始怀念起来。每天晚上打开电视,差不多总有一半的电视台在播放帝王戏,并且大多是清代的,因为这个末代王朝离我们最近那些头戴"红斗笠
电磁干扰问题对于高速动车组来讲一直是不可忽视的问题,如何有效地分析干扰源,规避干扰,减小干扰,文章就高速动车组自动门控制系统的电磁干扰及兼容型等问题的进行分析研究。