Pengesahan Sistem (4): Perisian Pemodelan, Protokol, dan perilaku lain

Penerangan Produk

Pengesahan Sistem adalah bidang yang mengkaji asas-asas komunikasi sistem dan pemprosesan maklumat. Ia membolehkan analisis automatik berdasarkan model tingkah laku sistem untuk melihat jika sistem berfungsi dengan betul. Kami mahu menjamin bahawa sistem itu betul-betul sesuai dengan apa yang sepatutnya dilakukan. Teknik-teknik yang dikemukakan dalam pengesahan sistem membenarkan untuk membuktikan kesilapan kesilapan. Ia membolehkan untuk merekabentuk tingkah laku sistem tertanam yang berstruktur dan sebagai kesan sampingan menguatkuasakan anda untuk membuat tingkah laku mudah dan berwawasan. Ini bermakna bahawa sistem tidak hanya berperilaku dengan betul, tetapi juga lebih mudah untuk mengekalkan dan menyesuaikan diri. 'Protokol Perisian Pemodelan, dan tingkah laku lain' menunjukkan kekuatan kaedah formal dalam pemodelan perisian, protokol komunikasi, dan contoh lain. Bahan bacaan. JF Groote dan MR Mousavi. Pemodelan dan analisis sistem berkomunikasi. The MIT Press, 2014.