دانلود کتاب High level system design and analysis using abstract state machines
49,000 تومان
طراحی و تحلیل سیستم سطح بالا با استفاده از ماشین های حالت انتزاعی
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| تعداد صفحه | 43 |
| حجم فایل | 399 کیلوبایت |
| نویسنده | Borgner E. |
|---|---|
| زبان | انگلیسی |
| فرمت |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
طراحی و تحلیل سیستم سطح بالا با استفاده از ماشین های حالت انتزاعی
From Applied Formal Methods — FM-Trends 98 (Lecture Notes in Computer Science, Volume 1641/1999), Springer, 1999. چکیده: ما مقدمه ای بر یک روش عملی برای توسعه سیستم دقیق ارائه می دهیم که با موفقیت تحت محدودیت های صنعتی مورد استفاده قرار گرفته است. برای طراحی و تحلیل سیستم های سخت افزاری/نرم افزاری پیچیده این روش به شخص اجازه می دهد تا توسعه سیستم را با مشخصات سیستم سطح بالا و قابل اعتماد شروع کند و چنین “مدل پایه” را به روشی مستند و قابل بازرسی از طریق مراحل طراحی میانی به اجرای آن پیوند دهد. این روش تکنیکهای مدلسازی و تحلیل عملیاتی سنتی را با ترکیب کلیترین مکانیسمهای انتزاع، تجزیه و پالایش که از طریق ماشینهای حالت انتزاعی گورویچ در دسترس قرار گرفتهاند، افزایش میدهد. از طریق تطبیق پذیری، رویکرد ASM غیر یکپارچه است و در هر سطح توسعه در طراحی و محیط های تحلیل فعلی قابل ادغام است. ما همچنین شواهد تجربی را برای تز ASM، تعمیم تز تورینگ، جمع آوری می کنیم.
High level system design and analysis using abstract state machines
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.