Ditemukan 1 dokumen yang sesuai dengan query
Simbolon, Emerson Chan, author
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...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2013
T-Pdf
UI - Tesis Membership Universitas Indonesia Library
