回到首頁
|刊登類別：
|
加入追蹤清單
物品已無存貨。

第 1/1 張圖片

Jean-Philippe Babau Model Driven Engineering For Distributed Real-Time HBOOK NEW - 第 1/1 張圖片
有類似物品要出售？
自己賣

Jean-Philippe Babau Model Driven Engineering For Distributed Real-Time HBOOK NEW

Another great item from Rarewaves USA | Free delivery!
狀況：
全新
價格：
C $256.82
大約HK$ 1,458.35
運費：
不運送到：美國. 查看詳情— 運送
所在地：60502, 美國
送達日期：
視情況而定
退貨：
30 日退貨. 由買家支付退貨運費. 查看詳情- 更多退貨相關資訊
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）

安心購物

高度評價賣家
值得信賴的賣家，發貨快，輕鬆退貨。 
進一步了解- 超高度評價 — 會在新視窗或分頁中開啟

賣家資料

註冊為商業賣家
檢舉物品 — 會在新視窗或分頁中開啟
賣家必須承擔此刊登物品的所有責任。
eBay 物品編號：235554728794
上次更新時間： 2024-05-21 06:31:52查看所有版本查看所有版本

物品細節

物品狀況
全新: 全新，未閱讀過和使用過的書籍，狀況完好，不存在缺頁或內頁受損。 查看所有物品狀況定義會在新視窗或分頁中開啟
Artist
Jean-Philippe Babau
Author
Mireille Blay-Fornarino
EAN
9781848211155
Format
Hardcover
ISBN
9781848211155
Language
English
Release Year
2010-08-13
Book Title
Model Driven Engineering For Distributed Real-Time Embedded Syste
Type
Textbook
Subject Area
Science
Publication Name
Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 : Advances, Standards, Applications and Perspectives
Item Length
9.3 in
Publisher
Wiley & Sons, Incorporated, John
Subject
System Theory
Publication Year
2010
Item Height
0.8 in
Item Width
6.2 in
Item Weight
17.6 Oz
Number of Pages
320 Pages

關於產品

Product Information

Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems.

Product Identifiers

Publisher
Wiley & Sons, Incorporated, John
ISBN-10
1848211155
ISBN-13
9781848211155
eBay Product ID (ePID)
102827076

Product Key Features

Author
Mireille Blay-Fornarino
Publication Name
Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 : Advances, Standards, Applications and Perspectives
Format
Hardcover
Language
English
Subject
System Theory
Publication Year
2010
Type
Textbook
Subject Area
Science
Number of Pages
320 Pages

Dimensions

Item Length
9.3 in
Item Height
0.8 in
Item Width
6.2 in
Item Weight
17.6 Oz

Additional Product Features

LCCN
2010-027955
Intended Audience
Scholarly & Professional
Lc Classification Number
Qa76.76.D47m622 2010
Table of Content
Chapter Summary xi Chapter 1. Model Transformation: A Survey of the State of the Art 1 Tom MENS 1.1. Model-driven engineering 1 1.2. Model transformation 2 1.3. Model transformation languages 5 1.4. Model transformation activities 8 1.5. Conclusion 14 1.6. Acknowledgements 14 1.7. Bibliography 15 Chapter 2. Model-Based Code Generation 21 Chris RAISTRICK 2.1. Introduction 21 2.2. The model-driven architecture (MDA) process 22 2.3. The automated approach to code generation 23 2.4. Domain modeling 25 2.5. The executable UML (xUML) formalism 29 2.6. System generation 31 2.7. Executable UML to code mappings 34 2.8. Conclusions 41 2.9. Bibliography 42 Chapter 3. Testing Model Transformations: A Case for Test Generation from Input Domain Models 43 Benoit BAUDRY 3.1. Introduction 43 3.2. Challenges for testing systems with large input domains 46 3.3. Selecting test data in large domains 52 3.4. Metamodel-based test input generation 58 3.5. Conclusion 67 3.6. Acknowledgements 68 3.7. Bibliography 68 Chapter 4. Symbolic Execution-Based Techniques for Conformance Testing 73 Christophe GASTON, Pascale LE GALL, Nicolas RAPIN and Assia TOUIL 4.1. Context 73 4.2. Input output symbolic transition systems 79 4.3. Symbolic execution 84 4.4. Conformance testing for IOSTS 87 4.5. Concluding remarks 96 4.6. Bibliography 101 Chapter 5. Using MARTE and SysML for Modeling Real-Time Embedded Systems 105 Huascar ESPINOZA, Daniela CANCILA, Sébastien GÉRARD and Bran SELIC 5.1. Introduction 105 5.2. Background 108 5.3. Scenarios of combined usage 113 5.4. Combination Strategies 125 5.5. Related work 130 5.6. Conclusion 133 5.7. Acknowledgements 134 5.8. Bibliography 134 Chapter 6. Software Model-based Performance Analysis 139 Dorina C. PETRIU 6.1. Introduction 139 6.2. Performance models 142 6.3. Software model with performance annotations 148 6.4. Mapping from software to performance model 155 6.5. Using a pivot language: Core Scenario Model (CSM) 158 6.6. Case study performance model 160 6.7. Conclusions 162 6.8. Acknowledgements 163 6.9. Bibliography 163 Chapter 7. Model Integration for Formal Qualification of Timing-Aware Software Data Acquisition Components 167 Jean-Philippe BABAU, Philippe DHAUSSY and Pierre-Yves PILLAIN 7.1. Introduction 167 7.2. System modeling 170 7.3. Variation points modeling 182 7.4. Experiments and results 189 7.5. Conclusion 194 7.6. Bibliography 195 Chapter 8. SoC/SoPC Development using MDD and MARTE Profile 201 Denis AULAGNIER, Ali KOUDRI, Stéphane LECOMTE, Philippe SOULARD, Joël CHAMPEAU, Jorgiano VIDAL, Gilles PERROUIN and Pierre LERAY 8.1. Introduction 201 8.2. Related works 203 8.3. MOPCOM process and models 206 8.4. Application 210 8.5. System analysis 211 8.6. Abstract modeling level 214 8.7. Execution modeling level 216 8.8. Detailed modeling level 220 8.9. Tooling Support 223 8.10. HDL Code Generation 225 8.11. Conclusion 228 8.12. Acknowledgements 229 8.13. Bibliography 229 List of Authors 233 Index 237
Copyright Date
2010
Dewey Decimal
005.2732
Dewey Edition
22
Illustrated
Yes

賣家提供的物品說明

Rarewaves USA CA

Rarewaves USA CA

97.6% 正面信用評價
已賣出 17.52 萬 件物品
瀏覽商店聯絡

詳盡賣家評級

過去 12 個月的平均評級

說明準確
4.9
運費合理
5.0
運送速度
4.9
溝通
4.9

賣家信用評價 （63,274）

6***r (427)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
5 stars all around!
Border Wars: Season 1 (DVD)（#315242033617）
m***h (649)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Awesome Thanks.
Black Label Society Doom Crew Inc. (CD)（#314978376609）
a***i (64)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
No issues. Happy with my order.
The Expanse: Season 6 (Blu-ray) Thomas Jane Shohreh Aghdashloo Steven Strait（#315387198317）
查看所有信用評價