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

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

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

面向方面的实时系统形式化开发方法被引量：10: 《计算机科学》2005年第7期189-192,217,共5页陈广明张立臣陈生庆; 国家自然科学基金(No.60474072;No.60174050);广东省自然科学基金(No.04009465;No.010059);广东省高校自然科学研究项目(No.Z03024)基金; 实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种...; 关键词：形式化开发方法实时系统面向系统开发方法软件工程方法规格描述语言组件模型功能接口系统复杂性形式化方法可重用性可配置性设计阶段框架结构可信性 RT 部件