توضیحات
In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach–which Jackson calls ‘lightweight formal methods’ or ‘agile modeling’–takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with the latest version of Alloy (Alloy 4).
The designer can use automated analysis not only to correct errors but also to make models that are more precise and elegant. This approach, Jackson says, can rescue designers from ‘the tarpit of implementation technologies’ and return them to thinking deeply about underlying concepts. Software Abstractions introduces the key elements: a logic, which provides the building blocks of the language; a language, which adds a small amount of syntax to the logic for structuring descriptions; and an analysis, a form of constraint solving that offers both simulation (generating sample states and executions) and checking (finding counterexamples to claimed properties). ترجمه ماشینی :
در نرم افزار انتزاع دانیل جکسون رویکردی را به طراحی نرم افزار معرفی می کند که روشهای رسمی سنتی را ترسیم می کند اما از ابزارهای خودکار استفاده می کند تا در اسرع وقت نقص هایی را پیدا کند. این رویکرد-که جکسون آن را “روشهای رسمی سبک” یا “مدل سازی چابک” می نامد-از مشخصات رسمی ایده یک نماد دقیق و بیانگر مبتنی بر یک هسته کوچک از مفاهیم ساده و قوی می گیرد اما جایگزین تجزیه و تحلیل متعارف بر اساس اثبات قضیه می شود تجزیه و تحلیل کاملاً خودکار که بازخورد فوری به طراحان می دهد. جکسون با استفاده از یک ابزار حداقل از مفاهیم ریاضی ، آلیاژ را ایجاد کرده است که جوهر انتزاع نرم افزار را به سادگی و موجز ضبط می کند. این نسخه اصلاح شده متن ، نمونه ها و پیوست ها را به روز می کند تا با آخرین نسخه آلیاژ (آلیاژ 4) کاملاً سازگار باشد.
طراح می تواند از تجزیه و تحلیل خودکار نه تنها برای اصلاح خطاها بلکه برای ساخت مدل هایی که دقیق تر و ظریف تر هستند استفاده کند. جکسون می گوید ، این رویکرد می تواند طراحان را از “تارپیت فن آوری های اجرای” نجات دهد و آنها را به تفکر عمیق در مورد مفاهیم اساسی بازگرداند. انتزاع نرم افزاری عناصر کلیدی را معرفی می کند: یک منطق ، که بلوک های ساختمان زبان را فراهم می کند. زبانی ، که مقدار کمی نحو را به منطق برای ساختار توضیحات اضافه می کند. و تجزیه و تحلیل ، نوعی از حل محدودیت که هم شبیه سازی (تولید حالت های نمونه و اعدام) و بررسی (پیدا کردن پیشخوان نمونه ها به خواص ادعا شده) را ارائه می دهد.
tag : دانلود کتاب انتزاع نرم افزاری: منطق ، زبان و تحلیل , Download انتزاع نرم افزاری: منطق ، زبان و تحلیل , دانلود انتزاع نرم افزاری: منطق ، زبان و تحلیل , Download Software Abstractions: Logic, Language, and Analysis Book , انتزاع نرم افزاری: منطق ، زبان و تحلیل دانلود , buy انتزاع نرم افزاری: منطق ، زبان و تحلیل , خرید کتاب انتزاع نرم افزاری: منطق ، زبان و تحلیل , دانلود کتاب Software Abstractions: Logic, Language, and Analysis , کتاب Software Abstractions: Logic, Language, and Analysis , دانلود Software Abstractions: Logic, Language, and Analysis , خرید Software Abstractions: Logic, Language, and Analysis , خرید کتاب Software Abstractions: Logic, Language, and Analysis ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.