توضیحات
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011.
The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to ‘Modeling for Sustainable Development’ with 5 accepted papers – selected from 7 submissions – that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.
————————————————————–
ترجمه ماشینی :
این کتاب ، مراحل داوری نهمین کنفرانس بین المللی مهندسی نرم افزار و روشهای رسمی ، SEFM 2011 ، که در نوامبر 2011 در مونتهیدو ، اروگوئه برگزار شد ، تشکیل شده است. مقالات ابزار و 4 گفتگو اصلی با دقت از 105 چکیده اولیه و 85 ارسال کامل به دقت مورد بررسی و انتخاب قرار گرفتند. علاوه بر جلسه منظم ، کنفرانس یک آهنگ ویژه اختصاص داده شده به “مدل سازی برای توسعه پایدار” با 5 مقاله پذیرفته شده – انتخاب شده از 7 ارسال – که بخشی از این جلد نیز هستند. هدف SEFM پیشبرد وضعیت هنر در روشهای رسمی ، مقیاس کردن کاربرد آنها در صنعت نرم افزار و تشویق ادغام آنها با روشهای مهندسی عملی است.
tag : دانلود کتاب مهندسی نرم افزار و روش های رسمی: نهمین کنفرانس بین المللی، SEFM 2011، مونته ویدئو، اروگوئه، 14-18 نوامبر 2011. مجموعه مقالات , Download مهندسی نرم افزار و روش های رسمی: نهمین کنفرانس بین المللی، SEFM 2011، مونته ویدئو، اروگوئه، 14-18 نوامبر 2011. مجموعه مقالات , دانلود مهندسی نرم افزار و روش های رسمی: نهمین کنفرانس بین المللی، SEFM 2011، مونته ویدئو، اروگوئه، 14-18 نوامبر 2011. مجموعه مقالات , Download Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings Book , مهندسی نرم افزار و روش های رسمی: نهمین کنفرانس بین المللی، SEFM 2011، مونته ویدئو، اروگوئه، 14-18 نوامبر 2011. مجموعه مقالات دانلود , buy مهندسی نرم افزار و روش های رسمی: نهمین کنفرانس بین المللی، SEFM 2011، مونته ویدئو، اروگوئه، 14-18 نوامبر 2011. مجموعه مقالات , خرید کتاب مهندسی نرم افزار و روش های رسمی: نهمین کنفرانس بین المللی، SEFM 2011، مونته ویدئو، اروگوئه، 14-18 نوامبر 2011. مجموعه مقالات , دانلود کتاب Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings , کتاب Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings , دانلود Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings , خرید Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings , خرید کتاب Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.