UML模型分析技术和支撑工具的研究
基本信息
批准号：60273036
项目类别：面上项目
资助金额：22.00
负责人：郑国梁
学科分类：
依托单位：南京大学
批准年份：2002
结题年份：2005
起止时间：2003-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：李宣东,郑滔,崔萌,周颖,朱平,黄春荣,陈雨亭,刘芳,袁海
关键词：
UML模型分析形式语义Z/COOZ
结项摘要
本项研究以Z/COOZ为基础,结合Automata和Petri Nels等其它形式描述机制,建立UML的形式语义,在此基础上解决相应的UML模型分析问题并开发相应的分析工具,同时在所建立的UML形式语义的基础上的探索不同层次上的UML模型之间的语义联系,为建立基于UML的软件开发方法打下基础,这对提高UML的精确性,提高软件开发效率和可靠性都有重要意义.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
3
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
4
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
5
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
郑国梁的其他基金
批准号：11404220
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
相似国自然基金
1
UML/OCL模型的改写语义研究和工具开发
批准号：61163008
批准年份：2011
负责人：马苏拉
学科分类：F0201
资助金额：49.00
项目类别：地区科学基金项目
2
软件在线演化的关键技术与支撑工具研究
批准号：60973044
批准年份：2009
负责人：马晓星
学科分类：F0203
资助金额：29.00
项目类别：面上项目
3
面向UML的形式化测试技术
批准号：69973051
批准年份：1999
负责人：王戟
学科分类：F0203
资助金额：12.00
项目类别：面上项目
4
模型检测的理论、技术与工具
批准号：60833001
批准年份：2008
负责人：林惠民
学科分类：F0201
资助金额：180.00
项目类别：重点项目