دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
دانلود کتاب روشهای رسمی برای مهندسی مدل ریز: 12th مدرسه بین المللی روشهای رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، SFM 2012، Bertinoro، Italy، June 18-23، 2012. سخنرانی های پیشرفته
مشخصات کتاب
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
ویرایش: 1 نویسندگان: Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.) سری: Lecture Notes in Computer Science 7320 : Programming and Software Engineering ISBN (شابک) : 9783642309816, 3642309828 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 445 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 60,000
کلمات کلیدی مربوط به کتاب روشهای رسمی برای مهندسی مدل ریز: 12th مدرسه بین المللی روشهای رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، SFM 2012، Bertinoro، Italy، June 18-23، 2012. سخنرانی های پیشرفته: مهندسی نرم‌افزار، مهندسی نرم‌افزار/برنامه‌نویسی و سیستم‌های عامل، منطق ریاضی و زبان‌های رسمی، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، برنامه‌های کاربردی سیستم‌های اطلاعاتی (شامل اینترنت)، مدیریت کامپیوتر
در صورت تبدیل فایل کتاب Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی برای مهندسی مدل ریز: 12th مدرسه بین المللی روشهای رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، SFM 2012، Bertinoro، Italy، June 18-23، 2012. سخنرانی های پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی برای مهندسی مدل ریز: 12th مدرسه بین المللی روشهای رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، SFM 2012، Bertinoro، Italy، June 18-23، 2012. سخنرانی های پیشرفته
این کتاب 11 سخنرانی آموزشی توسط محققان برجسته ارائه می‌دهد که در دوازدهمین ویرایش مدرسه بین‌المللی روشهای رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM 2012، در برتینورو، ایتالیا، در ژوئن 2012 برگزار شد. SFM 2012 به مهندسی مدل محور اختصاص داده شد و چندین موضوع از جمله زبان های مدل سازی را پوشش داد. تبدیل مدل، مدل سازی و تحلیل عملکردی و عملکردی؛ و مدیریت تکامل مدل.
توضیحاتی درمورد کتاب به خارجی
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.
فهرست مطالب
Front Matter....Pages -
The Less Well Known UML....Pages 1-20
MDE Basics with a DSL Focus....Pages 21-57
Object Constraint Language (OCL): A Definitive Guide....Pages 58-90
Model Transformations....Pages 91-136
Graph Transformations for MDE, Adaptation, and Models at Runtime....Pages 137-191
Abstractions for Validation in Action....Pages 192-218
Software Performance Modeling....Pages 219-262
Model Transformations in Non-functional Analysis....Pages 263-289
Software Performance Antipatterns: Modeling and Analysis....Pages 290-335
An Introduction to Model Versioning....Pages 336-398
Formal Specification and Testing of Model Transformations....Pages 399-437
Back Matter....Pages -
