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

مدیریت تکامل یک معماری نرم افزاری با هزینه کم با محدودیت عملکرد و قابلیت اطمینان

Managing the evolution of a software architecture at minimal cost under performance and reliability constraints

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

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

Approximate by thinning: Deriving fully polynomial-time approximation schemes

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

پایه ای برای ترکیب ویژگی های ایمنی و ارتباط آن با اپراتورهای جبری متحرک

A basis for compositionally ensuring safety properties and its connection to relational algebraic operators

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

استفاده مجدد از ابرداده در سراسر اجزای سازنده، برنامه ها و زبان ها

Reusing metadata across components, applications, and languages

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

دو تکنیک برای بهبود دقت یک رویکرد تأیید اعتبار ناپایدار مبتنی بر تقاضا

Two techniques to improve the precision of a demand-driven null-dereference verification approach

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

استخراج مفاهیم دامنه از کد منبع

Extraction of domain concepts from the source code

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

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

Model checking of concurrent programs with static analysis of field accesses

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

چشم انداز مهندسی معماری

A perspective on architectural re-engineering

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

Safety assessment of AltaRica models via symbolic model checking

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

EVL: A framework for multi-methods in C++

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

Reducing operational costs through MIPS management

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

XPL: A language for modular homogeneous language embedding

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

An integrated framework for adapting WS-BPEL scenario execution using QoS and collaborative filtering techniques

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