دانلود کتاب Abstract state machines A method for high level system design and analysis (به فارسی: ماشین‌های حالت انتزاعی روشی برای طراحی و تحلیل سیستم سطح بالا) نوشته شده توسط «Egon Börger – Robert Stärk»
اطلاعات کتاب ماشین‌های حالت انتزاعی روشی برای طراحی و تحلیل سیستم سطح بالا
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Egon Börger – Robert Stärk
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 448
حجم کتاب: 23 مگابایت
کد کتاب: 3540007024 , 9783540007029
نوبت چاپ: 1
توضیحات کتاب ماشین‌های حالت انتزاعی روشی برای طراحی و تحلیل سیستم سطح بالا
روش مهندسی سیستم پیشنهاد شده در این کتاب، که بر اساس ماشین‌های حالت انتزاعی (ASMs) است، توسعه نرم‌افزار و سیستم‌های سخت‌افزاری-نرم‌افزاری تعبیه‌شده را به‌طور یکپارچه از جمع‌آوری نیازها تا پیاده‌سازی و مستندسازی واقعی هدایت می‌کند. این روش شکاف بین درک انسان و فرمول‌بندی مسائل دنیای واقعی و استقرار راه‌حل‌های الگوریتمی آن‌ها توسط ماشین‌های اجرای کد را پر می‌کند. در یک چارچوب مفهومی واحد طراحی، تأیید با تکنیک‌های استدلال و اعتبارسنجی با شبیه‌سازی و آزمایش را پوشش می‌دهد. ASMها با استفاده از مدل‌سازی دقیق در سطح بالا و با پیوند دادن توصیف‌ها در مراحل متوالی توسعه سیستم در زنجیره‌ای ارگانیک و قابل نگهداری از مدل‌های سیستمی دقیق و منسجم در سطوح انتزاعی اصلاح‌شده گام به گام، عملکرد صنعتی فعلی را بهبود می‌بخشند. در چندین پروژه صنعتی، روش ASM برتری خود را در مقایسه با روش رایج UML هنگام طراحی سیستم‌های موازی یا پویا پیچیده ثابت کرده است.
این کتاب ویژگی‌های یک کتاب درسی و یک کتاب راهنما را با هم ترکیب می‌کند: خواننده توضیحات، شواهد و تمرین‌های مفصل و همچنین مثال‌های متعدد و مطالعات موردی در دنیای واقعی را خواهد یافت. محققان در اینجا جامع ترین توصیف ASM های موجود را در امروز پیدا خواهند کرد و متخصصان از آن به عنوان “راهنمای مدل سازی برای مهندس نرم افزار فعال” استفاده خواهند کرد. به عنوان یک کتاب درسی از خودآموزی پشتیبانی می کند یا می تواند مبنای یک دوره سخنرانی باشد. این کتاب با یک سی دی حاوی کل متن کتاب، مطالب درسی اضافی، راه حل های تمرین ها و مثال های اضافی تکمیل می شود.
This book combines the features of a textbook and a handbook: the reader will find detailed explanations, proofs, and exercises as well as numerous examples and real-world case studies. Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a ‘modeling handbook for the working software engineer.’ As a textbook it supports self-study or it can form the basis of a lecture course. The book is complemented by a CD containing the whole book text, additional course material, solutions to exercises, and additional examples.
دانلود کتاب «ماشین‌های حالت انتزاعی روشی برای طراحی و تحلیل سیستم سطح بالا»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.