Koleksi

Advanced Search
Bundel Jurnal ACM Transactions on Software Engineering and Methodology : On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation / Many-Objective Test Suite Generation for Software Product Lines / How C++ Templates Are Used for Generic Programming: An Empirical Study on 50 Open Source Systems / Automatically Generating SystemC Code from HCSP Formal Models / Toward Better Evolutionary Program Repair: An Integrated Approach / Is Static Analysis Able to Identify Unnecessary Source Code? / DESEN: Specification of Sociotechnical Systems via Patterns of Regulation and Control

Bundel Jurnal ACM Transactions on Software Engineering and Methodology : On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation / Many-Objective Test Suite Generation for Software Product Lines / How C++ Templates Are Used for Generic Programming: An Empirical Study on 50 Open Source Systems / Automatically Generating SystemC Code from HCSP Formal Models / Toward Better Evolutionary Program Repair: An Integrated Approach / Is Static Analysis Able to Identify Unnecessary Source Code? / DESEN: Specification of Sociotechnical Systems via Patterns of Regulation and Control

Detail CantumanCite

Hasil Pencarian

Ditemukan 1 dari pencarian Anda melalui kata kunci: Author : "Kafali, Özgür ; Ajmeri, Nirav ; Singh, Munindar P."
Permintaan membutuhkan 2.36087 detik untuk selesai

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog