作者easy1 (e :) y)
看板CSSE
标题Re: [问题] 这是关於component-level design的一些 …
时间Sat Apr 28 02:34:48 2007
我想大概是翻译的名词很难懂吧....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)
1F:推 Eventis:Formal Method一节指的应该是前者, 04/28 03:51
2F:→ Eventis:後者一般应该会用"Formal Model"一类的字眼0.0 04/28 03:52
3F:→ Eventis:UML,State Machine,Petri-net属之@@ 04/28 03:52
4F:→ maxe:谢谢 这书还挺怪的~@.@ 04/28 11:24