توضیحات
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software – restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.
————————————————————–
ترجمه ماشینی :
نرم افزار در زندگی ما فراگیر شده است. ما عادت کردهایم با خرابیهای بسیاری از این نرمافزارها سروکار داشته باشیم – راهاندازی مجدد یک برنامه یک راهحل بسیار آشنا است. زمانی که نرم افزار ماشین ها، هواپیماها و دستگاه های پزشکی ما را کنترل می کند یا اطلاعات خصوصی ما را مدیریت می کند، چنین راه حل هایی غیرقابل قبول است. این برنامه ها باید بدون خطا اجرا شوند. SPARK ابزاری را بر اساس اثبات ریاضی فراهم می کند تا تضمین کند که برنامه هیچ خطایی ندارد. SPARK یک زبان برنامه نویسی به طور رسمی تعریف شده و مجموعه ای از ابزارهای تأیید است که به طور خاص برای پشتیبانی از توسعه نرم افزار مورد استفاده در برنامه های کاربردی با یکپارچگی بالا طراحی شده است. با استفاده از SPARK، توسعهدهندگان میتوانند به طور رسمی ویژگیهای کدشان مانند جریان اطلاعات، عاری از خطاهای زمان اجرا، صحت عملکرد، ویژگیهای امنیتی و ویژگیهای ایمنی را تأیید کنند. نوشته شده توسط دو متخصص SPARK، این اولین معرفی برای نسخه تازه منتشر شده 2014 است. این به دانشآموزان و توسعهدهندگان کمک میکند تا مفاهیم اولیه سیستمهای ساختمانی با SPARK را تسلط یابند.
tag : دانلود کتاب ساخت برنامه های کاربردی با یکپارچگی بالا با SPARK , Download ساخت برنامه های کاربردی با یکپارچگی بالا با SPARK , دانلود ساخت برنامه های کاربردی با یکپارچگی بالا با SPARK , Download Building High Integrity Applications with SPARK Book , ساخت برنامه های کاربردی با یکپارچگی بالا با SPARK دانلود , buy ساخت برنامه های کاربردی با یکپارچگی بالا با SPARK , خرید کتاب ساخت برنامه های کاربردی با یکپارچگی بالا با SPARK , دانلود کتاب Building High Integrity Applications with SPARK , کتاب Building High Integrity Applications with SPARK , دانلود Building High Integrity Applications with SPARK , خرید Building High Integrity Applications with SPARK , خرید کتاب Building High Integrity Applications with SPARK ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.