Dr. Ade Azurat, S.Kom. – Fakultas Ilmu Komputer Universitas Indonesia

Zona Integritas

ade@cs.ui.ac.id

Gedung C, Fakultas Ilmu Komputer, Universitas Indonesia, Depok

Dr. Ade Azurat, S.Kom.,

Biografi

Ade Azurat adalah seorang dosen dan peneliti di Fasilkom UI.

Pendidikan

Dr. (Ilmu Komputer, Universitas Indonesia)
AiO (Assistant in Opleiding, University of Utrecht, Netherland)
S.Kom. (Ilmu Komputer, Universitas Indonesia)

Publikasi Pilihan

Setyautami, M. R., Rubiantoro, R. R., & Azurat, A. (2019, December). Model-Driven Engineering for Delta-Oriented Software Product Lines. In 2019 26th Asia-Pacific Software Engineering Conference (APSEC) (pp. 371-377). IEEE.
Naily, M. A., Setyautami, M. R. A., Muschevici, R., & Azurat, A. (2017, September). A framework for modelling variable microservices as software product lines. In International Conference on Software Engineering and Formal Methods (pp. 246-261). Springer, Cham.
Azurat, A., & Prasetya, I. S. W. B. (2002). A survey on embedding programming logics in a theorem prover.

Scopus Profile SINTA Profile

Minat Penelitian

Program Verification, Formal Methods, Software Quality Assurance, Software Testing

Bidang Kepakaran

Software Engineering