ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

دانلود کتاب تجزیه و تحلیل سیستم و مدل سازی: درباره مدل ها: ششمین کارگاه بین المللی ، SAM 2010 ، اسلو ، نروژ ، 4 اکتبر 2010 ، نسخه های تجدید نظر شده

System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

مشخصات کتاب

System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 6598 
ISBN (شابک) : 9783642216510, 364221651X 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2011 
تعداد صفحات: 266 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

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



کلمات کلیدی مربوط به کتاب تجزیه و تحلیل سیستم و مدل سازی: درباره مدل ها: ششمین کارگاه بین المللی ، SAM 2010 ، اسلو ، نروژ ، 4 اکتبر 2010 ، نسخه های تجدید نظر شده: شبکه‌های ارتباطی کامپیوتری، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه‌ها، سیستم‌های مبتنی بر هدف و کاربرد خاص، برنامه‌های کاربردی سیستم‌های اطلاعاتی (شامل اینترنت)



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

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


در صورت تبدیل فایل کتاب System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تجزیه و تحلیل سیستم و مدل سازی: درباره مدل ها: ششمین کارگاه بین المللی ، SAM 2010 ، اسلو ، نروژ ، 4 اکتبر 2010 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تجزیه و تحلیل سیستم و مدل سازی: درباره مدل ها: ششمین کارگاه بین المللی ، SAM 2010 ، اسلو ، نروژ ، 4 اکتبر 2010 ، نسخه های تجدید نظر شده



این کتاب مجموعه مقالات پس از داوری کامل ششمین کارگاه بین‌المللی تحلیل و مدل‌سازی سیستم‌ها، SAM 2010 است که با همکاری MODELS 2010 در اسلو، نروژ در اکتبر 2010 برگزار شد. بررسی و بهبود مقالات در بخش های موضوعی در مورد مدولار بودن، ترکیب بندی، رقص، کاربرد SDL و UML سازماندهی شده اند. پروفایل های زبان SDL. تولید کد و تبدیل مدل؛ تایید و تجزیه و تحلیل؛ و اطلاعیه مورد نیاز کاربر.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improvement. The papers are organized in topical sections on modularity, composition, choreography, application of SDL and UML; SDL language profiles; code generation and model transformations; verification and analysis; and user requirements notification.



فهرست مطالب

Front Matter....Pages -
SDL Modules – Concepts and Tool Support....Pages 1-17
A Developer-Friendly Approach for the Validation of Dynamic Compositions....Pages 18-35
From Flow-Global Choreography to Component Types....Pages 36-55
Integration of FlexRay into the SDL-Model-Driven Development Approach....Pages 56-71
Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL....Pages 72-90
UML-Based Specification and Generation of Executable Web Services....Pages 91-107
The SDL-UML Profile Revisited....Pages 108-123
A Model Driven Approach for AMF Configuration Generation....Pages 124-143
SDL Code Generation for Network Simulators....Pages 144-155
A Case Study on API Generation....Pages 156-172
UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models....Pages 173-192
Extensible and Automated Model-Evaluations with INProVE....Pages 193-208
Requirements and Solutions for Timing Analysis of Automotive Systems....Pages 209-220
Analysing the Cognitive Effectiveness of the UCM Visual Notation....Pages 221-240
Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling....Pages 241-256
Back Matter....Pages -




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