文献详情 - Gdtheory理论粤军网|广东智库信息化平台

文献详细_{Journal detailed}

基于实时语言和面向方面的形式化开发方法
Formal development method based on real-time language method and aspect-oriented

下载全文在线阅读

收藏

作　　者： ; ; ;

出　　处： 《计算机应用》 2006年第1期240-242,248,共4页

摘　　要： 面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO-RT-Z,在编码阶段应用实时语言PEARL,实现了软件开发各个阶段对面向方面的无缝支持。 Aspect-oriented Software Development and real-time Language Programming can reduce the complexity of realtime software. The formal methods can increase dependability of Software Development. The aspect-oriented formal development method AOSDBRTL was established. The real-time language PEARL was used in implementing stage and the A0- RT-Z - the Aspect-Oriented formalism based on RT-Z was used in designing stage. AOSDBRTL was a seamless process on the phases of the software development.

关键词： 面向方面实时系统形式化方法语言

领　　域： [自动化与计算机技术] [自动化与计算机技术]

相关机构对象

机构华南师范大学: 作者数：20338; 发文主题：教师成长,宏观经济,社会主义实践,中国梦,二重性质,马克思主义经济学,人生哲学,有效教学,中国货币政策,教育科研,克鲁格曼,教育叙事研究,教育研究,政治经济学,人民内部矛盾,新自由主义,校本教研,人性,哲学发展,课程改革,老师,教育行动研究,卢卡奇,学校教育,动物精神,马克思哲学,凯恩斯主义,人类社会发展规律,西方经济学,因果,教学研究,社会主义市场经济,中国共产党,教师,实证研究,诺贝尔经济学奖,教育现象学,英美文学,埃尔斯特,实证检验,校本教学研究,中国化马克思主义,社会主义建设规律,唯物史观,经济政策,社会存在本体论,异化,日常教学,社会主义发展道路,叙事研究,早期西方马克思主义,教学理念,马克思主义,人民币国际化,历史唯物主义,萨金特,教育叙事,世界货币,本体论,

机构广东培正学院: 作者数：1888; 发文主题：代型,明代小说,三国演义,文学经典,人性观,教学文本,坐标轴,思想道德建设,教育发展策略,视域融合,大学生择业,实证分析,金瓶梅,择业心理,心理教育,佛教,交往,封神演义,文本观,叙事,教育民营化,教材,教学方法,教学,水浒传,喜鹊,西游记,教育质量,政府角色,交往学习,社区自治,伽达默尔,教学文化,学习共同体,大学生就业能力,儒家,就业质量,施教,大学语文,道教,融合论,师生关系,教育公平,

机构广州南洋理工职业学院: 作者数：428; 发文主题：图书馆网站建设,法治化建设,社会服务,智慧化,图书馆营销,图书馆,刑事和解,社会主义法治精神,文化领导力,文明建设,生态文明,社会主义法治文化,图书馆服务能力,物权法,高职院校,中国房地产,企业,教育学生,人性管理,体验营销,职业化建设,中国特色社会主义,反向物流,农村,社会化媒体,职业化问题,主体性回归,教学改革,图书馆社会化,有效教学理念,文化构建,物流文化,理论课,教学法,马克思主义法学中国化,用户体验,技术应用,思想政治教育,高校,营销策略,图书馆技术,再制造技术,高校科协,社会主义核心价值体系,云计算,小城镇建设,法治思维,信息构建,管理科学化,农村土地承包经营权流转,教学实践,阅览,供应链,中小企业文化建设,一带一路,物流,社会公德教育,功能论,图书馆员,

机构暨南大学: 作者数：20971; 发文主题：行政手段,比较文学,法人资格,东亚货币合作,世界华文文学,三民主义,追寻,国际移民,双方当事人,文艺理论,法律地位,多角化经营战略,区域经济合作,经济法学,孙中山,国家所有权,母语教育,章程,网络,海外华文教育,横向经济联合,产权关系,专利法,文学传统,华裔美国文学,致辞,马来西亚华文教育,整体观,监事会,国有资产所有权,华族,全过程,汉语文学,冷战后,法律调整,全球语境,统战工作,海外华文文学研究,华文教育,辛亥革命时期,结构性权力,华人社会,海外华文文学,他者,文本阅读,涉外经济法规,粤港澳,经济法制,东南亚华人,新移民文学,人口比例,经济联合体,中国文学,企业集团,跨文化,社会参与,法制管理,文学概论,全球化语境,文艺学研究,

机构中山大学人文科学学院马克思主义哲学与中国现代化研究所: 作者数：190; 发文主题：主体性,尼采,马克思主义哲学史,哲学研究,马克思主义研究,哲学问题,中国马克思主义,哲学学科,社会主义道路,逻辑,历史主义,人权理论,人权思想,哲学发展,公民社会,哲学思想,人权问题,虚无主义,屠格涅夫,辩证法,马克思主义哲学,弗罗洛夫,斯大林,中国马克思主义哲学,苏联哲学,自然法,去工业化,新资本主义,维度,社会主义政治文明,启蒙,物象化,人民公社,社会理论,俄罗斯哲学,社会主义,农业合作化,哲学家,商品经济,哲学研究方法论,唯物辩证法,哲学界,苏联模式,社会性,唯物史观,大众,施蒂纳,焦虑,道德价值,世界人权宣言,马克思主义,语言哲学研究,历史唯物主义,人权标准,普京,毛泽东,社会批判理论,宗教哲学,

基于实时语言和面向方面的形式化开发方法
Formal development method based on real-time language method and aspect-oriented

参考文献更多+

二级参考文献更多+

引证文献更多+

二级引证文献更多+

同被引文献更多+

耦合作品文献更多+

相关文献更多+

相关作者

相关机构对象

相关领域作者

基于实时语言和面向方面的形式化开发方法 Formal development method based on real-time language method and aspect-oriented

参考文献 更多+

二级参考文献 更多+

引证文献 更多+

二级引证文献 更多+

同被引文献 更多+

耦合作品文献 更多+

相关文献 更多+

相关作者

相关机构对象

相关领域作者

基于实时语言和面向方面的形式化开发方法
Formal development method based on real-time language method and aspect-oriented

参考文献更多+

二级参考文献更多+

引证文献更多+

二级引证文献更多+

同被引文献更多+

耦合作品文献更多+

相关文献更多+