Empirical assessment of two approaches for specifying software product line use case scenarios الأبحاث والدراسات العلمية (ملفات PDF)
Empirical research in requirements engineering trends and opportunities الأبحاث والدراسات العلمية (ملفات PDF)
Goal-oriented modeling and verification of feature-oriented product lines الأبحاث والدراسات العلمية (ملفات PDF)
Inastemp A Novel Intrinsics-as-Template Library for Portable SIMD-Vectorization الأبحاث والدراسات العلمية (ملفات PDF)
Continuous clarification and emergent requirements flows in open-commercial software ecosystems الأبحاث والدراسات العلمية (ملفات PDF)
FLAME a formal framework for the automated analysis of software product lines validated الأبحاث والدراسات العلمية (ملفات PDF)
Efficient parallel reasoning on fuzzy goal models for run time requirements verification الأبحاث والدراسات العلمية (ملفات PDF)
Formal specification of non-functional properties of component-based software systems الأبحاث والدراسات العلمية (ملفات PDF)
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic الأبحاث والدراسات العلمية (ملفات PDF)
Green software requirements and measurement random decision forests-based software energy الأبحاث والدراسات العلمية (ملفات PDF)