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

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

Open source verification in an anonymous volunteer network

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

قابلیت اطمینان در نرم افزار اثبات باز با مجازی سازی سخت افزاری؟ چشم انداز سیستم های کنترل راه آهن

Dependability in open proof software with hardware virtualization—The railway control systems perspective

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

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

Ensuring portability of Linux applications through standardization and knowledge base driven analysis

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

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

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

CAOVerif: An open-source deductive verification platform for cryptographic software implementations

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

An empirical study of FOSS developers patterns of contribution: Challenges for data linkage and analysis

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