| 实时程序设计方法的发展趋势 |
| |
| 引用本文： | 张宇 黄克. 实时程序设计方法的发展趋势[J]. 计算机研究与发展, 1993, 30(1): 55-60 |
| |
| 作者姓名： | 张宇 黄克 |
| |
| 作者单位： | 重庆工业管理学院 630050(张宇，黄克)，重庆工业管理学院 630050(李祖珉) |
| |
| 基金项目： | 机械电子工业部科开发基金技的资助 |
| |
| 摘 要： | 本文概述了目前实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证。讨论了实时程序设计的基本特点和与一般程序设计的不同之处。程序层次的实时性包括静态的时间限制表达和动态的时间限制维护.程序规范层次的实时性包括建立规范说明模型和形式化证明。
|
| 关 键 词： | 实时 程序设计 软件工程 发展 趋势 |
Development Trend of the Methodology for Real-Time Programming |
| |
| Zhang Yu Huang Ke Li Zumin Chongqing Institute of Technology and Management. Development Trend of the Methodology for Real-Time Programming[J]. Journal of Computer Research and Development, 1993, 30(1): 55-60 |
| |
| Authors: | Zhang Yu Huang Ke Li Zumin Chongqing Institute of Technology and Management |
| |
| Affiliation: | Zhang Yu Huang Ke Li Zumin Chongqing Institute of Technology and Management,630050 |
| |
| Abstract: | This paper overviews the current two basic directions of the methodology for real-timeprogramming:real-time programming languages;specification and verification of real-time programs.It discusses the basic properties of real-time programming and its differences from general programm-ing.At the program operation level,the real-timing includes static timing constraints expression anddynamic timing constraints validation.At the specificasion level,the real-timing includes the specifica-tion models and formal proving. |
| |
| Keywords: | real-time language methodology for real-time programming analysis of real-time systems software engineering. |
| 本文献已被 CNKI 维普 等数据库收录！ |
