找回密碼
 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ù) 返回頂部 返回列表
灵丘县| 元江| 威宁| 都昌县| 富锦市| 沂水县| 册亨县| 南皮县| 会宁县| 彰化县| 巩义市| 游戏| 茶陵县| 黄龙县| 余干县| 乌苏市| 佳木斯市| 盐边县| 玉环县| 望谟县| 綦江县| 庄浪县| 手机| 磴口县| 芦溪县| 九寨沟县| 绥滨县| 汤原县| 黔西| 金塔县| 三亚市| 疏附县| 灵武市| 建平县| 张家口市| 开原市| 海伦市| 石渠县| 三亚市| 石楼县| 玉田县|