کتاب الکترونیکی

طراحی و تحلیل سیستم سطح بالا با استفاده از ماشین های حالت انتزاعی

High level system design and analysis using abstract state machines

دانلود کتاب High level system design and analysis using abstract state machines (به فارسی: طراحی و تحلیل سیستم سطح بالا با استفاده از ماشین های حالت انتزاعی) نوشته شده توسط «Borgner E.»


اطلاعات کتاب طراحی و تحلیل سیستم سطح بالا با استفاده از ماشین های حالت انتزاعی

موضوع اصلی: فن آوری

نوع: کتاب الکترونیکی

نویسنده: Borgner E.

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

تعداد صفحه: 43

حجم کتاب: 1 مگابایت

توضیحات کتاب طراحی و تحلیل سیستم سطح بالا با استفاده از ماشین های حالت انتزاعی

From Applied Formal Methods — FM-Trends 98 (Lecture Notes in Computer Science, Volume 1641/1999), Springer, 1999. چکیده: ما مقدمه ای بر یک روش عملی برای توسعه سیستم دقیق ارائه می دهیم که با موفقیت تحت محدودیت های صنعتی مورد استفاده قرار گرفته است. برای طراحی و تحلیل سیستم های سخت افزاری/نرم افزاری پیچیده این روش به شخص اجازه می دهد تا توسعه سیستم را با مشخصات سیستم سطح بالا و قابل اعتماد شروع کند و چنین “مدل پایه” را به روشی مستند و قابل بازرسی از طریق مراحل طراحی میانی به اجرای آن پیوند دهد. این روش تکنیک‌های مدل‌سازی و تحلیل عملیاتی سنتی را با ترکیب کلی‌ترین مکانیسم‌های انتزاع، تجزیه و پالایش که از طریق ماشین‌های حالت انتزاعی گورویچ در دسترس قرار گرفته‌اند، افزایش می‌دهد. از طریق تطبیق پذیری، رویکرد ASM غیر یکپارچه است و در هر سطح توسعه در طراحی و محیط های تحلیل فعلی قابل ادغام است. ما همچنین شواهد تجربی را برای تز ASM، تعمیم تز تورینگ، جمع آوری می کنیم.


From Applied Formal Methods — FM-Trends 98 (Lecture Notes in Computer Science, Volume 1641/1999), Springer, 1999.Abstract:We provide an introduction to a practical method for rigorous system development which has been used successfully, under industrial constraints, for design and analysis of complex hardware/software systems. The method allows one to start system development with a trustworthy high level system specification and to link such a ”groundmodel” in a well documented and inspectable way through intermediate design steps to its implementation. The method enhances traditional operational modelling and analysis techniques by incorporatingthe most general abstraction, decomposition and refinement mechanisms which have become available through Gurevich’s Abstract State Ma-chines. Through its versatility the ASM approach is non-monolithic andintegratable at any development level into current design and analysisenvironments. We also collect experimental evidence for the ASM thesis,a generalization of Turing’s thesis.

دانلود کتاب «طراحی و تحلیل سیستم سطح بالا با استفاده از ماشین های حالت انتزاعی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.