3. Pendahuluan Kebutuhan Fungsional

3.1 Prinsip Perumusan Kebutuhan

1. Setiap kebutuhan ditulis dengan format terukur dan dapat diuji.
2. Setiap kebutuhan memiliki aktor utama dan kriteria penerimaan.
3. Prioritas menggunakan kategori High (P1), Medium (P2), dan Low (P3).
4. Kebutuhan diselaraskan dengan BRD MKCJ.

3.2 Struktur ID Kebutuhan

1. SRS-FR-MDM-XXX untuk Master Data.
2. SRS-FR-INB-XXX untuk Inbound.
3. SRS-FR-OUT-XXX untuk Outbound.
4. SRS-FR-WIP-XXX untuk WIP Tracking.
5. SRS-FR-STK-XXX untuk Stock Operations.
6. SRS-FR-SUP-XXX untuk Supplier Portal.
7. SRS-FR-INT-XXX untuk Integrasi SAP.

3.3 Daftar Modul

1. Master Data Management.
2. Inbound.
3. Outbound.
4. WIP Tracking.
5. Stock Operations.
6. Supplier Portal.
7. Integrasi SAP.

3.4 Bagian yang Tidak Diterapkan

1. Simulasi formal berbasis model checking: Not available.
2. Spesifikasi formal berbasis notasi logika matematis: Not available.