Zdjęcie 1 z 1
Jean-Philippe Babau Model Driven Engineering For Distributed Real-Time HBOOK NEW
Another great item from Rarewaves USA | Free delivery!
Stan:
Wysyłka:
Znajduje się w: 60502, Stany Zjednoczone
Dostawa:
Czas zmienny
Zwroty:
Zwrot w ciągu 30 dni. Za wysyłkę zwrotną płaci kupujący. Zobacz szczegóły- aby uzyskać więcej informacji dotyczących zwrotów
Płatności:
Kupuj bez obaw
Informacje o sprzedawcy
- 97,7% opinii pozytywnych
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 235554728794
Ostatnia aktualizacja: 21-05-2024 00:31:52 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- Artist
- Jean-Philippe Babau
- 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
- Publication Year
- 2010
- Publication Name
- Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 : Advances, Standards, Applications and Perspectives
- Item Height
- 0.8in
- Item Length
- 9.3in
- Publisher
- Wiley & Sons, Incorporated, John
- Item Width
- 6.2in
- Item Weight
- 17.6 Oz
- Number of Pages
- 320 Pages
O tym produkcie
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
Publication Name
Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 : Advances, Standards, Applications and Perspectives
Format
Hardcover
Language
English
Publication Year
2010
Type
Textbook
Number of Pages
320 Pages
Dimensions
Item Length
9.3in
Item Height
0.8in
Item Width
6.2in
Item Weight
17.6 Oz
Additional Product Features
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
Topic
System Theory
Lccn
2010-027955
Dewey Decimal
005.2732
Intended Audience
Scholarly & Professional
Dewey Edition
22
Illustrated
Yes
Genre
Science
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
Rarewaves-USA
10100 W Sample Rd
33065 Coral Springs, FL
United States
Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 235554728794
Ostatnia aktualizacja: 21-05-2024 00:31:52 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Wysyłka i obsługa
Sprzedawca nie wysyła do: Stany Zjednoczone
Lokalizacja przedmiotu:
60502, Stany Zjednoczone
Wysyłka do:
Albania, Algieria, Andora, Angola, Anguilla, Antigua i Barbuda, Antyle Holenderskie, Arabia Saudyjska, Argentyna, Armenia, Aruba, Azerbejdżan, Bahamy, Bahrajn, Bangladesz, Belgia, Belize, Benin, Bermudy, Boliwia, Botswana, Bośnia i Hercegowina, Brytyjskie Wyspy Dziewicze, Burkina Faso, Burundi, Bułgaria, Cały świat, Chile, Chiny, Chorwacja, Cypr, Czad, Czarnogóra, Czechy, Dania, Demokratyczna Republika Konga, Dominika, Dominikana, Dżibuti, Egipt, Ekwador, Erytrea, Estonia, Eswatini, Etiopia, Falklandy (Malwiny), Fidżi, Filipiny, Finlandia, Gabon, Gambia, Ghana, Gibraltar, Grecja, Grenada, Grenlandia, Gruzja, Guam, Guernsey, Gujana, Gwatemala, Gwinea, Gwinea Bissau, Gwinea Równikowa, Haiti, Honduras, Hongkong, Indie, Indonezja, Irak, Islandia, Jamajka, Japonia, Jersey, Jordania, Kajmany, Kambodża, Kamerun, Katar, Kazachstan, Kenia, Kirgistan, Kiribati, Kolumbia, Komory, Kongo, Korea Południowa, Kostaryka, Kuwejt, Lesotho, Liban, Liberia, Liechtenstein, Litwa, Luksemburg, Macedonia Północna, Madagaskar, Majotta, Makau, Malawi, Malediwy, Malezja, Mali, Malta, Maroko, Mauretania, Mauritius, Mikronezja, Monako, Mongolia, Montserrat, Mozambik, Mołdawia, Namibia, Nauru, Nepal, Niger, Nigeria, Nikaragua, Niue, Norwegia, Nowa Zelandia, Oman, Pakistan, Palau, Panama, Papua-Nowa Gwinea, Paragwaj, Peru, Polska, Portoryko, Portugalia, Południowa Afryka, Republika Zielonego Przylądka, Republika Środkowoafrykańska, Rumunia, Rwanda, Sahara Zachodnia, Saint Kitts i Nevis, Saint Lucia, Saint Pierre i Miquelon, Saint Vincent i Grenadyny, Salwador, Samoa Amerykańskie, Samoa Zachodnie, San Marino, Senegal, Serbia, Seszele, Sierra Leone, Singapur, Somalia, Sri Lanka, Surinam, Svalbard i Jan Mayen, Szwecja, Słowacja, Słowenia, Tadżykistan, Tajlandia, Tajwan, Tanzania, Togo, Tonga, Trynidad i Tobago, Tunezja, Turcja, Turkmenistan, Turks i Caicos, Tuvalu, Uganda, Urugwaj, Uzbekistan, Vanuatu, Wallis i Futuna, Watykan, Wietnam, Wybrzeże Kości Słoniowej, Wyspy Cooka, Wyspy Dziewicze (USA), Wyspy Marshalla, Wyspy Salomona, Węgry, Zambia, Zimbabwe, Zjednoczone Emiraty Arabskie, Łotwa, Święta Helena
Wykluczenia:
Afganistan, Australia, Austria, Barbados, Bhutan, Białoruś, Brazylia, Brunei, Francja, Gujana Francuska, Gwadelupa, Hiszpania, Holandia, Irlandia, Izrael, Jemen, Laos, Libia, Martynika, Meksyk, Niemcy, Nowa Kaledonia, Polinezja Francuska, Reunion, Rosja, Stany Zjednoczone, Szwajcaria, Ukraina, Wenezuela, Wielka Brytania, Włochy
| Czas na wysłanie |
|---|
| Zwykle wysyłam przesyłkę w ciągu 3 dni roboczych po otrzymaniu rozliczonej płatności. |
| Podatki |
|---|
| Podczas realizacji transakcji mogą zostać naliczone podatki. Dowiedz się więcejDowiedz się więcej o płaceniu podatku za zakupy na eBay. |
Podatek od sprzedaży dla przedmiotu nr 235554728794
Podatek od sprzedaży dla przedmiotu nr 235554728794
Sprzedawca nalicza podatek od sprzedaży dla przedmiotów wysyłanych do następujących stanów:
| Stan | Stawka podatku od sprzedaży |
|---|
Warunki zwrotów
| Po otrzymaniu przedmiotu skontaktuj się ze sprzedawcą w ciągu | Wysyłka zwrotna |
|---|---|
| 30 dni | Za wysyłkę zwrotną płaci kupujący |
Kupujący jest odpowiedzialny za opłacenie kosztów wysyłki zwrotnej.
| Szczegóły warunków zwrotów |
|---|
| Zwroty są przyjmowane |
Szczegóły dotyczące płatności
Formy płatności
Zarejestrowany jako sprzedawca-firma
Opinie sprzedawców (62 988)
4***l (322)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
new CD in brand new package
r***w (8123)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
As described with fast and reasonable shipping cost to Canada. And a great CD!
r***r (1184)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Thanks!