snurmiati.istn@gmail.com
Setiap file eksternal bisa memiliki alat bantu relevan yang bisa
diterapkan pada file tersebut;
Hal ini berarti bahwa persyaratan tersebut bisa lebih kritis dari
persyaratan fungsional individu, contoh jika sebuah sistem
pesawat udara tidak memenuhi persyaratan keandalannya,
sistem tersebut tidak akan disertifikasi aman untuk beroperasi.
Persyaratan Domain
Notasi Keterangan
Bahasa natural terstruktur Pendekatan ini bergantung pada
pendefinisian format atau template
standar untuk menyatakan spesifikasi
persyaratan
Bahasa deskripsi desain Pendekatan ini menggunakan bahasa
pemrograman tetapi dengan cara
menspesifikasi model operasional sistem
Notasi grafis Bahasa grafis, dilengkapi dengan anotasi
teks, yang digunakan untuk
mendefinisikan persyaratan fungsional
sistem, contoh awal bahasa grafis seperti
SADT
Spesifikasi matematis Ada notasi yang berdasarkan pada
konsep matematis seperti finite-state
machnine atau set, spesfikasi yang jelas
ini mengurangi argumen antara
pelanggan dan kontraktor mengenai
fungsionalitas sistem.
Spesifikasi Bahasa Terstruktur