找回密碼
 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ù) 返回頂部 返回列表
寻甸| 邯郸市| 保山市| 库伦旗| 天柱县| 招远市| 兴和县| 松溪县| 册亨县| 芦山县| 碌曲县| 离岛区| 卢龙县| 甘肃省| 白银市| 油尖旺区| 尉犁县| 张掖市| 临朐县| 池州市| 英超| 酒泉市| 电白县| 南召县| 枣庄市| 永济市| 西乡县| 桓台县| 永和县| 阿坝县| 读书| 滕州市| 桑日县| 阳信县| 宣威市| 赤城县| 辽阳县| 商水县| 钟山县| 吉林市| 和龙市|