Kiểm chứng giao diện phần mềm

Bài viết trình bày việc phát triển phần mềm giám sát kê đơn về chỉ định và liều dùng trong quá trình kê đơn thuốc điều trị ngoại trú. Phương pháp nghiên cứu: Khảo sát thực trạng phần mềm giám sát kê đơn tại bệnh viện, đề xuất yêu cầu kỹ thuật (URS), thiết kế giao diện và lập trình phần mềm giám sát kê đơn về chỉ định và liều dùng. Kiểm chứng phần mềm bằng cơ sở dữ liệu (CSDL) thực tế.

5p viengfa 23-10-2024 2 1   Download

Cung cấp điện là một trong những học phần quan trọng nhất trong chương trình đào tạo ngành điện. Bài viết trình bày quá trình tính toán, thiết kế tụ bù để nâng cao hệ số công suất, giảm tổn thất điện năng và cách thức mô phỏng, kiểm chứng kết quả trên phần mềm EMTP.

3p vijaychest 16-05-2024 5 1   Download

Giáo trình "Bảo trì hệ thống mạng (Nghề: Quản trị mạng - Trình độ: Cao đẳng)" được biên soạn nhằm giúp sinh viên xác định được các sự cố thường xảy ra đối với các thiết bị phần cứng của một hệ thống mạng như: Card mạng, nguồn điện, dây điện thoại, phần cứng vô tuyến; kiểm tra và định cấu hình cho các thiết bị mạng nếu các thiết bị gặp sự cố; thiết lập các chế độ quản lý người sử dụng trên hệ thống mạng...

132p kimphuong0712 09-08-2023 19 8   Download

Bài giảng Công nghệ phần mềm: Bài 2 Phân tích yêu cầu phần mềm và đặc tả hệ thống, cung cấp cho người đọc những kiến thức như: Yêu cầu phần mềm; Qui trình xác định yêu cầu; Các phương pháp mô hình hóa;...Mời các bạn cùng tham khảo!

57p chankora08 04-07-2023 19 10   Download

Đề tài này nghiên cứu và phát triển thiết bị nhằm giúp việc kiểm tra trực tiếp sâu bên trong các bề mặt chi tiết của động cơ ôtô có thể được thực hiện dễ dàng. Thiết bị có đầu dò gắn camera siêu nhỏ đưa vào sâu bên trong chi tiết máy, đồng thời nhìn qua màn hình thiết bị này có khả năng tự phát hiện những hư hỏng và báo mã lỗi cho chúng ta biết tình trạng hư hỏng của chi tiết.

6p vidoctorstrange 06-05-2023 13 2   Download

Mục đích nghiên cứu sáng kiến "Giới thiệu phần mềm Storyline 3, kết hợp giữa Storyline 3 và Ispring Suite để tạo bài giảng E – Learning, vận dụng vào bài giảng: Thuật toán tìm kiếm tuần tự - Chương trình Tin học lớp 10" nhằm giới thiệu đến các giáo viên phần mềm Storyline để tăng cường tương tác với học sinh trong bài học, kết hợp giữa hai phần mềm Storyline 3 và Ispring Suite để soạn sác bài giảng điện tử có áp dụng cho tất cả các môn học nhằm nâng cao năng lực tự học cho học sinh.

59p matroicon0804 21-11-2022 87 33   Download

Bài viết này trình bày phương pháp ứng dụng lý thuyết giao nhau điểm yên ngựa nhằm xác định thanh cái đặt SVC giúp nâng cao OĐĐA của hệ thống. Các kết quả mô phỏng kiểm chứng được thực hiện trên phần mềm UPFLOW với hệ thống điện IEEE-300 nút.

13p vioklahoma2711 18-11-2020 44 2   Download

Bài giảng Công cụ kiểm thử phần mềm: Giới thiệu môn học giúp các bạn nắm bắt được những thông tin chung về môn học như đối tượng, mục tiêu, lịch giảng dạy, tài liệu tham khảo, phương pháp giảng dạy, cách đánh giá môn học cùng một số thông tin khác.

9p nanhankhuoctai9 20-07-2020 43 8   Download

Mục đích của luận án là phát triển một phương pháp hình thức để đặc tả và kiểm chứng các giao diện của các thành phần phần mềm có tính tương tranh và ràng buộc thời gian. Sau đó luận án áp dụng phương pháp được đề xuất vào việc đặc tả, phân tích và kiểm chứng các mô hình khác nhau của các hệ thống phần mềm dựa trên thành phần. Mời các bạn cùng tham khảo nội dung chi tiết.

135p tamynhan0 04-07-2020 48 5   Download

Đề tài “Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B” nhằm nghiên cứu phương pháp kiểm chứng thứ tự của các cửa sổ giao diện phần mềm một cách tự động dựa trên Event-B và thực hiện áp dụng cho giao diện ứng dụng trên thiết bị di động. Mời các bạn cùng tham khảo đề tài.

25p hanh_tv26 05-04-2019 62 2   Download

Đề tài tập trung vào việc nghiên cứu đặc điểm của giao diện phần mềm, các vấn đề liên quan tới kiểm chứng giao diện phần mềm, các phương pháp kiểm chứng giao diện. Nghiên cứu mô hình, cấu trúc, ký pháp của phương pháp mô hình hóa Event-B. Tìm hiểu nguyên lý, chức năng của công cụ Rodin. Từ những nghiên cứu có được xây dựng một phương pháp mô hình hóa và kiểm chứng chung, xây dựng phương pháp kiểm chứng thứ tự xuất hiện của các cửa sổ giao diện người dùng của các ứng dụng di động.

66p hanh_tv26 04-04-2019 57 6   Download

