
Chương trình java
-
Có rất nhiều phương pháp để kiểm chứng tính đúng đắn của một chương trình Java đa luồng. Một trong các phương pháp đó là sử dụng logic Hoare. Kiểm chứng tính đúng đắn của một chương trình Java đa luồng sử dụng logic Hoare yêu cầu ta cần phải chứng minh một chương trình được bổ sung và chú thích dưới sự thi hành của các lệnh phải thỏa mãn: Nếu bước tính toán thi hành một phép gán, thì ta sử dụng các điều kiện tính đúng đắn cục bộ để chứng minh tính quy nạp của sự...
64p
truongnghen
31-08-2012
155
36
Download
-
Kiểm thử đơn vị tham số hóa còn đang là một khái niệm mới mẻ đối với nhiều nhà phát triển phần mềm. Kiểm thử đơn vị tham số hóa đang dần đóng một vài trò hết sức quan trọng trong phát triển phần mềm. Khóa luận này ra đời chính là để nghiên cứu về phương pháp kiểm thử mới này và ứng dụng nó cho mục đích kiểm thử các chương trình Java.
69p
truongnghen
31-08-2012
84
22
Download
-
Bài giảng Lập trình java cơ bản: Chương 2 trình bày về ngôn ngữ lập trình Java. Bài giảng giúp các bạn nắm được những kiến thức về: tổng quan về Java, cách dịch và thực thi chương trình Java, công cụ lập trình và chương trình dịch, cú pháp và ngữ nghĩa chương trình Java. Bên cạnh đó, tài liệu còn giúp các bạn biết được các kiểu dữ liệu nguyên thùy, lớp và đối tượng, khai báo và nhập xuất dữ liệu trong lập trình Java.
39p
langtuhl
13-06-2012
469
165
Download
-
Mục tiêu: Đến cuối chương bạn có thể: Hiểu những đặc điểm và lợi ích của Java, Hiểu cơ chế thực thi của Java, Hiểu cơ chế biên dịch và chạy 1 chương trình Java, Hiểu cấu trúc cơ bản của một chương trình Java.
40p
ruac0ndangy3u
16-11-2010
389
154
Download
-
Elliotte Rusty Harold, Kỹ sư phần mềm, Polytechnic University Tóm tắt: Viết các biểu thức XPath dễ hơn rất nhiều nhiều so với việc viết mã chuyển hướng Mô hình đối tượng tài liệu (Document Object Model - DOM) chi tiết. Khi bạn cần rút trích thông tin từ tài liệu XML thì cách nhanh nhất và đơn giản nhất là nhúng biểu thức XPath vào bên trong chương trình Java™. Java 5 giới thiệu gói java.xml.xpath, một thư viện độc lập mô hình đối tượng XML dùng để truy vấn các tài liệu XML với XPath. 27/06/2007 - Từ...
21p
nuocsuoiaquafina
13-09-2011
135
23
Download
-
Bài giảng Lập trình Java giới thiệu đến người học lập trình ngôn ngữ Java về sự phát triển của Java, các đặc trưng của Java, các phần tử cơ bản ngôn ngữ Java và thành phần cơ bản của 1 chương trình Java. Đồng thời, bài giảng còn trình bày cấu trúc của một chương trình Java: Applets. Mời các bạn cùng tham khảo.
239p
thanhtrieung
31-08-2018
131
18
Download
-
Bài giảng Ngôn ngữ lập trình Java - Th.S Dương Thành Phết tập trung giới thiệu tổng quan về Java: Lịch sử ra đời và phát triển, các đặc tính, công nghệ, ứng dụng bằng Java, cài đặt và viết chương trình; cấu trúc một chương trình java, lệnh nhập xuất, Hằng, biến, kiểu dữ liệu và toán tử, các cấu trúc điều khiển trong java, Mảng và chuỗi;...
11p
codon_01
18-11-2015
106
15
Download
-
Bài giảng "Lập trình hướng đối tượng - Chương 2: Ngôn ngữ lập trình Java" cung cấp cho người đọc các kiến thức: Cấu trúc của một chương trình Java, dịch và thực thi một chương trình Java, cú pháp của ngôn ngữ Java, các kiểu dữ liệu cơ bản trong Java,... Mời các bạn cùng tham khảo.
160p
doinhugiobay_14
16-02-2016
92
13
Download
-
Mục đích nghiên cứu của luận văn: Xây dựng công cụ sinh dữ liệu kiểm thử tự động cho chương trình nguồn Java. Nhằm mục đích thực hiện việc kiểm thử hộp trắng cho kiểm thử đơn vị một cách tự động và khoa học Hướng đến mục tiêu giảm chi phí về thời gian và tài chính khi thực hiện công việc kiểm thử cho các lập trình viên/kiểm thử viên.
25p
quaymax8
27-09-2018
64
6
Download
-
Bài này trình bày các bước phát triển một chương trình Java, cấu trúc của một chương trình java cơ bản, phương thức main, chương trình đơn giản: nhập dữ liệu vào từ bàn phím và in ra kết quả màn hình console. Bài này cung giới thiệu về từ khóa, hằng, biến, các kiểu dữ liệu, toán tử; các cấu trúc điều khiển cơ bản trong Java, foreach (Java 5 trở lên); mảng, xâu kí tự (String, StrongTokenizer); một số lớp cơ bản: Integer, Long, Double, Math, Date, Calendar, SimpleDateFormat, RegularExpression.
90p
estupendo1
06-08-2016
70
5
Download
-
Bài giảng "Lập trình Java - Chương 1: Giới thiệu về Java" cung cấp cho người học các kiến thức: Lịch sử phát triển, Java Flatforms, các dạng chương trình Java, đặc điểm của Java, máy ảo Java (Java Virtual Machine); viết, dịch, thực thi chương trình HelloWorld; môi trường, công cụ - Giới thiệu một số IDE phổ biến. Mời các bận cùng tham khảo.
64p
tieu_vu10
07-04-2018
45
5
Download
-
Giáo trình Lập trình Java cơ bản: Phần 1 trình bày các nội dung chính sau: Giới thiệu về ngôn ngữ lập trình Java, các ứng dụng Java, chương trình Java, khối lệnh trong Java, hướng đối tượng trong Java,... Mời các bạn cùng tham khảo để nắm nội dung chi tiết.
82p
viamsterdam
18-09-2020
17
4
Download
-
Trong chương 2 Lập trình java căn bản thuộc bài giảng Lập trình java nhằm giúp sinh viên hiểu được lập trình Java căn bản qua ví dụ “Hello World”, nắm được các kiểu dữ liệu cơ bản trong Java. Xây dựng được chương trình Java cơ bản (console).
25p
xuanlan_12
25-04-2014
62
3
Download
-
Bài giảng Lập trình Java cơ bản: Bài 1 - Tổng quan lập trình Java hướng đến giới thiệu ngôn ngữ Java; kiến trúc của Java; nội dung một chương trình Java cơ bản; các kiểu dữ liệu cơ bản & toán tử các cấu trúc điều khiển;...
34p
codon_02
29-11-2015
41
3
Download
-
Kết thúc bài học này bạn có khả năng: Hiểu ngôn ngữ lập trình Java, biết cách thiết lập môi trường cho ứng dụng java, nắm cấu trúc chương trình Java, sử dụng công cụ NetBean, biết cách nhập dữ liệu từ bàn phím, biết cách xuất dữ liệu ra màn hình, biết cách thực hiện các phép toán số học, biết cách sử dụng các hàm toán học. Mời các bạn cùng tham khảo.
28p
shiwo_ding10
04-08-2019
19
2
Download
-
Chương 2 trang bị cho người học những kiến thức về java cơ bản. Nội dung chính trong chương này gồm: Cấu trúc một chương trình java cơ bản; hằng, biến, kiểu dữ liệu toán tử; các cấu trúc điều khiển trong java. Mời các bạn cùng tham khảo để biết thêm các nội dung chi tiết.
65p
whocare_b
05-09-2016
46
1
Download
-
"Đề cương chi tiết học phần Lập trình Java (Java Programming) bậc đại học" cung cấp đủ kiến thức cơ bản về cú pháp và ngữ nghĩa của ngôn ngữ lập trình Java để người học có thể đọc và viết các chương trình Java trên máy tính. Mời các bạn cùng tham khảo đề cương để nắm chi tiết thông tin tổng quan về môn học này.
13p
hoangcanhminh_111191
23-12-2020
9
1
Download
-
Tổng quan lập trình Java: • Giới thiệu ngôn ngữ Java • Kiến trúc của Java • Nội dung một chương trình Java cơ bản • Các kiểu dữ liệu cơ bản & toán tử • Các cấu trúc điều khiển • Nhập dữ liệu từ bàn phím • Công cụ soạn thảo • Bài tập
34p
thaiduongae
12-01-2010
1607
783
Download
-
Tham khảo tài liệu 'lập trình java căn bản', công nghệ thông tin, kỹ thuật lập trình phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả
193p
sinhvienitnet
28-05-2011
1435
719
Download
-
Hi u nh ng đ c đi m và l i ích ể ữ ặ ể ợ của Java. Hiểu cơ chế thực thi của Java. Hiểu cơ chế biên dịch và chạy 1 chương trình Java. Hiểu cấu trúc cơ bản của một chương trình Java. Lịch sử của Java (đọc tài liệu) Những đặc điểm cơ bản của Java (đọc tài liệu). Máy ảo Java- JVM (đọc tài liệu). Môi trường lập trình Java (đọc tài liệu) Chương trình Java đầu tiên.
14p
quan_pc
25-05-2012
804
273
Download
CHỦ ĐỀ BẠN MUỐN TÌM
