期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

对象形式语义模型被引量：4

下载PDF

导出

摘要在面向对象的软件构造中，对象视为软件系统的基本构件，本文给出一个对象形式语义模型，对象被定义为封装属性和行为的实体，对象行为必须满足给定的静态约束和时序约束；基于对象态射本文给出对象聚俣，特化，继承和对象类等概念在此语义模型框架中的解释。

作者黄涛李京

出处《软件学报》 EI CSCD 北大核心 1995年第A01期207-212,共6页 Journal of Software

关键词对象语义模型继承聚合软件构造软件系统

分类号 TP31 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献1

1冯玉林，计算机学报，1993年，16卷，111期，823页

同被引文献14

1冯玉琳,李京,黄涛.对象语义理论和行为约束推理[J].计算机学报,1993,16(11):823-838. 被引量：12
2黄涛,冯玉琳,倪彬,李京.对象描述语言及其指称描述[J].软件学报,1996,7(10):577-586. 被引量：5
3黄涛.对象形式语义理论研究（博士学位论文）[M].合肥:中国科技大学,1994..
4李刚.软件形式规约自动转换系统设计与实现：硕士论文[M].山东师范大学,1998..
5黄涛，软件学报，1995年，6卷，增刊，207页
6黄涛，博士学位论文，1994年
7冯玉琳，计算机学报，1993年，16卷，11期，889页
8刘强,崔莉,陈海明.物联网关键技术与应用[J].计算机科学,2010,37(6):1-4. 被引量：614
9黄涛,钱军,周桓.对象演算Ⅰ[J].软件学报,1999,10(9):931-940. 被引量：4
10黄涛,钱军,王栩.对象演算Ⅱ[J].软件学报,1999,10(9):941-951. 被引量：2

引证文献4

1黄涛,钱军,倪彬.Trace演算[J].软件学报,1999,10(8):790-799. 被引量：4
2钱军,黄涛,冯玉琳.对象系统的组合交互计算[J].软件学报,2001,12(9):1295-1303.
3李刚,刘欣昕.形式化构件规约自动生成中的演化转换[J].计算机工程与应用,2002,38(8):69-72.
4张国会,郑鹏飞,刘贺.铁路行业信息化背景下的智能仪表接入研究[J].信息通信技术,2023,17(1):14-20. 被引量：1

二级引证文献5

1钱军,冯玉琳.系统动态行为语义模型及其形式描述[J].计算机研究与发展,1999,36(8):907-914. 被引量：3
2黄涛,钱军,周桓.对象演算Ⅰ[J].软件学报,1999,10(9):931-940. 被引量：4
3黄涛,钱军,王栩.对象演算Ⅱ[J].软件学报,1999,10(9):941-951. 被引量：2
4胡金柱,舒忠梅.基于代数-时态逻辑的象形对象语义模型探讨[J].小型微型计算机系统,2002,23(7):865-870.
5范明明,刘鑫.物联网在智能铁路维护中的应用研究[J].单片机与嵌入式系统应用,2023,23(10):84-87. 被引量：1

1夏泽青,夏祖勋.抽象数据类型理论及其态射关系[J].镇江船舶学院学报,1992,6(4):30-33.
2周学海,李光亚,赵振西,张曙.基于图象对象语义模型的图象对象的创建[J].计算机研究与发展,1998,35(9):855-858. 被引量：2
3李康杰,钱振江,黄皓.微内核中断机制的形式化设计与验证[J].计算机科学,2013,40(3):197-200. 被引量：4
4王茜,李永明.通用模糊自动机[J].模糊系统与数学,2012,26(6):66-73.
5钱振江,刘苇,黄皓.操作系统对象语义模型(OSOSM)及形式化验证[J].计算机研究与发展,2012,49(12):2702-2712. 被引量：11
6苗德成.形式语言的范畴计算模型研究[J].韶关学院学报,2011,32(12):8-11. 被引量：1
7刘志忠,王怀民,常俊胜.语义集成的理论基础[J].南京大学学报（自然科学版）,2005,41(z1):48-53.
8钱振江,黄皓,宋方敏.操作系统形式化设计与安全需求的一致性验证研究[J].计算机学报,2014,37(5):1082-1099. 被引量：6
9宋波,缪淮扣,张忠能.图形转换的构件组装框架唯一性研究[J].小型微型计算机系统,2010,31(2):285-289.
10侯金奎,马军.支持MDD的体系结构模型的形式化语义[J].中山大学学报（自然科学版）,2008,47(6):109-113. 被引量：1

软件学报

1995年第A01期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部