Luận văn tập trung nghiên cứu phương pháp kiểm thử tự động tương tác giao diện của các ứng dụng Web. Phương pháp này là một trong những phương pháp kiểm thử đang được áp dụng và sử dụng ngày càng rộng rãi trong việc kiểm thử các sản phẩm phần mềm nói chung cũng như ứng dụng Web nói riêng. Phương pháp kiểm thử tự động tương tác giao diện người dùng đã được đề xuất và cải tiến bởi một số tác giả với ý tưởng chung là đặc tả tương tác người dùng của từng trang Web bằng máy hữu hạn trạng thái.

25p hanh_tv26 03-04-2019 62 5   Download

Bài giảng "Hướng dẫn tra tìm tài liệu bằng Libol" cung cấp kiến thức: Giới thiệu chung về phần mềm Libol 6.0, cách truy cập vào OPAC, giao diện tra cứu của phần mềm Libol, tìm đơn giản và kết quả tìm kiếm sau khi hoàn thành... Mời các bạn tham khảo.

18p tranhanh9196 09-10-2018 82 1   Download

Tài liệu "Công nghệ phần mềm" do TS. Lê Đức Long biên soạn trình bày về các nội dung: tổng quan về công nghệ phần mềm, phân tích hệ thống phần mềm, thiết kế phần mềm, thiết kế dữ liệu, thiết kế giao diện, thiết kế xử lý, kiểm chứng phần mềm. Để biết rõ hơn về nội dung chi tiết, mời các bạn cùng tham khảo.

50p dangthingocthuy96 11-01-2017 113 13   Download

Bài báo này trình bày ứng dụng phần mềm Labview, Card USB Arduino và cảm biến siêu âm trong việc xây dựng bộ thí nghiệm có khả năng đo đạc, thu nhận và xử lí chính xác các đại lượng vật lí về chuyển động cơ học. Với sự cơ động, ghi nhận liên tục và giao diện giao tiếp với máy tính đơn giản, bộ thí nghiệm này có thể giúp giáo viên, học sinh thực hiện các thí nghiệm kiểm chứng về các dạng chuyển động trong chương “Động học chất điểm” - Vật lí 10 ở trên lớp học hay ngay ở nhà.

10p allbymyself_07 02-02-2016 183 44   Download

Để đáp ứng nhu cầu tìm kiếm tài liệu dành cho tiết học Tạo trang web bằng phần mềm Kompozer, chúng tôi xin giới thiệu đến bạn một số giáo án hay để tham khảo. Với những giáo án này, bạn sẽ có thêm nhiều hoạt động hay để giúp học sinh tìm hiểu về cách tạo trang web, làm quen với phần mềm tạo trang web Kompozer, biết soạn thảo trang web. Với những mục tiêu xác định rõ ràng trong bộ sưu tập thì đây sẽ là tài liệu hữu ích cho cho các bạn. Chúc bạn sẽ có những tiết học tốt nhất.

25p phuongtim_55 04-04-2014 291 15   Download

Mong muốn giúp GV dễ dàng tìm kiếm tài liệu cho bài Giới thiệu Microsoft Access - Tin học 12, chúng tôi đã chọn lọc những giáo án để tạo thành bộ sưu tập này. Qua đó, quý thầy cô có thêm nhiều lựa chọn, nhiều ý tưởng để soạn cho mình một giáo án hoàn chỉnh và dễ dàng tổng hợp các kiến thức Tin học căn bản của bài Giới thiệu Microsoft Access giúp học sinh biết về phần mềm Microsoft Access, nắm được vai trò và chức năng của nó. Mong rằng đây sẽ là tài liệu tham khảo giúp cho quý thầy cô chuẩn bị giáo án tốt hơn.

14p 999_hoanghon 01-04-2014 554 64   Download

Quản lý các dịch vụ đám mây với một phần mềm duy nhất. Khi nhắc đến việc quản lý các dịch vụ đám mây hẳn sẽ có nhiều người liên tưởng ngay tới Joukuu - một ứng dụng quản lý và kiểm soát các tài khoản đám mây từ một giao diện duy nhất. Mặc dù nó được thiết kế để hấp dẫn người sử dụng nhưng ứng dụng này chỉ cho phép chúng ta quản lý được các dịch vụ đám mây như Dropbox,...

4p lunaluna123 27-07-2013 86 4   Download

Tìm hiểu những nét khái quát nhất về hệ thống xử lý giao dịch trực tuyến (OLTP), Kho dữ liệu (Data warehouse) và hệ thống phân tích dữ liệu trực tuyến (OLAP). Trình bày các vấn đề chung, cơ bản nhất về Luật kết hợp, giải thuật kinh điển Apriori, khai phá luật kết hợp với OLAP và sinh luật kết hợp từ tập mục phổ biến. Nghiên cứu xây dựng khung ứng dụng, bao gồm các công việc: tập hợp, làm sạch, chuẩn hoá dữ liệu, xây dựng Data-cube, khai phá luật kết hợp từ Data-cube; từ đó triển...

3p banhbeovodung 20-06-2013 316 51   Download

Trình bày những phát minh trong lĩnh vực ngân hàng trƣớc sự phát triển của khoa học kỹ thuật điện tử. Trình bày sự phát triển của hệ thống thanh toán điện tử trên thế giới, hệ thống thanh toán ATM ở Việt Nam và một số vấn đề cần giải quyết. Giới thiệu chung về các yêu cầu đáp ứng thời gian thực của hệ thống thanh toán điện tử trực tuyến. Nghiên cứu tổng quan về hệ thống thanh toán ATM hiện nay tại Ngân hàng công thƣơng bao gồm: hệ thống máy ATM; ...

3p banhbeovodung 20-06-2013 114 19   Download