مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب 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 -

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

کتاب های تصادفی

دانلود کتاب Impulsive Differential Inclusions: A Fixed Point Approach

دانلود کتاب Robotic Sailing 2017: Proceedings of the 10th International Robotic Sailing Conference

دانلود کتاب The topology problem solver: a complete solution guide to any textbook

دانلود کتاب Implementing AWS: Design, Build, and Manage your Infrastructure: Leverage AWS features to build highly secure, fault-tolerant, and scalable cloud environments

دانلود کتاب داستان کوتاه: نیت خیر