找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問(wèn)微社區(qū)

1234567
返回列表
打印 上一主題 下一主題

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

[復(fù)制鏈接]
61#
發(fā)表于 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.
62#
發(fā)表于 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.
63#
發(fā)表于 2025-4-1 13:08:01 | 只看該作者
64#
發(fā)表于 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.
65#
發(fā)表于 2025-4-1 20:23:49 | 只看該作者
1234567
返回列表
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛(ài)論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-21 12:31
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
洱源县| 东平县| 日土县| 油尖旺区| 石门县| 清原| 建水县| 嘉定区| 潮州市| 思南县| 九寨沟县| 贡觉县| 万安县| 高陵县| 常宁市| 玉环县| 沐川县| 上犹县| 广西| 岐山县| 临海市| 洪江市| 文化| 呼和浩特市| 祁东县| 正阳县| 怀化市| 武穴市| 怀化市| 河源市| 紫云| 奈曼旗| 张北县| 苗栗县| 张北县| 陇南市| 阜新| 天柱县| 乌鲁木齐市| 中阳县| 山丹县|