找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: ECOOP ‘91 European Conference on Object-Oriented Programming; Geneva, Switzerland, Pierre America Conference proceedings 1991 Springer-Verl

[复制链接]
楼主: 凭票入场
发表于 2025-4-1 03:42:46 | 显示全部楼层
Modeling the C++ object model,lternatives are discussed and evaluated, which reveal anomalies in the C++ language. We conclude by characterizing those aspects of the C++ object model that distinguish C++ from other object systems.
发表于 2025-4-1 09:40:49 | 显示全部楼层
An object-oriented logic language for modular system specification,icity, with an expressive and intuitive graphic notation, yielding a specification language that is formal and rigorous, and still flexible, readable, general, and easily adaptable to the user‘s needs.
发表于 2025-4-1 13:08:01 | 显示全部楼层
发表于 2025-4-1 15:12:55 | 显示全部楼层
Inheritance in object oriented Z,it characterises . as a technique for the hierarchical classification of objects. Thus derivation in Z is a basis for reusing existing specification modules. Subtyping inheritance is the basis for considering the substitutability of one class for another.
发表于 2025-4-1 20:23:49 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-7-4 02:02
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表