推 Eventis:Formal Method一節指的應該是前者, 04/28 03:51
→ Eventis:後者一般應該會用"Formal Model"一類的字眼0.0 04/28 03:52
→ Eventis:UML,State Machine,Petri-net屬之@@ 04/28 03:52
→ maxe:謝謝 這書還挺怪的~@.@ 04/28 11:24
我想大概是翻譯的名詞很難懂吧....XD
我也不太清楚內容 不過就字面意思"猜"一下而已
有真的了解的人 請糾正
: 我看的事 software Engineering:A practition's approach 5/e
: 中文翻作 軟體工程 -實物專家做法
(軟體產業界)實用(或是實際運用)的方法, ("實用"通常都不是完美的...)
: 標題: Algorithm design
: 1.the closest design activity to coding
設計演算法時 就已經顧慮實做coding的方法
(一般設計東西是 implementation neutral, 是不管實際coding的)
: 2.the approach:
: -review the design description for the component
: 回顧元件的設計敘述?? 在這的意思是要去了解元件 然在在做演算法的設計嗎?
(review -> 審核), 一些人一起研究這個design是不是符合想要的要求
我想跟document review是同樣的意思
: -use stepwise refinement to develop algorithm
: 使用逐步細分的方式開發演算法(這比較能懂)
一步一步來 不用一開始就設計的很完善正確,
例如, 每兩個星期review一次design, 然後找出一些可以改善的地方, 然後在短期內實做
然後再review....循環下去
: -use structured programming to implement procedural logic
: 用結構化的程式設計去實作程序邏輯? 程序邏輯是?
: 又與structured programming的關係是??
"logic"可以就當作是"你心理想要的東西",
這裡應該只是說 你的程式要有"結構"一點 不要要a寫a 要b寫b 到時不好擴充..
我想 "用物件導向來實做" 是達到這句話的一個方法吧
我也不知道怎麼解釋這... 不知道講的對不對...:-p
: -use 'formal methods' to prove logic
我想可以可以舉的例子是: "用數學的方法去驗證你的想法"
或 "用UML去設計你的元件架構"...之類的
: 使用正式方法去驗證邏輯??所謂的formal methods是??
: 是有某位人物發明這個方法??
: 還是說用中規中矩的方式來驗證邏輯~~此處的邏輯又是誰的邏輯呢
: 演算法的邏輯嗎?
這本書 叫
A practition's approach
但怎麼感覺一點都不實用 都沒舉什麼例子嗎
--
PLUR
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 84.162.91.150
※ 編輯: easy1 來自: 84.162.91.150 (04/28 02:36)
※ 編輯: easy1 來自: 84.162.91.150 (04/28 02:38)