作者maxe (gt)
看板CSSE
标题[问题] 这是关於component-level design的一些问题
时间Thu Apr 26 22:00:17 2007
最近自学软体工程
我看的事 software Engineering:A practition's approach 5/e
中文翻作 软体工程 -实物专家做法
其中有张投影片 怎麽看都看不懂
不知哪位大哥能解说一下
ps.这边问这种问题违反板规吗?
以下为投影片内容
标题: Algorithm design
1.the closest design activity to coding
2.the approach:
-review the design description for the component
回顾元件的设计叙述?? 在这的意思是要去了解元件 然在在做演算法的设计吗?
-use stepwise refinement to develop algorithm
使用逐步细分的方式开发演算法(这比较能懂)
-use structured programming to implement procedural logic
用结构化的程式设计去实作程序逻辑? 程序逻辑是?
又与structured programming的关系是??
-use 'formal methods' to prove logic
使用正式方法去验证逻辑??所谓的formal methods是??
是有某位人物发明这个方法??
还是说用中规中矩的方式来验证逻辑~~此处的逻辑又是谁的逻辑呢
演算法的逻辑吗?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.168.45.89
1F：推 garywine1201:不太清楚你不懂的是哪一块＠＿＠？ 04/27 09:48
※ 编辑: maxe 来自: 218.168.52.80 (04/27 20:24)
※ 编辑: maxe 来自: 218.168.52.80 (04/27 20:25)
2F：推 maxe:修改过了 麻烦再看看吧 04/27 20:25
3F：推 amazng:formal method算是专有名词 只的是用某些数学方法 04/28 02:10
4F：→ amazng:去"证明"某个program 是否满足某个property 04/28 02:11