... tit dy minh họa:
(Chúng tôi có kèm theo đĩa CD chứa đầy đủ các bài giảng minh họa, Tài liệu
hướng dẫn sửdụngbảngtươngtác chi phí thấp trong dạy học và các phần mềm
cần thiết để sửdụng thiết ... thiết để sửdụng thiết bị tạo bảngtương tác)
Năm học 2009 - 2010
)'
*+,- GIẢI PHÁP KHOA HỌC
5$ Sửdụngbảngtươngtác thao tác với phầnmềm Geospace dạy nội dung “Phân
chia ... *+,- GIẢI PHÁP KHOA HỌC
MỘT SỐ HÌNH ẢNH SỬDỤNGBẢNGTƯƠNGTÁC TRONG DẠY HỌC
MÔN TOÁN.
5)Thiết bị tạo bảngtương tác: USB Bluetooth, Bút hồng ngoại, Wiimote.
5'Dùng...
... Hiệu chỉnh tương tác: Sau khi kết nói máy tính và càb đặt phầnmềmBảng
thông minh AIC cần phải hiệu chỉnh tươngtác cho lần đầu tiên sử dụng. Biểu
tượng driver sẽ xuất hiện trong vùng thông báo ... khi hoàn tất cài đặt và thiết lập, mở đĩa CD phầnmềm kèm theo và tham
khảo “Hướng dẫn hoạt động dễ dàng bảngthôngminh AIC” và “Hướng dẫn sử
dụng HiTeach”.
â Advanced International ... vào sửdụng
6. Tìm kiếm chi tiết
Nếu bạn cần phải tìm thấy những thông tin chi tiết về hình ảnh dự kiến,
phóng to hình ảnh. Sửdụng các phím mũi tên hướng để điều hướng hình
ảnh
Sử dụng...
... Mô hình xác thực phầnmềm 10
Hình 1.2 Mô hình logic thời gian 11
Hình 1.3 Mô hình của kiểm tra mô hình phầnmềm 14
Hình 1.4 Kiểm tra mô hình phầnmềm gắn với vòng đời phần
mềm
17
Hình 2.1: ... phn cng
ã Kim tra mô hình phầnmềm
Trong khuôn khổ của luận văn, sẽ chỉ xét đến kiể
m tra mô hình phần mềm.
1.2.2 Kiểm tra mô hình phầnmềm
Kiểm tra mô hình phầnmềm (Software model checking) ... QUAN VỀ KIỂM TRA MÔ HÌNH PHẦNMỀM 12
1.1 Lịch sử phát triển 12
1.2 Kiểm tra mô hình phầnmềm 15
1.2.1 Khái niệm kiểm tra mô hình 15
1.2.2 Kiểm tra mô hình phầnmềm 15
1.3 Phân loại hướng...
... việc
đảm bảo chất lượng phần mềm. Kĩ thuật này được áp dụng để chứng minh một cách
tự động tính đúng đắn của phầnmềm hoặc chỉ ra tại sao phầnmềm không chạy đúng
thông qua phản ví dụ.
Hiện ... chứng mô hình của phầnmềm giả lập máy rút tiền tự động ATM.
ii
Kiểm chứng mô hình phầnmềmsửdụng NuSMV Nông Gia Tự
Chương 1
Giới thiệu
1.1Đặt vấn đề
Việc đảm bảo chất lượng phầnmềm là một trong ... dự kiến của phần mềm.
Để đơn giản và dễ hiểu cho việc minh họa phương pháp trên, chúng ta xét bài
toán: Thiết kế một chương trình phầnmềm mô phỏng sự hoạt động của máy ATM.
Phần mềm này sẽ...
... Kiểm chứng mô hình phầnmềmsửdụng NuSMV Nông Gia Tự
Chương 5
Áp dụng NuSMV kiểm chứng mô hình
phần mềm giả lập máy ATM
1.16 Đề xuất quy trình đặc tả và kiểm chứng phầnmềmsử
dụng NuSMV
1.16.1 ... này có thể là áp dụng NuSMV để kiểm
chứng mã nguồn phần mềm. Một hướng khác là xây dựng công cụ mô hình hóa tự
động bản thiết kế phần mềm.
35
Kiểm chứng mô hình phầnmềmsửdụng NuSMV Nông ... chứng mô hình phầnmềmsửdụng NuSMV Nông Gia Tự
Chương 6
Kết luận
Trong khóa luận này chúng tôi đã trình bày những lý thuyết cơ bản về kiểm
chứng mô hình phần mềm, nghiên cứu và áp dụng kỹ thuật...
... ý tưởng của việc sửdụng l
ại thiết kế phần
mềm đã được đề cập một chục năm gần đây.
Tái sửdụng các thiết kế phầnmềm làm giảm
thời gian xây dựng và tăng chất lượng phần
mềm. Chính vì vậy, ... PHẦNMỀM
SỬ DỤNG CBR
Nguyễn Thị Nga
Người hướng dẫn: TS.Nguyễn Việt Hà
1. Giới thiệu
Hiện nay các phầnmềm ngày càng tăng về
kích thước, số các chức năng và các công
nghệ sử dụng. ... nghiên cứu hướng tiếp cận sửdụng lại
thiết kế phầnmềm dựa trên phương pháp lập
luận theo tình huống (CBR). Trong mô hình
trình bày việ
c hỗ trợ sửdụng lại thiết kế phần
mềm, được thực hiện bằng...
... sở giáo dục đã được Bộ
GD&ĐT quy định tại Thông tư quy định vê sửdụngphầnmềm tự do mã nguồn mở
trong các cơ sở giáo dục . Thông tư có hiệu lực thi hành kể từ ngày 15/4/2010.
Vai ... tin) và phổ biến ứng dụng
phần mềm tự do mã nguồn mở tại các trường đại học trong toàn quốc. Tổ chức cho
sinh viên và các giảng viên đại học, cao đẳng tham gia cộng đồng phầnmềm tự do mã
nguồn ... Việt:
Unikey; Trình duyệt web Mozilla Firefox; Phầnmềm thư điện tử máy trạm của
Mozilla: Thunderbird; Hệ điều hành trên nền Linux.
Kho phầnmềm tự do mã nguồn mở giáo dục được đặt tại địa...
... việc dự đoán lỗi phần mềm. Các nội dung của luận văn
này sẽ tập trung vào kỹ thuật dự đoán lỗi phầnmềmsửdụng phương pháp kỹ học máy
8
Chương 2
DỰ ĐOÁN LỖI PHẦNMỀMSỬDỤNG
KỸ THUẬT ... của phầnmềm đó chính là các tham số được sửdụng trong quá
trình dự đoán lỗi.
1.1. DỰ ĐOÁN LỖI PHẦNMỀM
1.1.1. Giới thiệu
Trong thuật ngữ của chuyên ngành kỹ nghệ phần mềm, Quản lý dự án phần ... thuật dự đoán lỗi phầnmềm áp
dụng cho một hệ thống Java có khả năng có nhiều lỗi. Để xây dựng mô hình dự đoán lỗi
phần mềm hầu hết sửdụng kỹ thuật học máy để dự đoán bằng cách sửdụng các phép...
... thuật cơ bản được sửdụng trong đặc tả và kiểm chứng phần mềm.
Chương 3 trình bày ngôn ngữ CafeOBJ, kỹ thuật đặc tả và kiểm chứng phần
mềm bằng phương pháp hình thức được sửdụng trong CafeOBJ. ...
Phạm Ngọc Thắng
ĐẶC TẢ VÀ KIỂM CHỨNG PHẦNMỀMSỬDỤNG
CafeOBJ
KHOÁ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY
Ngành: Công nghệ thông tin
HÀ NỘI - 2010 ... CafeOBJ cũng hỗ
trợ rất mạnh mẽ sẽ được đề cập ở phần sau. Được xem như là một tư tưởng nổi bật của
việc kiểm chứng phầnmềm và kiểm thử phần mềm. Nhờ phương pháp quy nạp này
mà việc kiểm chứng...
... đó. Các phầnmềm đƣợc phát triển trong 1
quy trình chuyên nghiệp luôn có thể chứa lỗi mà chỉ đƣợc phát hiện sau khi đã đƣợc phân
phối và đƣa vào sử dụng. Trong thiết kế phần cứng và phần mềm, ... Thị Vân Dung
NGHIÊN CỨU VỀ KIỂM CHỨNG PHẦNMỀMSỬ
DỤNG CÔNG CỤ SPIN
KHOÁ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY
Ngành: Công Nghệ Thông Tin
Cán bộ hướng dẫn: PGS. TS. ... Spin, ngôn ngữ Promela đƣợc sửdụng để xây dựng mô hình của hệ thống và các tính
chất của nó, chƣơng này trình bày các thành phần và câu lệnh cơ bản của Promela đƣợc
sử dụng trong khóa luận.
...
... Giấy, Hà Nội
Hoạt động trong lĩnh vực phát triển phần
mềm GIS, phầnmềm ứng dụng GIS, dịch
vụ GIS, xây dựng dữ liệu GIS
Tiền thân là trung tâm Phầnmềm & Dịch
vụ GIS của công ty eK (thành ... các
công tác nghiệp vụ:
- Quy hoạch mạng lưới.
- Cấp phép viễn thông, ….
- Chia sẻ thông tin về hạ tầng
giữa các doanh nghiệp hot
ng trờn a bn
ã Cung cp thụng tin về hạ tầng
Thông tin ... cứu thông tin
BTS tìm được và trích xuất thông tin ra nhiều định
dạng khác nhau)
(Tìm kiếm 1 tuyến truyền dẫn theo từ khóa, tra cứu
thông tin tuyến truyền dẫn tìm được và trích xuất
thông...
... thuộc tính chất lượng
VI. Sửdụng EA trong phân tích yêu cu phn mềm:
1. Sửdụng EA hỗ trợ phân tích yêu cầu phần mềm:
Xem xét cấu trúc phân cấp và cài đặt của yêu cầu phần mềm
S> d@ng c>a ... yêu cầu phần mềm. S> d@ng EA
trong phát hiện và tổng hợp các yêu cầu phần mềm.
TL:
Phát hiện các yêu cầu phần mềm:
- Phân tích bài toán
- Xác định quá trình phát triển các yêu cầu phần mềm
- ... cầu phầnmềm là tất cả các yêu cầu về phầnmềm do khách hàng – người
s> d@ng phần mềm- nêu ra, bao gồm: các chức năng của phần mềm, hiệu năng
của phần mềm, các yêu cầu về thiết kế và giao diện,...