下载基于工作流的可信软件过程的定义方法的技术资料

文档序号:2825697

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。

本发明公开了一种基于工作流的可信软件过程的定义方法,从软件过程角度在软件开发过程中对软件的可信性进行保证。本发明采用UML建模语言给出可信软件过程定义的元模型,并且对工作流管理联盟的过程模型做形式化的整理,给出可信软件过程工作流模型的形式化...
该专利属于兰雨晴所有,仅供学习研究参考,未经过兰雨晴授权不得商用。

详细技术文档下载地址

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。