论文部分内容阅读
软件体系结构设计中的形式化方法,一直是软件工程领域中的研究热点.而在面向对象环境中如何对体系结构进行形式化,以精确描述其静态结构与动态交互行为,则一直未有好的解决办法.本文使用符号逻辑方法描述面向对象系统中的基本组成单元,并使用有限自动机建立面向对象体系结构的形式化模型.
面向对象软件体系结构的形式化模型
【摘 要】
：
软件体系结构设计中的形式化方法,一直是软件工程领域中的研究热点.而在面向对象环境中如何对体系结构进行形式化,以精确描述其静态结构与动态交互行为,则一直未有好的解决办
【机 构】
：
中南大学信息科学与工程学院计算机理论与软件研究所
【出 处】
：
小型微型计算机系统
【发表日期】
：
2003年10期
【基金项目】
：
教育部科学技术研究项目
其他文献
目的限量测定普罗碘铵的有关物质和降解产物。方法紫外分光光度法，检测波长353nm。结果经对比分析，本法可更加精密的进行普罗碘胺中有关物质和降解产物的限量测定。结论本方法
教育APP是“互联网+”教育的产物,教育APP以其便捷性、互动性、智能性、移动性等优点为创新创业教育带来了新的技术和内容支持。对教育APP在创新创业教育中的应用进行研究,通
以目标适应、系统稳定、灵活应变、持续发展等原则为指导，遵循高等职业教育的人才培养规律，紧紧围绕商科人才培养目标，构建“素能本位、内外结合、理实一体、学训合一”的高职商
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
近些年来,互联网金融行业欣欣向荣,给线上旅游的发展带来了机遇。互联网金融与旅游业两者融合,实现了利用新兴互联网技术支持旅游服务。本篇文章通过对互联网金融旅游业的现
随着素质教育的深入推广,高校体育教学的地位不断提升,教学内容也越来越丰富多样,其中健美操便成为深受学生喜爱的运动项目。当前,高校在健美操教学方面的研究和实践经验较少
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
针对商贸行业“厚德弘商、重技强能”的人才需求,安徽省内12所商科类高职院校、50多家企业,成立安徽省商科高职院校与企业合作教育联盟(简称“商科联盟”)理事会,构建合作平
高等职业教育培养的是技能型、应用型人才,其人才产出具有自身的特殊性,其人才培养模式要适应高等职业教育的需求。高职商科专业1.5+(1)+1"半工半读"模式,即在校培养一年半,
回顾在遗传性心律失常领域最新发表的相关研究,主要关注与儿童心源性猝死关系密切的离子通道病,包括长QT综合征(LQTS)、短QT综合征(SQTS)、Brugada综合征(BrS)和儿茶酚胺敏感