دانلود رایگان مقالات نشریه ISI یادداشت های الکترونیکی در علوم کامپیوتر نظری

On the Role of Formal Methods in Software Certification: An Experience Report

7 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

A Software Certification Consortium and its Top 9 Hurdles

7 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code

8 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

A Generic Goal-Based Certification Argument for the Justification of Formal Analysis

13 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

Convincing Proofs for Program Certification

16 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

The Importance of Being Formal

14 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

Model-Based Safety-Cases for Software-Intensive Systems

7 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

Tool Support for Engineering Certifiable Software

7 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه