- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện Điện Tử
Danh mục TaiLieu.VN
Kinh nghiệm trong xây dựng công cụ giám sát và quản trị chất lượng cho doanh nghiệp ngành nước ở Đức
Bài báo này trình bày kinh nghiệm của Đức trong xây dựng và áp dụng những công cụ quản trị hiện đại cho các đơn vị trong ngành, để từ đó xây dựng một ngành nước hiện đại, đi đầu ở châu Âu và trên thế giới. Một vài ý tưởng cũng như kinh nghiệm của nước Đức có thể giúp cho hoàn thiện công tác quản lý ngành cấp thoát nước và thủy...
9 p cuc 30/10/2018 294 1
Từ khóa: Thẻ điểm cân bằng, Balanced scorecard BSC, Doanh nghiệp ngành nước, Công ty thủy nông, Công cụ hỗ trợ quản lý có hệ thống
Bài giảng Đặc tả hình thức: Chương 9 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 9 cung cấp cho người học các kiến thức: Từ mô hình đến cài đặt, design by contract (DBC), ý tưởng cơ bản, ngôn ngữ đặc tả hay ngôn ngữ lập trình, công cụ hỗ trợ,...
22 p cuc 31/01/2018 305 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Design by contract, Ngôn ngữ đặc tả, Công cụ hỗ trợ
Bài giảng Đặc tả hình thức: Chương 10 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 10 do Nguyễn Thị Minh Tuyền biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm có Giới thiệu về JML, công cụ hỗ trợ cho JML, ESC/Java2: Cách sử dụng và thuộc tính, ESC/Java2: các cảnh báo, một số chỉ dẫn về đặc tả và điểm yếu, JML nâng cao.
28 p cuc 31/01/2018 307 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Java Modeling Language, Java Modeling Language, Công cụ hỗ trợ cho JML
Đăng nhập