Spesifikasi perangkat lunak formal merupakan spesifikasi yang dinyatakan dalam bahasa yang perbendaharaan kata, sintaks, dan semantiknya didefinisikan secara formal.
Terdapat tiga tingkat spesifikasi perangkat lunak yang dapat dikembangkan. Tingkat-tingkat ini adalah persyaratan user, persyaratan sistem, dan spesifikasi desain perangkat lunak
Spesifikasi ini berfungsi sebagai dasar implementasi sistem. Spesifikasi yang tepat ini bias merupakan spesifikasi formal.
0 comments:
Post a Comment