دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
دانلود کتاب SDL 2011: یکپارچه سازی سیستم و مدل سازی نرم افزار: پانزدهمین مجمع بین المللی SDL تولوز ، فرانسه ، 5-7 ژوئیه 2011. مقالات اصلاح شده
مشخصات کتاب
SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
ویرایش: 1 نویسندگان: Dorina C. Petriu (auth.), Iulian Ober, Ileana Ober (eds.) سری: Lecture Notes in Computer Science 7083 Computer communication networks and telecommunications ISBN (شابک) : 9783642252648, 3642252648 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 287 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب SDL 2011: یکپارچه سازی سیستم و مدل سازی نرم افزار: پانزدهمین مجمع بین المللی SDL تولوز ، فرانسه ، 5-7 ژوئیه 2011. مقالات اصلاح شده: سیستم های کامپیوتری سازمان و شبکه های ارتباطی، مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، شبکه های ارتباطی کامپیوتری، مدیریت سیستم های محاسباتی و اطلاعاتی
در صورت تبدیل فایل کتاب SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب SDL 2011: یکپارچه سازی سیستم و مدل سازی نرم افزار: پانزدهمین مجمع بین المللی SDL تولوز ، فرانسه ، 5-7 ژوئیه 2011. مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب SDL 2011: یکپارچه سازی سیستم و مدل سازی نرم افزار: پانزدهمین مجمع بین المللی SDL تولوز ، فرانسه ، 5-7 ژوئیه 2011. مقالات اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل پانزدهمین انجمن بین المللی SDL، SDL 2011، برگزار شده در تولوز، فرانسه، در ژوئیه 2011 است. . این مقالات طیف گسترده ای از موضوعات مانند SDL و زبان های مرتبط را پوشش می دهند. آزمایش کردن؛ و سرویس‌ها و مؤلفه‌ها به ارائه طیف گسترده‌ای از زبان‌ها و برنامه‌های خاص دامنه، از نقشه‌های استفاده به مدل‌های ایستگاه قطار یا رابط‌های کاربری برای ویرایشگرهای داده علمی برای محاسبات با کارایی بالا.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as SDL and related languages; testing; and services and components to a wide range presentations of domain specific languages and applications, going from use maps to train station models or user interfaces for scientific dataset editors for high performance computing.
فهرست مطالب
Front Matter....Pages -
Model-Based Performance Analysis of Service-Oriented Systems....Pages 1-1
SCADE: A Comprehensive Framework for Critical System and Software Engineering....Pages 2-3
SDL-2010: Background, Rationale, and Survey....Pages 4-25
TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future....Pages 26-37
Synthesizing Software Models: Generating Train Station Models Automatically....Pages 38-53
Exploring Early Availability Requirements Using Use Case Maps....Pages 54-68
Paprika: Rapid UI Development of Scientific Dataset Editors for High Performance Computing....Pages 69-78
Verifiable Coverage Criteria for Automated Testing....Pages 79-89
A New Approach in Model-Based Testing: Designing Test Models in TTCN-3....Pages 90-105
Towards a Model Based Approach for Integration Testing....Pages 106-121
Session Initiation as a Service....Pages 122-137
PMG-Pro: A Model-Driven Development Method of Service-Based Applications....Pages 138-153
A Model-Driven Framework for Component-Based Development....Pages 154-167
Separation of Concerns with Transactional Regions....Pages 168-185
Real-Time Signaling in SDL....Pages 186-201
Priority Scheduling in SDL....Pages 202-217
A Model-Based Formalization of the Textual Notation for SDL-UML....Pages 218-232
Standardizing Variability – Challenges and Solutions....Pages 233-246
MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing....Pages 247-261
AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications....Pages 262-275
Back Matter....Pages -
