Ditemukan 1 dokumen yang sesuai dengan query
Simbolon, Emerson Chan
"
Behavior Engineering (BE) merupakan metodologi pengembangan perangkat lunak berbasiskan komponen dan perilaku dari sistem. BE menggunakan Behavior Modeling Languange (BML) sebagai bahasa pemodelan dalam merepresentasikan sistem. Sintaksis formal BML mendukung penjaminan kebenaran dari sistem dan penghasilkan kode implementasi secara otomatis. Metodologi BE pada saat ini belum menangani mekanisme agar kode yang dihasilkan dapat berjalan sesuai keinginan. Penelitian ini mendefinisikan tahapan yang dibutuhkan pada BE agar kode yang dibangkitkan bisa dieksekusi sesuai dengan tujuannya. Pendekatan penyusunan ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2013
T-Pdf
UI - Tesis Membership Universitas Indonesia Library