ABSTRAK Nama : Adriyan Chairul Achda Program Studi : Magister Ilmu Komputer Judul : Memperbaharui dan Memperluas Kemampuan Analisa Model Fitur untuk Abstract Behavioural Specification Dewasa ini, permintaan perangkat lunak dan variasinya telah meningkat tajam. Software Product Line (SPL) menyediakan konsep produksi massal dan kostumisasi. Fitur-fitur dalam SPL dan keterhubungannya biasanya diatur dalam sebuah model fitur. Analisis model fitur bertujuan untuk informasi-informasi berharga untuk menjadikan SPL yang dibangun semakin baik. Saat ini, implementasi analisa model fitur di Abstract Behavioural Specification (ABS) menggunakan Choco 2, sebuah librari Java untuk memecahkan permasalahan model konstrain. Kerja kami pada penelitian adalah memperbaharui implementasi ke dalam Choco versi terbaru, yaitu Choco 4. Beberapa operasi analisa tambahan juga ditambahkan ke dalam kompilator ABS. Evaluasi juga telah dilakukan untuk menganalisa performanya. Kata Kunci: Software Product Line, Model fitur, Analisa Terotomasi, Abstract Behavioural Specification vii