ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب 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

مشخصات کتاب

SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 7083 
ISBN (شابک) : 364225263X, 9783642252631 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2012 
تعداد صفحات: 289 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

قیمت کتاب (تومان) : 37,000



کلمات کلیدی مربوط به کتاب SDL 2011: یکپارچه سازی سیستم و مدل سازی نرم افزار: پانزدهمین انجمن بین المللی SDL تولوز ، فرانسه ، 5-7 ژوئیه 2011. مقالات اصلاح شده: سیستم های کامپیوتری سازمان و شبکه های ارتباطی، مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، شبکه های ارتباطی کامپیوتری، مدیریت سیستم های محاسباتی و اطلاعاتی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 2


در صورت تبدیل فایل کتاب 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 -




نظرات کاربران