دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
دانلود کتاب تجزیه و تحلیل سیستم و مدل سازی: مدل ها و قابلیت استفاده مجدد: هشتمین کنفرانس بین المللی، SAM 2014، والنسیا، اسپانیا، 29-30 سپتامبر 2014. مجموعه مقالات
مشخصات کتاب
System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
ویرایش: 1 نویسندگان: Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher (eds.) سری: Lecture Notes in Computer Science 8769 Programming and Software Engineering ISBN (شابک) : 9783319117423, 9783319117430 ناشر: Springer International Publishing سال نشر: 2014 تعداد صفحات: 329 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب تجزیه و تحلیل سیستم و مدل سازی: مدل ها و قابلیت استفاده مجدد: هشتمین کنفرانس بین المللی، SAM 2014، والنسیا، اسپانیا، 29-30 سپتامبر 2014. مجموعه مقالات: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، زبان های برنامه نویسی، کامپایلرها، مترجمان، مدیریت محاسبات و سیستم های اطلاعاتی، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل سیستم و مدل سازی: مدل ها و قابلیت استفاده مجدد: هشتمین کنفرانس بین المللی، SAM 2014، والنسیا، اسپانیا، 29-30 سپتامبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل سیستم و مدل سازی: مدل ها و قابلیت استفاده مجدد: هشتمین کنفرانس بین المللی، SAM 2014، والنسیا، اسپانیا، 29-30 سپتامبر 2014. مجموعه مقالات
این کتاب مقالات داوری مقالات هشتمین کنفرانس بین‌المللی تحلیل و مدل‌سازی سیستم، SAM 2014، برگزار شده در والنسیا، اسپانیا، در سپتامبر 2014 است. و از بین 71 مورد ارسالی انتخاب شد. مشارکت‌ها در بخش‌های موضوعی به نام‌های زیر سازماندهی شده‌اند: استفاده مجدد. در دسترس بودن، ایمنی و بهینه سازی؛ توالی ها و تعاملات؛ آزمایش کردن؛ معیارها، محدودیت ها و مخازن؛ و SDL و V&V.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed papers of the proceedings of the 8th International Conference on System Analysis and Modeling, SAM 2014, held in Valencia, Spain, in September 2014. The 18 full papers and the 3 short papers presented together with 2 keynotes were carefully reviewed and selected from 71 submissions. The contributions are organized in topical sections named: reuse; availability, safety and optimization; sequences and interactions; testing; metrics, constraints and repositories; and SDL and V&V.
فهرست مطالب
Front Matter....Pages -
BVR – Better Variability Results....Pages 1-15
MID: A MetaCASE Tool for a Better Reuse of Visual Notations....Pages 16-31
An Empirical Study on the Anticipation of the Result of Copying and Pasting among UML Editors....Pages 32-47
Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces....Pages 48-63
Architecture Framework for Software Safety....Pages 64-79
Search-Based Model Optimization Using Model Transformations....Pages 80-95
Associativity between Weak and Strict Sequencing....Pages 96-109
Efficient Representation of Timed UML 2 Interactions....Pages 110-125
Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems....Pages 126-141
A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages....Pages 142-157
Acceptance Test Optimization....Pages 158-173
Verifying Hypermedia Applications by Using an MDE Approach....Pages 174-189
Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes....Pages 190-197
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY....Pages 198-206
On Bringing Object-Oriented Software Metrics into the Model-Based World – Verifying ISO 26262 Compliance in Simulink....Pages 207-222
Insights on the Use of OCL in Diverse Industrial Applications....Pages 223-238
Model-Based Mining of Source Code Repositories....Pages 239-254
Towards an Extensible Modeling and Validation Framework for SDL-UML....Pages 255-270
SDL Implementations for Wireless Sensor Networks – Incorporation of PragmaDev’s RTDS into the Deterministic Protocol Stack BiPS....Pages 271-286
Formal Technical Process Specification and Verification for Automated Production Systems....Pages 287-303
Prototyping SDL Extensions....Pages 304-311
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Awakening the Leader Within: A Story of Transformation
دانلود کتاب Jet engine: Fundamentals of Theory, Design and Operation
دانلود کتاب Machine Learning in Chemical Safety and Health: Fundamentals with Applications
دانلود کتاب Joyce and Wagner: A Study of Influence
