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

تست مبتنی بر مدل برای ساخت سیستم های قابل اعتماد در زمان واقعی موسیقی تعاملی

Model-based testing for building reliable realtime interactive music systems

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

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

Tri-modal under-approximation for test generation

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

CenUMs - concurrency enhanced usage models for statistical testing of complex systems with concurrent streams of use

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

Symmetry reduction for time Petri net state classes

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

Fast as a shadow, expressive as a tree: Optimized memory monitoring for C

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