資源簡介
B方法作為一種形式化語言方法,比起非形式化文檔語言更有規范性。它以數學理論為基礎,通過嚴格的邏輯推論,使得整個描述過程更為嚴謹,更容易轉化為代碼。

代碼片段和文件信息
?屬性????????????大小?????日期????時間???名稱
-----------?---------??----------?-----??----
?????文件?????180669??2010-05-18?19:38??07.非確定性和其他.pdf
?????文件?????216700??2010-05-18?19:38??08.抽象機組織INCLUDES.pdf
?????文件?????248752??2010-05-18?19:39??09.抽象機組織(2).pdf
?????文件?????324317??2010-05-18?19:39??10.精華?數據精華(2).pdf
?????文件?????295569??2010-05-18?19:40??11.精華和證明義務.pdf
?????文件?????501986??2010-05-18?19:41??12.循環?B語言重溫.pdf
?????文件?????212711??2010-05-18?19:35??01.形式化方法.pdf
?????文件?????111192??2010-05-18?19:36??02.B-方法概述.pdf
?????文件?????212169??2010-05-18?19:37??03.抽象機和規范.pdf
?????文件?????244335??2010-05-18?19:37??04.集合論和邏輯.pdf
?????文件?????232875??2010-05-18?19:37??05.代換?抽象機和證明義務.pdf
?????文件?????174424??2010-05-18?19:38??06.非確定性.pdf
-----------?---------??----------?-----??----
??????????????2955699????????????????????12
-----------?---------??----------?-----??----
?????文件?????180669??2010-05-18?19:38??07.非確定性和其他.pdf
?????文件?????216700??2010-05-18?19:38??08.抽象機組織INCLUDES.pdf
?????文件?????248752??2010-05-18?19:39??09.抽象機組織(2).pdf
?????文件?????324317??2010-05-18?19:39??10.精華?數據精華(2).pdf
?????文件?????295569??2010-05-18?19:40??11.精華和證明義務.pdf
?????文件?????501986??2010-05-18?19:41??12.循環?B語言重溫.pdf
?????文件?????212711??2010-05-18?19:35??01.形式化方法.pdf
?????文件?????111192??2010-05-18?19:36??02.B-方法概述.pdf
?????文件?????212169??2010-05-18?19:37??03.抽象機和規范.pdf
?????文件?????244335??2010-05-18?19:37??04.集合論和邏輯.pdf
?????文件?????232875??2010-05-18?19:37??05.代換?抽象機和證明義務.pdf
?????文件?????174424??2010-05-18?19:38??06.非確定性.pdf
-----------?---------??----------?-----??----
??????????????2955699????????????????????12
評論
共有 條評論