| 形式化方法在核事故评价系统中的应用 |
| |
| 引用本文： | 闫仕宇,胡义香,蒋辉,申君.形式化方法在核事故评价系统中的应用[J].南华大学学报(自然科学版),2012,26(3):73-78. |
| |
| 作者姓名： | 闫仕宇 胡义香 蒋辉 申君 |
| |
| 作者单位： | 南华大学计算机科学与技术学院 |
| |
| 基金项目： | 衡阳市2011年科学与技术发展计划基金资助项目(2011KJ14);衡阳市科技局基金资助项目(2011KG61) |
| |
| 摘 要： | 核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.
|
| 关 键 词： | 形式化 Z语言 UML 需求分析 |
| 收稿时间： | 2012/6/19 0:00:00 |
Application of Formal Specification to Evalution System for Nuclear Accident |
| |
| YAN Shi-yu,HU Yi-xiang,JIANG Hui,SHEN Jun.Application of Formal Specification to Evalution System for Nuclear Accident[J].Journal of Nanhua University:Science and Technology,2012,26(3):73-78. |
| |
| Authors: | YAN Shi-yu HU Yi-xiang JIANG Hui SHEN Jun |
| |
| Institution: | (School of Computer Science and Technology,University of South China,Hengyang,Hunan 421001,China) |
| |
| Abstract: | Evaluation system for nuclear accident aimed to evaluate and predict the nuclear accident immediately after it happened.The requirement of software reliability is high.Formal method based on the strict mathematic is the important tool of theory in the software development.This paper used the UML to analyse and modele the system,then formulated specification describe function of system strictly with the specification language,and advanced the reliability of the system development. |
| |
| Keywords: | formal specification Z language UML requirement analysis |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《南华大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《南华大学学报(自然科学版)》下载免费的PDF全文 |
