| 闫仕宇,胡义香,蒋辉,申君.形式化方法在核事故评价系统中的应用[J].南华大学学报(自然科学版),2012,26(3):73~78.[YAN Shi-yu,HU Yi-xiang,JIANG Hui,SHEN Jun.Application of Formal Specification to Evalution System for Nuclear Accident[J].Journal of University of South China(Science and Technology),2012,26(3):73~78.] |
| 形式化方法在核事故评价系统中的应用 |
| Application of Formal Specification to Evalution System for Nuclear Accident |
| 投稿时间：2012-06-19 |
| DOI： |
| 中文关键词: 形式化 Z语言 UML 需求分析 |
| 英文关键词:formal specification Z language UML requirement analysis |
| 基金项目:衡阳市2011年科学与技术发展计划基金资助项目(2011KJ14);衡阳市科技局基金资助项目(2011KG61) |
|
| 摘要点击次数: 695 |
| 全文下载次数: 982 |
| 中文摘要: |
| 核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析，软件可靠性要求高.形式化方法具有严格数学基础，是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模，采用形式化语言对系统功能进行严格规约描述，提高系统开发的可靠性. |
| 英文摘要: |
| 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. |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| 关闭 |
|
|
|