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

پیچیدگی نرم افزار تولیدی و درک نرم افزار

Generative software complexity and software understanding

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

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

Crawl-based analysis of web applications: Prospects and challenges

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

محاسبه نام مستعار، تغییر محاسبات و استنباط فریم

Alias calculus, change calculus and frame inference

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

تأیید برنامه های اشاره گر با استفاده از گرامرهای گراف

Verifying pointer programs using graph grammars

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

تجزیه برای مدل سازی چابک

Parsing for agile modeling

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

به سوی محیط برنامه نویسی چند زبانه

Towards multilingual programming environments

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

نمایش داده های کد منبع با پایگاه داده های گرافیکی با استفاده از کاربرد زبان برنامه نویسی و تکامل

Source-code queries with graph databases—with application to programming language usage and evolution

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

درک احتمالات نشت نرم افزار

Understanding probabilistic software leaks

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

درک تکامل طرحواره پایگاه داده: مطالعه موردی

Understanding database schema evolution: A case study

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

به سمت توصیه های مبتنی بر شواهد برای هدایت تکامل خانواده های محصول مبتنی بر مولفه ها

Towards evidence-based recommendations to guide the evolution of component-based product families

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

انتقادات نرم افزاری

Software chrestomathies

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

مسیرهای نامعتبر در برنامه های شی گرا

Infeasible paths in object-oriented programs

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

درک پروتکل های نرم افزاری

Understanding software artifact provenance

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

مهندسی نرم افزار: افزونگی کلیدی است

Software engineering: Redundancy is key

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

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

Understanding information update in questionnaires

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

نمایش ها را با گرامر بولی تجزیه کنید

Parse views with Boolean grammars

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

تجربه با صحت ساخت و ساز

Experience with correctness-by-construction

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

توسعه نرم افزار صحیح، توزیع شده، تطبیقی

Developing correct, distributed, adaptive software

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

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

Language-based software engineering

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

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

Extending a model-driven cross-platform development approach for business apps

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

طراحی محدودیت بازنویسی یک ؟؟

Constraint design rewriting

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

نقش سنتز کنترل کننده نظارت در توسعه نرم افزار کنترل اتوماتیک

The role of supervisory controller synthesis in automatic control software development

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

درک نرم افزار از طریق انتزاع زبانشناسی

Understanding software through linguistic abstraction

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

Semantics of programming languages: Using Asf+Sdf

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

Principled software microengineering

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

Syntactic-semantic incrementality for agile verification

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

Towards base rates in software analytics: Early results and challenges from studying Ohloh

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