دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: 1 نویسندگان: Philipp Becker, Marc Krämer (auth.), Frank Alexander Kraemer, Peter Herrmann (eds.) سری: Lecture Notes in Computer Science 6598 ISBN (شابک) : 9783642216510, 364221651X ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 266 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب تجزیه و تحلیل سیستم و مدل سازی: درباره مدل ها: ششمین کارگاه بین المللی ، SAM 2010 ، اسلو ، نروژ ، 4 اکتبر 2010 ، نسخه های تجدید نظر شده: شبکه‌های ارتباطی کامپیوتری، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه‌ها، سیستم‌های مبتنی بر هدف و کاربرد خاص، برنامه‌های کاربردی سیستم‌های اطلاعاتی (شامل اینترنت)
در صورت تبدیل فایل کتاب 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 -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب New Zealand.
دانلود کتاب Grammatical Inference: Algorithms and Applications: 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings
دانلود کتاب Philosophy and the mirror of nature
دانلود کتاب Red wine consumption and health
