找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

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

[復制鏈接]
樓主: 極大
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 | 只看該作者
 關于派博傳思  派博傳思旗下網站  友情鏈接
派博傳思介紹 公司地理位置 論文服務流程 影響因子官網 吾愛論文網 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經驗總結 SCIENCEGARD IMPACTFACTOR 派博系數 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網安備110108008328) GMT+8, 2025-10-14 23:46
Copyright © 2001-2015 派博傳思   京公網安備110108008328 版權所有 All rights reserved
快速回復 返回頂部 返回列表
班玛县| 麻栗坡县| 通州市| 河池市| 长岭县| 临沭县| 璧山县| 茶陵县| 萨嘎县| 勃利县| 峡江县| 定南县| 绥中县| 邮箱| 和平县| 平度市| 平阳县| 翼城县| 开阳县| 安陆市| 龙游县| 西畴县| 舞钢市| 北辰区| 工布江达县| 晋宁县| 菏泽市| 称多县| 云浮市| 信阳市| 天祝| 文昌市| 龙门县| 邻水| 牙克石市| 台州市| 黄平县| 麻江县| 聊城市| 东兴市| 道真|