云南高校图书馆联盟文献共享服务平台- 形式化开发方法

形式化开发方法: 作品数：9被引量：16H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：张立臣陈广明陈生庆杨捷梅萌更多>>; 相关机构：广东工业大学嘉应学院武汉大学同济大学更多>>; 相关期刊：《井冈山大学学报（自然科学版）》《小型微型计算机系统》《计算机应用》《中国铁道科学》更多>>; 相关基金：国家自然科学基金广东省高等学校自然科学研究重点项目广东省自然科学基金国家教育部博士点基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于实时语言和面向方面的形式化开发方法: 《计算机应用》2006年第1期240-242,248,共4页陈生庆张立臣陈广明; 国家自然科学基金资助项目(6047407260174050);广东省自然科学基金资助项目(04009465010059);广东省高校自然科学研究项目(Z03024); 面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO-RT-Z,在编码阶段应用实时语...; 关键词：面向方面实时系统形式化方法 RT—Z AO—RT—Z PEARL语言