对象封装和保护的理论和技术研究
基本信息
批准号：90718002
项目类别：重大研究计划
资助金额：50.00
负责人：裘宗燕
学科分类：
依托单位：北京大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：秦胜潮,杨红丽,王淑灵,赵翔鹏,蔡超,刘译璟,彭力扬,舒琴,李薇
关键词：
对象封装静态检查语义模型局部性面向对象
结项摘要
面向对象技术是现在软件开发的主流技术，但OO程序的理论基础还远未成熟，影响到人们对OO程序的信任，也限制了将OO技术用于关键性软件开发的可能性。程序运行中的对象封装（confinement）既是实际应用的需要，也是OO理论研究的一个重要课题。良好的对象封装既能提高程序的内部安全性，有利于减少系统设计缺陷；也能提高系统抵御外部攻击或误用的能力。本项目是基于研究组前段有关OO理论和对象封装问题的研究工
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
2
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
3
中国参与全球价值链的环境效应分析
中国参与全球价值链的环境效应分析
DOI：10.12062/cpre.20181019
发表时间：2019
4
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
DOI：
发表时间：2022
5
基于细粒度词表示的命名实体识别研究
基于细粒度词表示的命名实体识别研究
DOI：10.3969/j.issn.1003-0077.2018.11.009
发表时间：2018
裘宗燕的其他基金
批准号：60173003
批准年份：2001
资助金额：21.00
项目类别：面上项目
批准号：61272160
批准年份：2012
资助金额：80.00
项目类别：面上项目
批准号：60573081
批准年份：2005
资助金额：22.00
项目类别：面上项目
批准号：69873003
批准年份：1998
资助金额：12.00
项目类别：面上项目
批准号：60773161
批准年份：2007
资助金额：29.00
项目类别：面上项目
相似国自然基金
1
基于功能集成的磁封装基础理论和关键技术研究
批准号：51607141
批准年份：2016
负责人：王来利
学科分类：E0706
资助金额：21.00
项目类别：青年科学基金项目
2
基于C-K理论、NAR和FCA的对象簇创新设计技术研究
批准号：51365010
批准年份：2013
负责人：牛秦洲
学科分类：E0506
资助金额：45.00
项目类别：地区科学基金项目
3
单片集成MEMS风速计和气压计的优化理论和封装技术研究
批准号：60476019
批准年份：2004
负责人：秦明
学科分类：F0406
资助金额：26.00
项目类别：面上项目
4
免疫对象存储系统（IOSS）模型、仿真和实现技术研究
批准号：60603074
批准年份：2006
负责人：黄建忠
学科分类：F0204
资助金额：22.00
项目类别：青年科学基金项目