BÀI GIẢNG – Đặc tả hình thức

Mục tiêu môn học:

 Cung cấp các kiến thức liên quan đến hướng tiếp cận xây dựng phần mềm dùng đặc tả hình thức.

 Đặc tả hình thức là các kỹ thuật dựa trên nền tảng của toán học được áp dụng và hỗ trợ để xây dựng các hệ thống và phần mềm.

 Môn học cung cấp cho sinh viên n giai đoạn triển khai.

 Môn học bao gồm các chương liên quan đến các thành phần cơ sở trong đặc tả hình thức nói chung (Tâp họp, Hàm, Dãy,…), và cụ thể hơn trong các chương về đặc tả với VDM và Z.

 Môn học giúp ích cho sinh viên hiểu và nắm bắt các phương pháp hình thức để có thể đặc tả và thực hiện thiết kế.

LINK DOWNLOAD

Mục tiêu môn học:

 Cung cấp các kiến thức liên quan đến hướng tiếp cận xây dựng phần mềm dùng đặc tả hình thức.

 Đặc tả hình thức là các kỹ thuật dựa trên nền tảng của toán học được áp dụng và hỗ trợ để xây dựng các hệ thống và phần mềm.

 Môn học cung cấp cho sinh viên n giai đoạn triển khai.

 Môn học bao gồm các chương liên quan đến các thành phần cơ sở trong đặc tả hình thức nói chung (Tâp họp, Hàm, Dãy,…), và cụ thể hơn trong các chương về đặc tả với VDM và Z.

 Môn học giúp ích cho sinh viên hiểu và nắm bắt các phương pháp hình thức để có thể đặc tả và thực hiện thiết kế.

LINK DOWNLOAD

<!– Composite Start

Loading…

(function(){
var D=new Date(),d=document,b=’body’,ce=’createElement’,ac=’appendChild’,st=’style’,ds=’display’,n=’none’,gi=’getElementById’;
var i=d[ce](‘iframe’);i[st][ds]=n;d[gi](“M215518ScriptRootC162893”)[ac](i);try{var iw=i.contentWindow.document;iw.open();iw.writeln(“”);iw.close();var c=iw[b];}
catch(e){var iw=d;var c=d[gi](“M215518ScriptRootC162893″);}var dv=iw[ce](‘div’);dv.id=”MG_ID”;dv[st][ds]=n;dv.innerHTML=162893;c[ac](dv);
var s=iw[ce](‘script’);s.async=’async’;s.defer=’defer’;s.charset=’utf-8′;s.src=”//jsc.mgid.com/e/b/ebookbkmt.com.162893.js?t=”+D.getYear()+D.getMonth()+D.getDate()+D.getHours();c[ac](s);})();

–>