![形式化验证讲义[共50页]](https://www.peiji.com/assets/images/load.png)
软件的形式化理论和方法catty.wang@gmail.com主要内容软件开发过程和问题形式化方法简介形式化方法历史主要的形式化证明工具形式化方法的应用举例结论软件开发过程一般来说，软件开发的主要步骤大致如下：提出问题并进行需求分析；设计：包括功能和结构设计；编码和构建；调试；发布，维护和升级。常用的开发模型：如传统的瀑布模型，较新近的快速原型、迭代式开发模型等等软件开发的期望软件质量...
广东工业大学工学硕士学位论文基于UML和形式化方法的面向方面实时系统模型刘瑞成二零零六年五月八日分类号:学校代码:111911UDC:密级:学号:2240305243广东工业大学学位论文基于UML和形式化方法的面向方面实时系统模型刘瑞成指导教师:张立臣教授广东工业大学计算机学院学科门类:工学专业名称:计算机软件与理论申请学位级别:硕士论文提交日期:2006年5月论文答辩日期:2006年5月学位授予单位:广东工业大学ADissertationSubmittedtoGu...
形式化验证安全协议Java代码的安全性学校代号10524学号12009499分类号密级硕士学位论文形式化验证安全协议Java代码的安全性学位申请人姓名汪卫培养单位计算机科学学院导师姓名及职称孟博副教授学科专业计算机应用技术研究方向信息安全论文提交日期2012年5月9日学校代号:10524学号:12009499密级:中南民族大学硕士学位论文形式化验证安全协议Java代码的安全性学位申请人姓名:汪卫导师姓名及职称:孟博副教授培养单位:计算机科学学...
