No abstract

No abstract

No abstract

No abstract

Tru .ò. ng Da. i ho. c Su. pha. m-Da. i ho. c Thái Nguyên 2 Tru .ò. ng Da. i ho. c Công nghê .-Da. i ho. c Quốc gia Hà Nô. i 3 Viê. n Công nghê. thông tin Abstract. This article presents semantics of object oriented system with classes, visibility, dynamic binding and recursive methods. The class declarations and commands are served as designs in terms of pre-and post conditions; the relations of components in system... This approach shows clearer relations of components in object oriented system, possibility of using tools and cheecking method to improve the refinement for further development of systems. The algebraical laws are expanded for design specification of object oriented programs. Tóm tȃt. Bài báo trình bày ngũ. nghĩa cu 'a hê. thống hu .ó. ng dối tu. o. . ng vó. i các ló. p, tính tru. . c quan, liên kết dô. ng và các phu. o. ng thú. c dê. quy. Các khai báo ló. p và các lê. nh nhu. là các thiết kế du. . a trên tiề n diề u kiê. n, hâ. u diề u kiê. n và các mối quan hê. cu 'a các thành phầ n trong hê. thống... Cách tiếp câ. n này sẽ cho thấy rõ ràng mối quan hê. cu 'a các thành phầ n trong hê. thống hu .ó. ng dối tu. o. . ng, và các kha ' nȃng su. ' du. ng các công cu. và cách thú. c kiê ' m tra dê ' ca ' i tiến dȃ. c ta ' hê. thống du. o. . c phát triê ' n sau này. Nhò. dó các luâ. t da. i số dã du. o. . c phát triê ' náp du. ng cho viê. c dȃ. c ta ' chu. o. ng trình hu .ó. ng dối tu. o. . ng.