UML模型分析技术和支撑工具的研究
结题报告
批准号：
60273036
项目类别：
面上项目
资助金额：
22.0 万元
负责人：
郑国梁
依托单位：
南京大学
学科分类：
F0203.软件理论、软件工程与服务
结题年份：
2005
批准年份：
2002
项目状态：
已结题
项目参与者：
李宣东、郑滔、崔萌、周颖、朱平、黄春荣、陈雨亭、刘芳、袁海
关键词：
UML模型分析.形式语义Z/COOZ
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
中文摘要
本项研究以Z/COOZ为基础,结合Automata和Petri Nels等其它形式描述机制,建立UML的形式语义,在此基础上解决相应的UML模型分析问题并开发相应的分析工具,同时在所建立的UML形式语义的基础上的探索不同层次上的UML模型之间的语义联系,为建立基于UML的软件开发方法打下基础,这对提高UML的精确性,提高软件开发效率和可靠性都有重要意义.
英文摘要
专著列表
科研奖励列表
会议论文列表
专利列表
国内基金
海外基金