Phương pháp hình thức trong việc phát triển hệ thống hướng đối tượng

N

namthanhhnt

New Member
Luận văn:Phương pháp hình thức trong việc phát triển hệ thống hướng đối tượng : Luận văn ThS. Công nghệ thông tin: 68 40 10
Nhà xuất bản:ĐHCN
Ngày:2007
Chủ đề:Công nghệ thông tin
Phát triển hệ thống
Phần mềm hướng đối tượng
Miêu tả:76 tr. + CD-ROM
Khái quát những khái niệm cơ bản và các vấn đề liên quan đến phát triển phần mềm hướng đối tượng và phương pháp hình thức. Trình bày một tiến trình phát triển phần mềm tập trung vào khung nhìn biểu đồ lớp được đề xuất trong đó đặc tả hệ thống, các phép biến đổi, luật làm mịn được thể hiện và chứng minh bằng rCOS. Trình bày nghiên cứu xây dựng một phần mềm công cụ trợ giúp cho quá trình phát triển phần mềm hướng đối tượng
Luận văn ThS. Công nghệ thông tin -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2007
Electronic Resources
Kiểu:text
Định dạng:text/pdf
Link tải Free download cho anh em Ketnooi:
You must be registered for see links

 
Bạn phải đăng nhập hoặc đăng ký để trả lời ở đây.
Các chủ đề có liên quan khác
Tạo bởi Tiêu đề Blog Lượt trả lời Ngày
D Phương pháp lượng giác và một số ứng dụng trong hình học Luận văn Sư phạm 0
D Dạy học giải bài toán bằng cách lập phương trình, hệ phương trình ở trường trung học cơ sở theo phương pháp mô hình hóa Luận văn Sư phạm 0
D Nghiên cứu các mô hình định giá doanh nghiệp ứng dụng phương pháp tài sản và phương pháp dòng tiền chiết khấu trong việc định giá ngân hàng VCB Luận văn Kinh tế 0
D Sáng kiến kinh nghiệm Hướng dẫn học sinh giải bài toán hình học không gian bằng phương pháp véc tơ Luận văn Sư phạm 0
D vận dụng phương pháp giải toán hình học không gian lớp 11 nhằm phát triển tư duy sáng tạo cho học sinh thpt Luận văn Sư phạm 0
D Một số giải pháp về vấn đề dân số, liên hệ với tình hình ở địa phương Luận văn Kinh tế 0
T Vận dụng một số phương pháp thống kê phân tích tình hình lao động nước ta giai đoạn 1996-2003 Luận văn Kinh tế 0
C Vận dụng một số phương pháp thống kê phân tích tình hình sử dụng vốn sản xuất, kinh doanh và kết quả hoạt động tài chính Luận văn Kinh tế 2
P Vận dụng một số phương pháp thống kê phân tích tình hình LLLĐ nước ta giai đoạn 1996-2003 Luận văn Kinh tế 2
C Tình hình phát triển và các phương hướng, giải pháp nhằm phát triển toàn diện ngành du lịch huyện Tịnh Biên Kiến trúc, xây dựng 0

Các chủ đề có liên quan khác

Top