دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
دانلود کتاب SDL 2013: مهندسی قابلیت اطمینان مدل محور: شانزدهمین انجمن بین المللی SDL، مونترال، کانادا، 26-28 ژوئن 2013. مجموعه مقالات
مشخصات کتاب
SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
ویرایش: 1 نویسندگان: Gusztáv Adamis, Antal Wu-Hen-Chang, Gábor Árpád Németh, Levente Erős, Gábor Kovács (auth.), Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed (eds.) سری: Lecture Notes in Computer Science 7916 ISBN (شابک) : 9783642389108, 9783642389115 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 302 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 59,000
کلمات کلیدی مربوط به کتاب SDL 2013: مهندسی قابلیت اطمینان مدل محور: شانزدهمین انجمن بین المللی SDL، مونترال، کانادا، 26-28 ژوئن 2013. مجموعه مقالات: سیستم های کامپیوتری سازمان و شبکه های ارتباطی، مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، شبکه های ارتباطی کامپیوتری، مدیریت سیستم های محاسباتی و اطلاعاتی
در صورت تبدیل فایل کتاب SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب SDL 2013: مهندسی قابلیت اطمینان مدل محور: شانزدهمین انجمن بین المللی SDL، مونترال، کانادا، 26-28 ژوئن 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages -
Data Flow Testing in TTCN-3 with a Relational Database Schema....Pages 1-18
Property Verification with MSC....Pages 19-35
Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements....Pages 36-53
Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps....Pages 54-71
Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns....Pages 72-90
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models....Pages 91-106
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback....Pages 107-123
Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis....Pages 124-143
An IMS DSL Developed at Ericsson....Pages 144-162
Efficient Development of Domain-Specific Simulation Modelling Languages and Tools....Pages 163-181
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains....Pages 182-202
Traceability Links in Model Transformations between Software and Performance Models....Pages 203-221
Refactorings in Language Development with Asymmetric Bidirectional Model Transformations....Pages 222-238
SDL Real-Time Tasks – Concept, Implementation, and Evaluation....Pages 239-257
Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams....Pages 258-274
Integration of SDL Models into a SystemC Project for Network Simulation....Pages 275-290
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Fatal Fortress
دانلود کتاب Deleuze and the Meaning of Life
دانلود کتاب Chemia organiczna, czesc 1 (rozdzialy 1-5)
دانلود کتاب Pediatric Neuroendocrinology: Workshop May 17-19, 2009 Villasimius Cagliari Italy (Endocrine Development, Vol. 17)
