论文部分内容阅读
针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。
实时嵌入式构件模型组装方法及时间性推理
【摘 要】
：
针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式
【机 构】
：
昆明理工大学信息工程与自动化学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年25期
【基金项目】
：
云南省教育厅科学研究基金项目No.07C10799;昆明理工大学人才培养基金No.2008037~~
其他文献
结合教学实例,从巧设语境,发展语言能力;巧设问题,培养思维品质;巧设活动,拓展学习能力;巧用素材,提升文化品格四个方面探讨如何在阅读教学中落实英语学科核心素养。认为英语
在《C语言程序设计》课程的教学实践中，采用项目教学法能够提高学生分析问题和解决问题的能力。根据项目教学的特点，结合教学实践及岗位要求，讨论项目教学法在《c语言程序设计》
看过WCG的朋友,除了对选手和比赛印象深刻外,是否记得那激情的解说呢?xixi和周宁,解说界的黄金搭档。大家别以为作为解说,就只剩一张嘴皮子,实际上的水平并不厉害,这样想你就
计算机网络课程是高职院校计算机专业的核心课程，而高职学生就业岗位更注重综合职业能力的要求。本文试从我国高职教育计算机专业网络课程设置的现状着手，提出项目式教学对计算
《生物课程标准》明确指出，“生物科学是自然科学中的一门基础学科，是研究生命现象和生命活动规律的科学。”而生物学是实验性科学．实验教学的比重较大。生物实验教学作为生物教
当前形势下，我国安全生产的管理体制，存在着诸多的问题。本文就其中的一些问题作些个人主观上的阐述，破解这些问题需要更多的有识之士来共同努力。
为了从历史上文明交往的角度来探求现代中东这个有着独特文化的文明圈的形成渊源,采用了文明交往理论的方法,认为中东上古的文明交往分为三个阶段:埃及和两河流域两大文明中
随着新一代航空电子机载软件功能和性能的复杂度不断增加,如何高效的设计与开发机载软件已成为航电领域亟待解决的问题。为了支持机载软件的高效设计与开发,采用基于嵌入式构
<正> 美国著名翻译理论家、语言学家、美国圣经协会翻译顾问尤金·奈达(Eugene A.Nida)借夫人应邀于1985年9月28日至10月28日在北京外国语学院进行了一个月的讲学活动。 奈达