دانلود کتاب Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers (به فارسی: روش‌های رسمی در تقاطع از نوش دارو تا حمایت بنیادی: کنفرانس دهمین سالگرد UNU/IIST، مؤسسه بین المللی فناوری نرم افزار دانشگاه ملل متحد، لیسبون، پرتغال، 18 تا 20 مارس 2002. مقالات تجدید نظر شده) نوشته شده توسط «Tom Maibaum (auth.) – Bernhard K. Aichernig – Tom Maibaum (eds.)»
اطلاعات کتاب روش‌های رسمی در تقاطع از نوش دارو تا حمایت بنیادی: کنفرانس دهمین سالگرد UNU/IIST، مؤسسه بین المللی فناوری نرم افزار دانشگاه ملل متحد، لیسبون، پرتغال، 18 تا 20 مارس 2002. مقالات تجدید نظر شده
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Tom Maibaum (auth.) – Bernhard K. Aichernig – Tom Maibaum (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 462
حجم کتاب: 4 مگابایت
کد کتاب: 3540205276 , 9783540205272
نوبت چاپ: 1
توضیحات کتاب روش‌های رسمی در تقاطع از نوش دارو تا حمایت بنیادی: کنفرانس دهمین سالگرد UNU/IIST، مؤسسه بین المللی فناوری نرم افزار دانشگاه ملل متحد، لیسبون، پرتغال، 18 تا 20 مارس 2002. مقالات تجدید نظر شده
این جلد به کنفرانس دهمین سالگرد UNU/IIST، مؤسسه بین‌المللی فناوری نرم‌افزار دانشگاه ملل متحد، و همچنین به یاد آرماندو هابرر که در حال کار بر روی آماده‌سازی از دنیا رفت، اختصاص دارد. این کتاب در فوریه 2003.
جلد با مقاله ویژه ای از تام میبام شروع می شود که زندگی و کار آرماندو هابرر را به یاد می آورد. بخش دوم کارهای انجام شده توسط اعضای UNU/IIST و همچنین مقاله ای در مورد تاریخچه این موسسه ارائه می کند. بخش‌های موضوعی بعدی، مشارکت‌های کلیدی محققان برجسته را ارائه می‌کند و بنابراین وضعیت هنر در مهندسی نرم‌افزار و اصول مهندسی و علمی آن، از مدل‌ها گرفته تا نرم‌افزار، سیستم‌های بلادرنگ، و تأیید را ارزیابی می‌کند. در مجموع، این کتاب یک بررسی منحصر به فرد از قدرت و پتانسیل روش های رسمی در مهندسی نرم افزار است.
This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003.
The volume starts with a special paper by Tom Maibaum recollecting Armando Haeberer’s life and work. The second part presents work done by members of UNU/IIST as well as a paper on the history of the institute. The subsequent topical sections present key contributions by leading researchers and thus assess the state of the art in software engineering and its engineering and scientific principles, from models to software, real-time systems, and verification. All in all, the book is a unique survey of the power and potential of formal methods in software engineering.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.