| 实时软件设计方法的发展趋势 |
| |
| 引用本文： | 吴文兴.实时软件设计方法的发展趋势[J].现代计算机,2007(6):141-144. |
| |
| 作者姓名： | 吴文兴 |
| |
| 作者单位： | 广东商学院信息学院,广州510320 |
| |
| 摘 要： | 介绍实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证,讨论实时程序设计的基本特点和与一般程序设计的不同之处,程序层次的实时性包括静态的时间限制表达和动态的时间限制维护,程序规范层次的实时性包括建立规范说明模型和形式化证明.
|
| 关 键 词： | 实时语言 实时程序设计方法学 实时系统分析 |
| 修稿时间： | 2007-03-302007-05-24 |
Development Trend of Real Time Software Design Method |
| |
| WU Wen-xing.Development Trend of Real Time Software Design Method[J].Modem Computer,2007(6):141-144. |
| |
| Authors: | WU Wen-xing |
| |
| Affiliation: | Information College, Business University of Guangdong, Guangzhou 510320 |
| |
| Abstract: | Introduces two basic aspect of real time program design methodology, canonical explanation of real time program language and real time program and formulation verify, discusses the basic characteristic of real time program design, real time program layer comprise static time limit expression and dynamic time limit protect, real time program canonical layer comprises building up the model of canonical explanation and proof of formulation. |
| |
| Keywords: | Real Time Language Real Time Program Design Methodology Real Time System Analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
