Search

Current filters:

Search Results

  • <<
  • 1
  • >>
Item hits:
  • Sách (eBooks)


  • Authors: Vũ, Thanh Nguyên; Hầu, Vũ Thành Nam (2013)

  • Hiện này với sự phát triển mạnh mẽ của hệ thống máy tính, nhu cầu đặc tả hệ thống trong các giai đoạn phát triển phần mềm càng được tăng cường. Bởi vì ngoài lợi ích mô tả hệ thống, các đặc tả còn giúp cho các người quản trị dự án có thể phát hiện sớm các lỗi trong hệ thống. Từ đó giúp giảm thiểu chi phí xây dựng và phát triển hệ thống hay phần mềm trong các giai đoạn sau của dự án. Giáo trình đặc tả hình thức cung cấp cho sinh viên các cơ sở toán học và các phương pháp đặc tả hình thức, ứng dụng đặc tả trong công nghệ phần mềm. Sinh viên được làm quen với hai ngôn ngữ đặc tả quen thuộc nhất là VDM và Z. Ngoài ra giáo trình còn cung cấp phần kiến thức về phương pháp kiểm chứng và chứng minh tính đúng đắn của đặc tả hàm và luật suy diễn.

  • Sách (eBooks)


  • Authors: Vũ, Thanh Nguyên; Đinh, Nguyễn Anh Dũng (2013)

  • Giáo trình Nhập môn Phát triển game sẽ giúp Sinh viên có một cái nhìn tổng quan về ngành công nghệ phần mềm và trang bị cho sinh viên những kiến thức nền tảng trong việc lập trình game nói chung (như xử lý va chạm, vật lý, tạo chuyển động, phân hoạch không gian,v…v) và kỹ thuật cần thiết để xây dựng một game 2D đơn giản (theo thể loại casual) trên nền tảng DirectX sử dụng C++. Trang 8 | Nhập môn phát triển game Đây không phải là một môn có thể giúp Sinh viên ngay lập tức có thể làm ra các game thương mại có thể đưa lên các Appstore để kiếm tiền. Thay vì vậy, để phù hợp với mục tiêu đào tạo Kỹ Sư, chúng tôi trang bị cho các em những khởi đầu tốt để các em có thể nhìn thấu đáo những bài toán trong lập trình game để từ đó tự tìm hiểu và phát triển một cách bền vững trong tư...

  • Sách (eBooks)


  • Authors: Vũ, Thanh Nguyên; Nguyễn, Công Hoan; Phan, Trung Hiếu; Lê, Đình Tuấn (2016)

  • Phát triển phần mềm mã nguồn mở (open source software) cùng với ngành công nghệ phần mềm nói chung đã thay đổi sâu sắc trong những năm gần đây. Dù có chấp nhận hay không, thực tế vẫn cho thấy phần mềm mã nguồn mở đã trở thành một sự lựa chọn hàng đầu cho cả cá nhân cũng như doanh nghiệp bởi khả năng đáp ứng ngày càng cao yêu cầu tính năng và chi phí thấp của nó. Phát triển phần mềm mã nguồn mở đến nay đã là một lĩnh vực then chốt đem lại lợi nhuận khổng lồ một cách trực tiếp hay gián tiếp cho nhiều tổ chức doanh nghiệp. Việt Nam chúng ta đã khá chậm trong việc bắt nhịp với sự phát triển mạnh mẽ của lĩnh vực phát triển phần mềm mã nguồn mở. Chúng ta mới chỉ nhận ra tiềm năng to lớn của lĩnh vực này khi hòa nhập sâu với kinh tế thế giới - đặc biệt là đàm phán gia nhập WTO v...