找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

Titlebook: Component-Based Software Engineering; 12th International S Grace A. Lewis,Iman Poernomo,Christine Hofmeister Conference proceedings 2009 Sp

[復(fù)制鏈接]
樓主: 極大
11#
發(fā)表于 2025-3-23 13:11:21 | 只看該作者
12#
發(fā)表于 2025-3-23 17:42:11 | 只看該作者
https://doi.org/10.1007/978-3-531-92446-5 between the original structure of the source code of a component and the extracted specification; in particular, this is important for both user comprehension and for interpretation of results of any further formal verification. Even though the reverse engineering techniques providing behavior spec
13#
發(fā)表于 2025-3-23 18:38:40 | 只看該作者
14#
發(fā)表于 2025-3-24 02:16:38 | 只看該作者
https://doi.org/10.1007/978-3-642-61533-7ent to component. Connection mechanisms are not hierarchical in general, and therefore current component models do not support hierarchical system construction. In this paper we argue that control encapsulation by components, together with suitable composition mechanisms, can lead to a component mod
15#
發(fā)表于 2025-3-24 03:09:13 | 只看該作者
16#
發(fā)表于 2025-3-24 08:49:35 | 只看該作者
https://doi.org/10.1007/978-3-531-92089-4ments engineering phase, the most important view is the functional one, which specifies functionalities offered by the system and relationships between them. In the design phase, the component-based view describes the system as a network of interacting components. Via their interaction, they realize
17#
發(fā)表于 2025-3-24 13:59:03 | 只看該作者
https://doi.org/10.1007/978-3-531-92089-4ll, the starting point in their management, namely their specification in a context of component models is not addressed in a systematic way. Extra-functional properties can be expressed as attributes (or combinations of them) of components, or of a system, but also as attributes of other elements,
18#
發(fā)表于 2025-3-24 18:13:33 | 只看該作者
19#
發(fā)表于 2025-3-24 19:38:16 | 只看該作者
20#
發(fā)表于 2025-3-24 23:21:04 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-14 18:33
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
兴隆县| 河津市| 阜康市| 扎鲁特旗| 德格县| 亚东县| 英德市| 织金县| 宣恩县| 仪征市| 共和县| 岗巴县| 峨边| 沁阳市| 三原县| 农安县| 礼泉县| 清苑县| 铅山县| 安宁市| 霍山县| 隆林| 祁东县| 武功县| 赣榆县| 那曲县| 寿阳县| 合肥市| 汤阴县| 蓬安县| 德江县| 双流县| 工布江达县| 萝北县| 涿州市| 宜阳县| 龙里县| 扎囊县| 大渡口区| 沾益县| 扶沟县|