More Related Content
What's hot (20)
Similar to chuong 3 (20)
Recently uploaded (18)
![[PPT11] Bi 7 - 畛c - C Mau qu棚 x畛.pptx](https://cdn.slidesharecdn.com/ss_thumbnails/ppt11bi7-c-cmauqux-250305070313-62766c8d-thumbnail.jpg?width=560&fit=bounds)
![[PPT11] Bi 7 - 畛c - V t担i v畉n mu畛n m畉....ppt](https://cdn.slidesharecdn.com/ss_thumbnails/ppt11bi7-c-vtivnmunm-250305063122-6e221a47-thumbnail.jpg?width=560&fit=bounds)
chuong 3
- 1. 鰻鞄畉p m担n C担ng ngh畛 h畛c 永鞄畉n m畛m Introduction to Software Engineering Department of Software Engineering Faculty of Information Technology Hanoi University of Technology TEL : 04-8682595 FAX : 04-8692906 Email : cnpm @ it - hut . edu . vn
- 2. 永鞄畉n III Y棚u c畉u ng動畛i d湛ng Users Requirements Ch動董ng 5: 永鞄動董稼乙 ph叩p x叩c 畛nh y棚u c畉u 5.1. K畛 thu畉t x叩c 畛nh y棚u c畉u 5.2. N畛i dung x叩c 畛nh y棚u c畉u 5.3. 遺叩界 nguy棚n l箪 ph但n t鱈ch y棚u c畉u
- 3. 5.1. K畛 thu畉t x叩c 畛nh y棚u c畉u ph畉n m畛m SW Requirements Engineering Y棚u c畉u ph畉n m畛m : l t畉t c畉 c叩c y棚u c畉u v畛 ph畉m m畛m do kh叩ch hng - ng動畛i s畛 d畛ng ph畉n m畛m - n棚u ra , bao g畛m : c叩c ch畛c nng c畛a ph畉n m畛m , hi畛u nng c畛a ph畉n m畛m , c叩c y棚u c畉u v畛 thi畉t k畉 v giao di畛n , c叩c y棚u c畉u 畉c bi畛t kh叩c
- 4. 意鞄担稼乙 th動畛ng c叩c y棚u c畉u ph畉n m畛m 動畛c ph但n lo畉i theo 4 thnh ph畉n c畛a ph畉n m畛m : 遺叩界 y棚u c畉u v畛 ph畉n m畛m ( Software ) 遺叩界 y棚u c畉u v畛 ph畉n c畛ng ( Hardware ) 遺叩界 y棚u c畉u v畛 d畛 li畛u ( Data ) 遺叩界 y棚u c畉u v畛 con ng動畛i ( People , Users ) M畛c 鱈ch : m畛c 鱈ch c畛a y棚u c畉u ph畉n m畛m l x叩c 畛nh 動畛c ph畉n m畛m 叩p 畛ng 動畛c c叩c y棚u c畉u v mong mu畛n c畛a kh叩ch hng - ng動畛i s畛 d畛ng ph畉n m畛m
- 5. 意畉i sao c畉n ph畉i 畉t ra y棚u c畉u ph畉n m畛m ? Kh叩ch hng ch畛 c坦 nh畛ng 箪 t動畛ng c嘆n m董 h畛 v畛 ph畉n m畛m c畉n ph畉i x但y d畛ng 畛 ph畛c v畛 c担ng vi畛c c畛a h畛 , ch炭ng ta ph畉i s畉n sng , ki棚n tr狸 theo u畛i 畛 i t畛 c叩c 箪 t動畛ng m董 h畛 坦 畉n 永鞄畉n m畛m c坦 畉y 畛 c叩c t鱈nh nng c畉n thi畉t Kh叩ch hng r畉t hay thay 畛i c叩c 嘆i h畛i c畛a m狸nh , ch炭ng ta n畉m b畉t 動畛c c叩c thay 畛i 坦 v s畛a 畛i c叩c m担 t畉 m畛t c叩ch h畛p l箪
- 6. 5.2. N畛i dung x叩c 畛nh y棚u c畉u ph畉n m畛m Contents of Requirements Engineering Ph叩t hi畛n c叩c y棚u c畉u ph畉n m畛m ( Requirements elicitation ) Ph但n t鱈ch c叩c y棚u c畉u ph畉n m畛m v th動董ng l動畛ng v畛i kh叩ch hng ( Requirements analysis and negotiation ) 珂担 t畉 c叩c y棚u c畉u ph畉n m畛m ( Requirements specification ) 珂担 h狸nh h坦a h畛 th畛ng ( System modeling ) Ki畛m tra t鱈nh h畛p l箪 c叩c y棚u c畉u ph畉n m畛m ( Requirements validation ) Qu畉n tr畛 c叩c y棚u c畉u ph畉n m畛m ( Requirements management )
- 7. Quy tr狸nh x叩c 畛nh y棚u c畉u ph畉n m畛m the problem Requirements elicitation Build a prototype Create analysis models Develop specification Review
- 8. The Analysis Model Data Model Behavioral Model Functional Model
- 9. 5.2.1. Ph叩t hi畛n y棚u c畉u ph畉n m畛m ( Requirements Elicitation ) 遺叩界 v畉n 畛 c畛a ph叩t hi畛n y棚u c畉u ph畉n m畛m ( Problems ) Ph畉m vi c畛a ph畉n m畛m ( Scope ) Hi畛u r探 ph畉n m畛m ( Understanding ) 遺叩界 thay 畛i c畛a h畛 th畛ng ( Volatility )
- 10. 永鞄動董稼乙 ph叩p ph叩t hi畛n y棚u c畉u ph畉n m畛m Requirements Elicitation Methodology X叩c 畛nh c叩c ph動董ng ph叩p s畛 d畛ng ph叩t hi畛n c叩c y棚u c畉u ph畉n m畛m : ph畛ng v畉n , lm vi畛c nh坦m , c叩c bu畛i h畛p , g畉p g畛 畛i t叩c , v . v . T狸m ki畉m c叩c nh但n s畛 ( chuy棚n gia , ng動畛i s畛 d畛ng ) c坦 nh畛ng hi畛u bi畉t s但u s畉c nh畉t , chi ti畉t nh畉t v畛 h畛 th畛ng gi炭p ch炭ng ta x叩c 畛nh y棚u c畉u ph畉n m畛m X叩c 畛nh m担i tr動畛ng k畛 thu畉t - technical environment X叩c 畛nh c叩c rng bu畛c l挑nh v畛c domain constraints Thu h炭t s畛 tham gia c畛a nhi畛u chuy棚n gia , kh叩ch hng 畛 ch炭ng ta c坦 動畛c c叩c quan i畛m xem x辿t ph畉n m畛m kh叩c nhau t畛 ph鱈a kh叩ch hng Thi畉t k畉 c叩c k畛ch b畉n s畛 d畛ng c畛a ph畉n m畛m
- 11. 皆畉n ph畉m ( output ) c畛a ph叩t hi畛n y棚u c畉u ph畉n m畛m B畉ng k棚 ( statement ) c叩c 嘆i h畛i v ch畛c nng kh畉 thi c畛a ph畉n m畛m B畉ng k棚 ph畉m vi 畛ng d畛ng c畛a ph畉n m畛m 珂担 t畉 m担i tr動畛ng k畛 thu畉t c畛a ph畉n m畛m B畉ng k棚 t畉p h畛p c叩c k畛ch b畉n s畛 d畛ng c畛a ph畉n m畛m 遺叩界 nguy棚n m畉u x但y d畛ng , ph叩t tri畛n hay s畛 d畛ng trong ph畉n m畛m ( n畉u c坦 ) Danh s叩ch nh但n s畛 tham gia vo qu叩 tr狸nh ph叩t hi畛n c叩c y棚u c畉u ph畉n m畛m - k畛 c畉 c叩c nh但n s畛 t畛 ph鱈a c担ng ty - kh叩ch hng
- 12. 5.2.2. Ph但n t鱈ch c叩c y棚u c畉u ph畉n m畛m v th動董ng l動畛ng v畛i kh叩ch hng Software Engineering Group Customer Group
- 13. Requirements Analysis and Negotiation Ph但n lo畉i c叩c y棚u c畉u ph畉n m畛m v s畉p x畉p ch炭ng theo c叩c nh坦m li棚n quan Kh畉o s叩t t畛 m畛 t畛ng y棚u c畉u ph畉n m畛m trong m畛i quan h畛 c畛a n坦 v畛i c叩c y棚u c畉u ph畉n m畛m kh叩c Th畉m 畛nh t畛ng y棚u c畉u ph畉n m畛m theo c叩c t鱈nh ch畉t : ph湛 h畛p , 畉y 畛 , r探 rng , kh担ng tr湛ng l畉p
- 14. Requirements Analysis and Negotiation Ph但n c畉p c叩c y棚u c畉u ph畉n m畛m theo d畛a tr棚n nhu c畉u v 嘆i h畛i kh叩ch hng / ng動畛i s畛 d畛ng Th畉m 畛nh t畛ng y棚u c畉u ph畉m m畛m 畛 x叩c 畛nh ch炭ng c坦 kh畉 nng th畛c hi畛n 動畛c trong m担i tr動畛ng k畛 thu畉t hay kh担ng , c坦 kh畉 nng ki畛m 畛nh c叩c y棚u c畉u ph畉n m畛m hay kh担ng Th畉m 畛nh c叩c r畛i ro c坦 th畛 x畉y ra v畛i t畛ng y棚u c畉u ph畉n m畛m
- 15. Requirements Analysis and Negotiation 叩nh gi叩 th担 ( t動董ng 畛i ) v畛 gi叩 thnh v th畛i gian th畛c hi畛n c畛a t畛ng y棚u c畉u ph畉n m畛m trong gi叩 thnh s畉n ph畉m ph畉n m畛m v th畛i gian th畛c hi畛n ph畉n m畛m Gi畉i quy畉t t畉t c畉 c叩c b畉t 畛ng v畛 y棚u c畉u ph畉n m畛m v畛i kh叩ch hng / ng動畛i s畛 d畛ng tr棚n c董 s畛 th畉o lu畉n v th動董ng l動畛ng c叩c y棚u c畉u 畛 ra
- 16. 5.2.3. 畉c t畉 y棚u c畉u ph畉n m畛m 畉c t畉 c叩c y棚u c畉u ph畉n m畛m l c担ng vi畛c x但y d畛ng c叩c ti li畛u 畉c t畉 , trong 坦 c坦 th畛 s畛 d畛ng t畛i c叩c c担ng c畛 nh動 : m担 h狸nh h坦a , m担 h狸nh to叩n h畛c h狸nh th畛c ( a formal mathematical model ), t畉p h畛p c叩c k畛ch b畉n s畛 d畛ng , c叩c nguy棚n m畉u ho畉c b畉t k畛 m畛t t畛 h畛p c叩c c担ng c畛 n坦i tr棚n Ch畉t l動畛ng c畛a h畛 s董 畉c t畉 叩nh gi叩 qua c叩c ti棚u th畛c T鱈nh r探 rng , ch鱈nh x叩c T鱈nh ph湛 h畛p T鱈nh 畉y 畛 , hon thi畛n
- 17. Requirements Specification 遺叩界 thnh ph畉n c畛a h畛 s董 畉c t畉 畉c t畉 phi h狸nh th畛c ( Informal specifications ) 動畛c vi畉t b畉ng ng担n ng畛 t畛 nhi棚n 畉c t畉 h狸nh th畛c ( Formal specifications ) 動畛c vi畉t b畉ng t畉p c叩c k箪 ph叩p c坦 c叩c quy 畛nh v畛 c炭 ph叩p ( syntax ) v 箪 ngh挑a ( sematic ) r畉t ch畉t ch畉 畉c t畉 v畉n hnh ch畛c nng ( Operational specifications ) m担 t畉 c叩c ho畉t 畛ng c畛a h畛 th畛ng ph畉n m畛m s畉 x但y d畛ng 畉c t畉 m担 t畉 ( Descriptive specifications ) 畉c t畉 c叩c 畉c t鱈nh 畉c tr動ng c畛a ph畉n m畛m
- 18. Requirements Specification 畉c t畉 ch畛c nng ( Operational Specifications ): th担ng th動畛ng khi 畉c t畉 c叩c ch畛c nng c畛a ph畉n m畛m ng動畛i ta s畛 d畛ng c叩c c担ng c畛 ti棚u bi畛u sau 京庄畛u 畛 lu畛ng d畛 li畛u ( Data Flow Diagrams ) M叩y tr畉ng th叩i h畛u h畉n ( Finite State Machines M畉ng Petri ( Petri nets )
- 19. Requirements Specification 畉c t畉 m担 t畉 ( Descriptive Specifications ) 京庄畛u 畛 th畛c th畛 li棚n k畉t ( Entity - Relationship Diagrams ) 畉c t畉 Logic ( Logic Specifications ) 畉c t畉 畉i s畛 ( Algebraic Specifications )
- 20. 京庄畛u 畛 lu畛ng d畛 li畛u ( DFD ) H畛 th畛ng ( System ) : t畉p h畛p c叩c d畛 li畛u ( data ) 動畛c x畛 l箪 b畉ng c叩c ch畛c nng t動董ng 畛ng ( functions ) 遺叩界 k箪 ph叩p s畛 d畛ng : Th畛 hi畛n c叩c ch畛c nng ( functions ) Th畛 hi畛n lu畛ng d畛 li畛u Kho d畛 li畛u Vo ra d畛 li畛u v t動董ng t叩c gi畛a h畛 th畛ng v ng動畛i s畛 d畛ng
- 21. 閣鱈 d畛 m担 t畉 bi畛u th畛c to叩n h畛c b畉ng DFD + * * + b a a d c (a+b)*(c+a*d)
- 22. 閣鱈 d畛 畉c t畉 c叩c ch畛c nng c畛a th動 vi畛n qua DFD C達 s存ch Tm theo ch単 速 Y捉u cu t探 ng足棚i m足樽n Kho s存ch Danh s存ch t存c gi其 Danh s存ch t捉n s存ch Danh s存ch ch単 速 Ch単 速 y捉u cu 則足a ra T捉n s存ch Danh s存ch ng足棚i m足樽n Th束ng tin v s存ch S存ch Ch単 速 T捉n t存c gi其 T捉n s存ch Lit k捉 c存c t捉n s存ch li捉n quan 速n ch単 速 T捉n s存ch; T捉n ng足棚i m足樽n S存ch T捉n s存ch, t存c gi其 T捉n ng足棚i m足樽n
- 23. 遺叩界 h畉n ch畉 c畛a DFD 箪 ngh挑a c畛a c叩c k箪 ph叩p s畛 d畛ng 動畛c x叩c 畛nh b畛i c叩c 畛nh danh l畛a ch畛n c畛a NSD 閣鱈 d畛 c畛a ch畛c nng t狸m ki畉m : If NSD nh畉p vo c畉 t棚n t叩c gi畉 v ti棚u 畛 s叩ch Then t狸m ki畉m s叩ch t動董ng 畛ng , kh担ng c坦 th狸 th担ng b叩o l畛i Elseif ch畛 nh畉p t棚n t叩c gi畉 Then hi畛n th畛 danh s叩ch c叩c s叩ch t動董ng 畛ng v畛i t棚n t叩c gi畉 達 nh畉p v y棚u c畉u NSD l畛a ch畛n s叩ch Elseif ch畛 nh畉p ti棚u 畛 s叩ch Then . . . Endif
- 24. Trong DFD kh担ng x叩c 畛nh r探 c叩c h動畛ng th畛c hi畛n ( control aspects ) 京庄畛u 畛 DFD ny kh担ng ch畛 r探 畉u vo l g狸 畛 th畛c hi畛n ch畛c nng D v 畉u ra l g狸 sau khi th畛chi畛n ch畛c nng D . A B C D F E
- 25. 遺鞄畛c nng D c坦 th畛 c畉n c畉 A , B v C 遺鞄畛c nng D c坦 th畛 ch畛 c畉n m畛t trong A , B v C 畛 th畛c hi畛n 遺鞄畛c nng D c坦 th畛 k畉t xu畉t k畉t qu畉 cho m畛t trong E v F 遺鞄畛c nng D c坦 th畛 k畉t xu畉t k畉t qu畉 chung cho c畉 E v F 遺鞄畛c nng D c坦 th畛 k畉t xu畉t k畉t qu畉 ri棚ng cho c畉 E v F A B C D F E
- 26. DFD kh担ng x叩c 畛nh s畛 畛ng b畛 gi畛a c叩c ch畛c nng / m担 - un A x畛 l箪 d畛 li畛u v B 動畛c h動畛ng ( nh畉n ) c叩c k畉t qu畉 動畛c x畛 l箪 t畛 A A v B l c叩c ch畛c nng kh担ng 畛ng b畛 ( asynchronous activities ) v狸 th畉 c畉n c坦 buffer 畛 ngn ch畉n t狸nh trang m畉t d畛 li畛u A B
- 27. Finite State Machines ( FSM ) FSM ch畛a T畉p h畛u h畉n c叩c tr畉ng th叩i Q T畉p h畛u h畉n c叩c 畉u vo I 遺叩界 ch畛c nng chuy畛n ti畉p High pressure alarm High temp. alarm Restart ON OFF
- 28. 畉c t畉 c叩c y棚u c畉u ph畉n m畛m b畉ng FSM Xem x辿t v鱈 d畛 v畛 th動 vi畛n v畛i c叩c giao d畛ch nh動 sau : M動畛n s叩ch / Tr畉 s叩ch Th棚m 畉u s叩ch / Lo畉i b畛 畉u s叩ch Li畛t k棚 danh s叩ch c叩c 畉u s叩ch theo t棚n t叩c gi畉 hay theo ch畛 畛 T狸m ki畉m s叩ch theo c叩c y棚u c畉u c畛a ng動畛i m動畛n T狸m ki畉m s叩ch qu叩 h畉n tr畉 , . . .
- 29. 畉c t畉 . . . 遺叩界 y棚u c畉u 畉c bi畛t c畛a th動 vi畛n : 畛c gi畉 kh担ng 動畛c m動畛n qu叩 m畛t s畛 l動畛ng s叩ch nh畉t 畛nh , trong m畛t th畛i gian nh畉t 畛nh M畛t s畛 s叩ch kh担ng 動畛c m動畛n v畛 M畛t s畛 ng動畛i kh担ng 動畛c m動畛n m畛t s畛 lo畉i s叩ch no 坦 , . . .
- 30. 遺叩界 畛i t動畛ng T棚n s叩ch M達 quy畛n Nh但n vi棚n ph畛c v畛 Ng動畛i m動畛n Ch炭ng ta c畉n c坦 t畉p h畛p ( danh s叩ch ) c叩c ti棚u 畛 s叩ch , danh s叩ch c叩c t叩c gi畉 cho t畛ng quy畛n s叩ch , danh s叩ch c叩c ch畛 畛 li棚n quan c畛a c叩c quy畛n s叩ch Ta c坦 t畉p h畛p c叩c s叩ch ( m畛i 畉u s叩ch c坦 th畛 c坦 nhi畛u quy畛n s叩ch trong th動 vi畛n ). M畛i quy畛n s叩ch c坦 th畛 c坦 1 trong 5 tr畉ng th叩i sau : ( AV ) - Available 動畛c ph辿p m動畛n , ( CO ) - ( BR ) - 達 m動畛n ( Check Out ; Borrow ), ( L ): Last , ( R ): Remove
- 31. FSM 畉c t畉 c叩c tr畉ng th叩i CO AV BR L R C坦 th畛 c坦 h畉n ch畉 v畛 s畛 s叩ch 動畛c m動畛n cho 1 nh坦m 畛c gi畉 ho畉c m畛i 畛c gi畉 , . . .
- 32. 珂担 h狸nh 畉c t畉 : 珂担 h狸nh th畛c th畛 li棚n k畉t 珂担 h狸nh kh叩i ni畛m cho ph辿p 畉c t畉 c叩c y棚u c畉u logic c畛a h畛 th畛ng , th動畛ng 動畛c s畛 d畛ng trong c叩c h畛 th畛ng d畛 li畛u l畛n ER Model 意鞄畛c th畛 Quan h畛 Thu畛c t鱈nh 京庄畛u 畛 th畛c th畛
- 33. 意鞄畛c th畛 t畉p h畛p c叩c th担ng tin li棚n quan c畉n 動畛c x畛 l箪 trong ph畉n m畛m 意鞄畛c th畛 c坦 th畛 c坦 m畛i quan h畛 : person owns car Person Owns Car
- 34. 意鞄畛c th畛 c坦 c叩c thu畛c t鱈nh Thu畛c t鱈nh : T鱈nh ch畉t c畛a m畛t th畛c th畛 ho畉c m畛t 畛i t動畛ng d畛 li畛u 畉t t棚n cho 1 m畉u ( instance ) c畛a 畛i t動畛ng d畛 li畛u m担 t畉 m畉u ( instance ) t畉o li棚n k畉t ( reference ) 畉n c叩c m畉u kh叩c Car Ford Blue ID Automobile Company Ford T畉p c叩c thu畛c t鱈nh c畛a 1 畛i t動畛ng d畛 li畛u 動畛c x叩c 畛nh th担ng qua ng畛 c畉nh c畛a bi to叩n
- 35. Quan h畛 ch畛 ra m畛i li棚n quan g畛a c叩c 畛i t動畛ng d畛 li畛u Bookstore Orders Books 1 N Cardinality : ch畛 ra 畛nh l動畛ng c畛a m畛i quan h畛 1:1 one - to - one 1: N one - to - many M : N many - to - many Modality : 0 c坦 th畛 c坦 , c坦 th畛 kh担ng c坦 quan h畛 1 b畉t bu畛c c坦 quan h畛 Customer Is provided with Repair Action 1 N
- 36. 閣鱈 d畛 ERD m担 t畉 th動 vi畛n Area Title Author Deals with Written by Belongs to Copy holds Was held by Borrower state 1 M N N N Text 1 ER diagram for a library limit
- 37. 遺叩界 y棚u c畉u c畛a m畛t 畉c t畉 t畛t 畉 hi畛u v畛i ng動畛i d湛ng C坦 鱈t i畛u nh畉p nh畉ng C坦 鱈t quy 動畛c khi m担 t畉 , c坦 th畛 t畉o 董n gi畉n V畛i phong c叩ch t畛 tr棚n xu畛ng ( topdown ) D畛 tri畛n khai cho nh畛ng pha sau c畛a v嘆ng 畛i : thi畉t k畉 h畛 th畛ng v thi畉t k畉 ch動董ng tr狸nh v giao di畛n d畛 lm , 畉m b畉o t鱈nh nh畉t qu叩n , . . .
- 38. 5.3. 遺叩界 nguy棚n l箪 ph但n t鱈ch y棚u c畉u s畛 d畛ng Nguy棚n l箪 I . 珂担 h狸nh h坦a d畛 li畛u X叩c 畛nh c叩c 畛i t動畛ng d畛 li畛u X叩c 畛nh c叩c 畉c t鱈nh c畛a c叩c 畛i t動畛ng d畛 li畛u Thi畉t l畉p c叩c m畛i quan h畛 gi畛a c叩c 畛i t動畛ng d畛 li畛u
- 39. 遺叩界 nguy棚n l箪 ph但n t鱈ch y棚u c畉u s畛 d畛ng Nguy棚n l箪 II . 珂担 h狸nh h坦a c叩c ch畛c nng X叩c 畛nh c叩c ch畛c nng chuy畛n 畛i 畛i t動畛ng d畛 li畛u Ch畛 ra lu畛ng d畛 li畛u i qua h畛 th畛ng nh動 th畉 no 京庄畛u di畛n b畛 ph畉n s畉n sinh d畛 li畛u v b畛 ph畉n ti棚u th畛 d畛 li畛u
- 40. 遺叩界 nguy棚n l箪 ph但n t鱈ch y棚u c畉u s畛 d畛ng Nguy棚n l箪 III . 珂担 h狸nh h坦a hnh vi Ch畛 ra c叩c tr畉ng th叩i ( states ) kh叩c nhau c畛a h畛 th畛ng 畉c t畉 c叩c hi畛n t動畛ng ( events ) lm h畛 th畛ng thay 畛i tr畉ng th叩i
- 41. 遺叩界 nguy棚n l箪 ph但n t鱈ch y棚u c畉u s畛 d畛ng Nguy棚n l箪 IV . Partition the Models Tinh l畛c t畛ng m担 h狸nh 畛 bi畛u di畛n c叩c m畛c tr畛u t動畛ng th畉p h董n L畛c 畛i t動畛ng d畛 li畛u T畉o ra ph但n c畉p ch畛c nng 京庄畛u di畛n hnh vi ( behavior ) 畛 c叩c m畛c chi ti畉t kh叩c nhau
- 42. 遺叩界 nguy棚n l箪 ph但n t鱈ch y棚u c畉u s畛 d畛ng Nguy棚n l箪 V . B畉n ch畉t ( Essence ) H達y b畉t 畉u b畉ng c叩ch t畉p trung vo b畉n ch畉t c畛a v畉n 畛 ch畛 kh担ng xem x辿t nh畛ng chi ti畉t ci 畉t ( begin by focusing on the essence of the problem without regard to implementation details ) New Tool : Unified Modeling Language ( UML )!