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

From extended feature models to constraint logic programming

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

Using MDA for integration of heterogeneous components in software supply chains

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

Context-dependent product line engineering with lightweight formal approaches

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

Architecting automotive product lines: Industrial practice

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

An analysis of unit tests of a flight software product line

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

MobiLine: A Nested Software Product Line for the domain of mobile and context-aware applications

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

Prototyping Dynamic Software Product Lines to evaluate run-time reconfigurations

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

Defining variability in activity diagrams and Petri nets

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

Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

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

A distributed logic for Networked Cyber-Physical Systems

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

On the specification of modal systems: A comparison of three frameworks

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

Efficient deadlock analysis of component-based software architectures

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

Reachability analysis of complex planar hybrid systems

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

Compositional reasoning for weighted Markov decision processes

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