论文部分内容阅读
本文研究了如何在自适应软件开发的各个开发阶段进行形式化定义,来保证自适应软件的正确性与可信性。利用有限自动机模型作为自适应软件的建模方法,该方法可以将对传统软件的分析方法直接用于自适应软件上。提出了一个基于目标的自适应软件需求分析方法
基于线性时序逻辑自适应软件的需求分析
【摘 要】
：
本文研究了如何在自适应软件开发的各个开发阶段进行形式化定义,来保证自适应软件的正确性与可信性。利用有限自动机模型作为自适应软件的建模方法,该方法可以将对传统软件的
【机 构】
：
南京政治学院上海校区信息管理中心
【出 处】
：
数字技术与应用
【发表日期】
：
2011年10期
其他文献
在"新常态"的背景下,国家经济更加注重质量发展,政府绩效审计对国家经济发展质量的提高起到重要作用。基于"活系统"理论,利用结构方程模型分析通过技术资源提高政府绩效审计
随着信息化科技的发展,多媒体技术越来越渗透到我们生活的方方面面。而其中视频技术是发展最为迅猛的技术之一,在很多方面都有应用,如实时监控,视频会议等。最新的视频编码标
本试验对野生虎斑乌贼5种组织(肌肉、肝脏、卵巢、缠卵腺、副缠卵腺)的营养成分进行分析,旨在对其营养价值进行评估。随机选取雌、雄野生虎斑乌贼[雌性个体平均体长(31.37±0
在NAB展览上，苹果还推出了其新一代合成和视觉效果软件Shake 3。Shake 3的某些功能只针列Mac OS×系统，如Shake Qmaster网络渲染管理软件和无限制网络渲染许可，允许视觉效果
“传承影像DNA——佳能新品发布会”在北京．上海．广州同时召开。在本次发布会上．佳能隆重推出了顶级专业数码单反相机EOS-1Ds Mark Ⅱ：时尚小巧型数码相机Digital IXUS 30．Digital
目的观察心理护理干预对改善老年高血压患者焦虑抑郁情绪的临床效果。方法选择2013年3月~2014年4月到南阳市某医院心内科治疗的高血压老年患者92例,随机将其分成两组,每组各4
诚信是现代市场经济发展的道德基础、内在动力和可靠保证.市场经济诚信原则的主要内容是:依诚实信用的方式制定市场规则、依诚实信用的方式行使经营权利及依诚实信用的方式履