模型驱动式可信软件构造方法的研究
基本信息
批准号：90718014
项目类别：重大研究计划
资助金额：50.00
负责人：刘静
学科分类：
依托单位：华东师范大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：李晓山,姜宁康,杜德慧,陈慧,章玥,冯利波,单美静,宫雪强,谢越
关键词：
软件模型可信软件UTPUML模型驱动
结项摘要
可信软件构造是建立在严格的软件模型、推理和演算基础之上的。模型驱动架构MDA以模型为中心，通过建模，模型转换与精化，再生成可执行代码，是解决目前可信软件构造问题的最有前景的方法。但目前MDA技术没有提供可靠的模块连接手段。如何建立从需求分析到设计直到实现的各层次的模型，如何通过精化从上一层模型获得下一层模型，是用MDA构建可信软件中面临的巨大挑战。本项目研究采用形式方法，基于统一程序理论UTP，针
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
2
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
3
扶贫资源输入对贫困地区分配公平的影响
扶贫资源输入对贫困地区分配公平的影响
DOI：
发表时间：2020
4
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
5
LTNE条件下界面对流传热系数对部分填充多孔介质通道传热特性的影响
LTNE条件下界面对流传热系数对部分填充多孔介质通道传热特性的影响
DOI：10.11949/0438-1157.20201662
发表时间：2021
刘静的其他基金
批准号：81101746
批准年份：2011
资助金额：22.00
项目类别：青年科学基金项目
批准号：11564039
批准年份：2015
资助金额：37.00
项目类别：地区科学基金项目
批准号：41907078
批准年份：2019
资助金额：25.00
项目类别：青年科学基金项目
批准号：60872135
批准年份：2008
资助金额：35.00
项目类别：面上项目
批准号：60903146
批准年份：2009
资助金额：17.00
项目类别：青年科学基金项目
批准号：81760662
批准年份：2017
资助金额：36.00
项目类别：地区科学基金项目
批准号：11605226
批准年份：2016
资助金额：26.00
项目类别：青年科学基金项目
批准号：51574096
批准年份：2015
资助金额：63.00
项目类别：面上项目
批准号：51502170
批准年份：2015
资助金额：20.00
项目类别：青年科学基金项目
批准号：51609063
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：21573141
批准年份：2015
资助金额：66.00
项目类别：面上项目
批准号：51601137
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：30370185
批准年份：2003
资助金额：7.00
项目类别：面上项目
批准号：60502043
批准年份：2005
资助金额：21.00
项目类别：青年科学基金项目
批准号：81472735
批准年份：2014
资助金额：84.00
项目类别：面上项目
批准号：81501539
批准年份：2015
资助金额：18.00
项目类别：青年科学基金项目
批准号：81070226
批准年份：2010
资助金额：32.00
项目类别：面上项目
批准号：61204094
批准年份：2012
资助金额：26.00
项目类别：青年科学基金项目
批准号：81373261
批准年份：2013
资助金额：16.00
项目类别：面上项目
批准号：61572195
批准年份：2015
资助金额：64.00
项目类别：面上项目
批准号：61104051
批准年份：2011
资助金额：24.00
项目类别：青年科学基金项目
批准号：81470362
批准年份：2014
资助金额：75.00
项目类别：面上项目
批准号：31172053
批准年份：2011
资助金额：60.00
项目类别：面上项目
批准号：30970317
批准年份：2009
资助金额：8.00
项目类别：面上项目
批准号：59606013
批准年份：1996
资助金额：10.00
项目类别：青年科学基金项目
批准号：71702120
批准年份：2017
资助金额：18.00
项目类别：青年科学基金项目
批准号：50575219
批准年份：2005
资助金额：27.00
项目类别：面上项目
批准号：81770107
批准年份：2017
资助金额：58.00
项目类别：面上项目
批准号：21402207
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：81900629
批准年份：2019
资助金额：20.00
项目类别：青年科学基金项目
批准号：11804399
批准年份：2018
资助金额：27.00
项目类别：青年科学基金项目
批准号：31500237
批准年份：2015
资助金额：20.00
项目类别：青年科学基金项目
批准号：81760151
批准年份：2017
资助金额：34.00
项目类别：地区科学基金项目
批准号：21273143
批准年份：2012
资助金额：82.00
项目类别：面上项目
批准号：31700684
批准年份：2017
资助金额：24.00
项目类别：青年科学基金项目
批准号：81702995
批准年份：2017
资助金额：21.00
项目类别：青年科学基金项目
批准号：31801645
批准年份：2018
资助金额：26.00
项目类别：青年科学基金项目
批准号：40872131
批准年份：2008
资助金额：46.00
项目类别：面上项目
批准号：51904320
批准年份：2019
资助金额：25.00
项目类别：青年科学基金项目
批准号：50176053
批准年份：2001
资助金额：24.00
项目类别：面上项目
批准号：30500269
批准年份：2005
资助金额：27.00
项目类别：青年科学基金项目
批准号：61573276
批准年份：2015
资助金额：66.00
项目类别：面上项目
批准号：61602350
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：21505065
批准年份：2015
资助金额：24.00
项目类别：青年科学基金项目
批准号：81160108
批准年份：2011
资助金额：46.00
项目类别：地区科学基金项目
批准号：31900196
批准年份：2019
资助金额：24.00
项目类别：青年科学基金项目
批准号：61872366
批准年份：2018
资助金额：65.00
项目类别：面上项目
批准号：U1532154
批准年份：2015
资助金额：64.00
项目类别：联合基金项目
批准号：81360131
批准年份：2013
资助金额：49.00
项目类别：地区科学基金项目
批准号：51605051
批准年份：2016
资助金额：22.00
项目类别：青年科学基金项目
批准号：31302166
批准年份：2013
资助金额：20.00
项目类别：青年科学基金项目
批准号：71901158
批准年份：2019
资助金额：20.00
项目类别：青年科学基金项目
批准号：51571154
批准年份：2015
资助金额：67.00
项目类别：面上项目
批准号：11502089
批准年份：2015
资助金额：20.00
项目类别：青年科学基金项目
批准号：51871171
批准年份：2018
资助金额：60.00
项目类别：面上项目
批准号：41172179
批准年份：2011
资助金额：88.00
项目类别：面上项目
批准号：81101508
批准年份：2011
资助金额：14.00
项目类别：青年科学基金项目
批准号：81502179
批准年份：2015
资助金额：18.00
项目类别：青年科学基金项目
批准号：51909091
批准年份：2019
资助金额：27.00
项目类别：青年科学基金项目
批准号：51405386
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：81702771
批准年份：2017
资助金额：20.00
项目类别：青年科学基金项目
批准号：81802433
批准年份：2018
资助金额：21.00
项目类别：青年科学基金项目
批准号：31100353
批准年份：2011
资助金额：20.00
项目类别：青年科学基金项目
批准号：30971517
批准年份：2009
资助金额：30.00
项目类别：面上项目
批准号：61170084
批准年份：2011
资助金额：56.00
项目类别：面上项目
批准号：91748206
批准年份：2017
资助金额：230.00
项目类别：重大研究计划
批准号：71502024
批准年份：2015
资助金额：16.50
项目类别：青年科学基金项目
批准号：U1839203
批准年份：2018
资助金额：230.00
项目类别：联合基金项目
批准号：41204109
批准年份：2012
资助金额：25.00
项目类别：青年科学基金项目
批准号：61271301
批准年份：2012
资助金额：65.00
项目类别：面上项目
批准号：40672141
批准年份：2006
资助金额：42.00
项目类别：面上项目
72
circRNA_5303通过miR-138-5p调控Smad4参与钙化性主动脉瓣膜病变的分子机制研究
circRNA_5303通过miR-138-5p调控Smad4参与钙化性主动脉瓣膜病变的分子机制研究
批准号：81900349
批准年份：2019
资助金额：20.00
项目类别：青年科学基金项目
批准号：39960036
批准年份：1999
资助金额：10.00
项目类别：地区科学基金项目
批准号：51376102
批准年份：2013
资助金额：110.00
项目类别：面上项目
批准号：31800057
批准年份：2018
资助金额：27.00
项目类别：青年科学基金项目
批准号：21808014
批准年份：2018
资助金额：26.00
项目类别：青年科学基金项目
批准号：20902055
批准年份：2009
资助金额：19.00
项目类别：青年科学基金项目
批准号：51707204
批准年份：2017
资助金额：25.00
项目类别：青年科学基金项目
批准号：51905207
批准年份：2019
资助金额：25.00
项目类别：青年科学基金项目
批准号：30871087
批准年份：2008
资助金额：28.00
项目类别：面上项目
批准号：51064021
批准年份：2010
资助金额：25.00
项目类别：地区科学基金项目
批准号：51906129
批准年份：2019
资助金额：25.00
项目类别：青年科学基金项目
批准号：41804106
批准年份：2018
资助金额：25.00
项目类别：青年科学基金项目
批准号：81270576
批准年份：2012
资助金额：75.00
项目类别：面上项目
批准号：41601188
批准年份：2016
资助金额：22.00
项目类别：青年科学基金项目
批准号：60673114
批准年份：2006
资助金额：27.00
项目类别：面上项目
批准号：31701515
批准年份：2017
资助金额：22.00
项目类别：青年科学基金项目
批准号：81201956
批准年份：2012
资助金额：24.00
项目类别：青年科学基金项目
批准号：90610008
批准年份：2006
资助金额：25.00
项目类别：重大研究计划
批准号：61472422
批准年份：2014
资助金额：83.00
项目类别：面上项目
批准号：81071255
批准年份：2010
资助金额：33.00
项目类别：面上项目
批准号：50871077
批准年份：2008
资助金额：33.00
项目类别：面上项目
批准号：50776097
批准年份：2007
资助金额：36.00
项目类别：面上项目
批准号：51875456
批准年份：2018
资助金额：60.00
项目类别：面上项目
批准号：31872195
批准年份：2018
资助金额：61.00
项目类别：面上项目
批准号：41276166
批准年份：2012
资助金额：80.00
项目类别：面上项目
批准号：81560146
批准年份：2015
资助金额：37.00
项目类别：地区科学基金项目
批准号：81903993
批准年份：2019
资助金额：20.00
项目类别：青年科学基金项目
批准号：61773300
批准年份：2017
资助金额：64.00
项目类别：面上项目
批准号：61272329
批准年份：2012
资助金额：80.00
项目类别：面上项目
批准号：30500612
批准年份：2005
资助金额：29.00
项目类别：青年科学基金项目
批准号：51364034
批准年份：2013
资助金额：48.00
项目类别：地区科学基金项目
批准号：51464008
批准年份：2014
资助金额：49.00
项目类别：地区科学基金项目
批准号：81700319
批准年份：2017
资助金额：20.00
项目类别：青年科学基金项目
批准号：81560033
批准年份：2015
资助金额：35.00
项目类别：地区科学基金项目
批准号：21805156
批准年份：2018
资助金额：25.50
项目类别：青年科学基金项目
相似国自然基金
1
体系结构驱动的可信软件构造方法与技术研究
批准号：91118004
批准年份：2011
负责人：梅宏
学科分类：F0203
资助金额：300.00
项目类别：重大研究计划
2
可信软件构造理论与方法研究
批准号：91118003
批准年份：2011
负责人：何炎祥
学科分类：F0203
资助金额：300.00
项目类别：重大研究计划
3
航空嵌入式软件可信性度量模型研究
批准号：90818017
批准年份：2008
负责人：张莉
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
4
基于构件的可信软件构造及其行为动态可信测评
批准号：61462091
批准年份：2014
负责人：郁湧
学科分类：F0203
资助金额：44.00
项目类别：地区科学基金项目