切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
对象演算II
对象演算II
来源 :软件学报 | 被引量 : 0次 | 上传用户:louisvu
【摘 要】
:
文章应用Goguen等人的结论证明并得到了几个结构化对象演算的基本定理。一方面,这些定理保证了该文可由现有对象的描述构造新对象的描述,并且可以把建立在现有对象上的定理作为整个对
【作 者】
:
黄涛
钱军
【机 构】
:
中国科学院软件研究所计算机科学开放研究实验室
【出 处】
:
软件学报
【发表日期】
:
1999年9期
【关键词】
:
结构化
对象演算
Ω-理论
形式语义理论
Structured object calculus
institution
Ωtheory
object sys
【基金项目】
:
国家自然科学基金,,国家863 高科技项目基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章应用Goguen等人的结论证明并得到了几个结构化对象演算的基本定理。一方面,这些定理保证了该文可由现有对象的描述构造新对象的描述,并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理。另一方面,文章还讨论了基于封装性的对象精化。于是得到一个结构化的对象演算系统。
其他文献
以项目为中心的面向对象复用支持
现有的软件复用技术通常是围绕着库来组织利用标准的和通用的可复用资源。例如,面向对象编程环境中的类库和通用构件库。然而,这种以库为中心的复用方式在一定程度上吻略了可复
期刊
面向对象
软件复用
软件文档
软件工程
Reuse
objectorientation
objectoriented method.
基于块数据的教育精准扶贫及其模式创新
教育扶贫是新时期中国扶贫开发工作的重要内容和优先任务。块数据作为大数据真正到来的标志,为后扶贫时代教育扶贫模式创新提供了全新的思路与契机。与大数据教育扶贫相比,块
期刊
大数据
块数据
教育精准扶贫
耦合性
模式创新
Big data
Block data
Education-targeted poverty alleviati
自觉践行企业家精神
习近平总书记在主持召开企业家座谈会时指出:“企业家要带领企业战胜当前的困难,走向更辉煌的未来,就要在爱国、创新、诚信、社会责任和国际视野等方面不断提升自己,努力成为新时代构建新发展格局、建设现代化经济体系、推动高质量发展的生力军。”这为企业发展指明了方向,也为企业家提供了根本遵循,还赋予了企业家精神新的时代内涵。 坚定许党许国的信念。国有企业负责人肩负着国有资产保值增值的重要任务,必须厚植许
期刊
企业家精神
现代化经济体系
国际视野
根本遵循
高质量发展
不断提升
诚信
生力军
乡风文明:职业教育“化民成俗”新时代行动逻辑
乡风文明是新时代农村文化建设的战略目标,对乡村发展与美丽新农村建设意义重大。在新时代背景下,通过乡村文化转型形成符合现代化愿景且蕴含厚重文明价值的乡村文化是乡风文
期刊
乡风文明
职业教育
化民成俗
行动逻辑
Local custom civilization
Vocational education
Influence peo
后扶贫时代我国农村教育反贫困的价值理性回归--基于可行能力理论视角
消除能力贫困是后扶贫时代农村反贫困的主要目标,农村教育反贫困必将在其中发挥重要作用。蕴含在可行能力中的"全人教育"和"自由价值"引发对教育反贫困价值理性的反思。当前
期刊
后扶贫时代
农村教育反贫困
可行能力
价值理性
Post-poverty era
Rural education anti-poverty
Capability
A—ADL:一种多智能体系统体系结构描述语言
多智能体系统(multi-agent system,简称MAS)具有复杂的动态结构及行为特征。传统的体系结构描述语言(architecturd description language,简称ADL)在语义和表达能力两方面难以满足要求。提出了一种基于智能体的体系结构描述语言A-ADL(agent-based-ADL)。该语言
期刊
多智能体系统
A-ADL
体系结构描述语言
软件工程
Agent
MAS (multi-agent systems)
software architectu
民族地区高等教育普及化进程及其影响因素研究——基于1998—2018年省际数据的实证分析
采用时间序列趋势外推法和多元线性回归法从时间、空间和环境三维进行综合分析发现,我国民族地区1998—2018年高等教育规模较快增长。根据预测,民族八省区高等教育较大概率于
期刊
民族地区
高等教育普及化
高等教育毛入学率
影响因素
Ethnic region
Popularization of higher education
Gros
邻苯二甲酸二乙酯对鲤鱼组织中酯酶同工酶的影响
采用不连续聚丙烯酰胺凝胶电泳方法,研究了不同染毒浓度(0.125、0.5、2、8mg/L)邻苯二甲酸二乙酯(DEP)对鲤鱼4种组织酯酶(EST)同工酶表达的影响。结果表明,经不同浓度DEP处理后,肝、鳃、
期刊
鲤鱼
组织
酯酶
同工酶
Cyprinus carpio
tissue
esterase
isozyme
一类新的具脉冲出生单种群动力学模型分析
讨论了一类新的具脉冲出生的单种群动力学模型,利用离散动力系统频闪映射理论,得到了种群持续生存的充分条件.结论刻画了现实的生物种群动力学性质,也丰富了脉冲微分方程理论.
期刊
脉冲出生
单种群模型
频闪映射
Birth pulse
Single population model
Stroboscopic map
随机归约的五步完美零知识证明系统
构造了一个完善零知识的五步交互证明系统,该系统不依赖于任何(复杂性和计算能力)假设,在该系统中,证明者可具有限或无限的计算能力。
期刊
完备性
可靠性
零知识
知识证明系统
算法
与本文相关的学术论文