Deskripsi Mata Kuliah:
Mata kuliah Pemodelan PL ditujukan mendokumentasikan analisis, desain dan evaluasi model dari permasalahan dan solusi berbasis perangkat lunak. Materi dalam perkuliahan ini terdiri dari dasar, prinsip, pengantar model matematis dan formal, jenis-jenis model (informasi, behavioral, architectural, domain modeling, enterprise modeling), dasar analisis modeling (form, correctness, dependability, formal). Diharapkan setelah perkuliahan ini mahasiswa dapat membuat model PL dari permasalahan dan solusi PL yang dapat dianalisis.
