找回密碼
 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ù) 返回頂部 返回列表
抚顺市| 安吉县| 普兰县| 山阴县| 三穗县| 积石山| 固镇县| 武陟县| 犍为县| 泗阳县| 枣庄市| 藁城市| 墨竹工卡县| 上蔡县| 绥中县| 类乌齐县| 抚松县| 台中市| 秭归县| 平利县| 垦利县| 子洲县| 佳木斯市| 富平县| 巴彦淖尔市| 宁河县| 喀喇| 衡阳县| 繁昌县| 龙南县| 土默特左旗| 九龙县| 英吉沙县| 黄浦区| 淮南市| 博罗县| 祥云县| 古浪县| 和顺县| 绿春县| 田林县|