| DaftarIsitemplate |
| Call Number |
| SEM-277 |
| Title |
| Analisis sistem dan spesifikasi requirement menggunakan metode formal pada UML (Studi kasus pada sistem informasi kepegawaian Kab. Ngajuk) |
| Author |
| Dwi Kurnia Basuki; Joko Lianto Buliali; |
| Publisher |
| Prosiding Seminar Nasional Ilmu Komputer & Teknologi Informasi IV SNIKTI IV, 4 Agustus 2003, Fak. Tek. Informasi ITS |
| Subject |
| Analisis sistem, Requirement, UML, Metode Formal, Notasi Z |
| Location |