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

تحولات گراف جبری با ارث و انتزاع

Algebraic graph transformations with inheritance and abstraction

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

پایه های مبتنی بر موسسات برای تایید در زمینه مهندسی مبتنی بر مدل

Institution-based foundations for verification in the context of model-driven engineering

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

Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)

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

Specifying linked data structures in JML for combining formal verification and testing

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

A rewriting logic semantics for NCL

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