truy cập nhanh hơn trình duyệt!
14 quan hệ: Công nghệ phần mềm, Chứng minh toán học, Kỹ thuật hàng không vũ trụ, Khoa học máy tính, Lò phản ứng hạt nhân, Logic, Mô hình thác nước, Ngôn ngữ tự nhiên, Phát triển phần mềm, Phần cứng, Phần mềm, Quy trình phát triển phần mềm, Tên lửa, Yêu cầu (kỹ thuật).
Công nghệ phần mềm
Công nghệ phần mềm hay kỹ nghệ phần mềm (tiếng Anh: software engineering) là sự áp dụng một cách tiếp cận có hệ thống, có kỷ luật, và định lượng được cho việc phát triển, sử dụng và bảo trì phần mềm.
Mới!!: Các phương pháp hình thức và Công nghệ phần mềm · Xem thêm »
Chứng minh toán học
Trong toán học, một chứng minh là một cách trình bày thuyết phục (sử dụng những chuẩn mực đã được chấp nhận trong lĩnh vực đó) rằng một phát biểu toán học là đúng đắnCupillari, Antonella.
Mới!!: Các phương pháp hình thức và Chứng minh toán học · Xem thêm »
Kỹ thuật hàng không vũ trụ
Một động cơ phản lực đang được kiểm tra tại Robins Air Force Base, Georgia, USA. Đường hầm phía sau động cơ làm giảm tiếng ồn và sự phụt ra của sản phẩm cháy. Máy tính mô phỏng chuyến bay của tàu con thoi Kỹ thuật hàng không vũ trụ là một trong những ngành kỹ thuật cơ bản liên quan đến thiết kế, kết cấu và khoa học về khí cụ bay và tàu vũ trụ.
Mới!!: Các phương pháp hình thức và Kỹ thuật hàng không vũ trụ · Xem thêm »
Khoa học máy tính
Khoa học máy tính nghiên cứu các cơ sở lý thuyết của thông tin và tính toán, cùng với các kỹ thuật thực tiễn để thực hiện và áp dụng các cơ sở này.
Mới!!: Các phương pháp hình thức và Khoa học máy tính · Xem thêm »
Lò phản ứng hạt nhân
Lò phản ứng hạt nhân là một thiết bị để khởi động, thực hiện và kiểm soát phản ứng hạt nhân.
Mới!!: Các phương pháp hình thức và Lò phản ứng hạt nhân · Xem thêm »
Logic
Logic hay luận lý học, từ tiếng Hy Lạp cổ điển λόγος (logos), nghĩa nguyên thủy là từ ngữ, hoặc điều đã được nói, (nhưng trong nhiều ngôn ngữ châu Âu đã trở thành có ý nghĩa là suy nghĩ hoặc lập luận hay lý trí).
Mới!!: Các phương pháp hình thức và Logic · Xem thêm »
Mô hình thác nước
Mô hình thác nước (waterfall model) là một mô hình của quy trình phát triển phần mềm, trong đó quy trình phát triển trông giống như một dòng chảy, với các pha được thực hiện theo trật tự nghiêm ngặt và không có sự quay lui hay nhảy vượt pha là: phân tích yêu cầu, thiết kế, triển khai thực hiện, kiểm thử, liên kết và bảo trì.
Mới!!: Các phương pháp hình thức và Mô hình thác nước · Xem thêm »
Ngôn ngữ tự nhiên
Trong ngôn ngữ học, một ngôn ngữ tự nhiên là bất kỳ ngôn ngữ nào phát sinh, không suy nghĩ trước trong não bộ của con người.
Mới!!: Các phương pháp hình thức và Ngôn ngữ tự nhiên · Xem thêm »
Phát triển phần mềm
Phát triển phần mềm là việc chuyển nhu cầu của người dùng hoặc mục tiêu tiếp thị thành một sản phẩm phần mềm.
Mới!!: Các phương pháp hình thức và Phát triển phần mềm · Xem thêm »
Phần cứng
chuột Phần cứng (tiếng Anh: hardware), là các cơ phận (vật lý) cụ thể của máy tính hay hệ thống máy tính như là màn hình, chuột, bàn phím, máy in, máy quét, vỏ máy tính, bộ nguồn, bộ vi xử lý CPU, bo mạch chủ, các loại dây nối, loa, ổ đĩa mềm, ổ đĩa cứng, ổ CDROM, ổ DVD, card đồ họa VGA, card wifi, card âm thanh, bộ phận tản nhiệt Cooler,...
Mới!!: Các phương pháp hình thức và Phần cứng · Xem thêm »
Phần mềm
Phần mềm máy tính (tiếng Anh: Computer Software) hay gọi tắt là Phần mềm (Software) là một tập hợp những câu lệnh hoặc chỉ thị (Instruction) được viết bằng một hoặc nhiều ngôn ngữ lập trình theo một trật tự xác định, và các dữ liệu hay tài liệu liên quan nhằm tự động thực hiện một số nhiệm vụ hay chức năng hoặc giải quyết một vấn đề cụ thể nào đó Phần mềm thực hiện các chức năng của nó bằng cách gửi các chỉ thị trực tiếp đến phần cứng (hay phần cứng máy tính, Computer Hardware) hoặc bằng cách cung cấp dữ liệu để phục vụ các chương trình hay phần mềm khác.
Mới!!: Các phương pháp hình thức và Phần mềm · Xem thêm »
Quy trình phát triển phần mềm
Quy trình phát triển phần mềm là một cấu trúc bao gồm tập hợp các thao tác và các kết quả tương quan sử dụng trong việc phát triển để sản xuất ra một sản phẩm phần mềm.
Mới!!: Các phương pháp hình thức và Quy trình phát triển phần mềm · Xem thêm »
Tên lửa
Tên lửa Redstone của chương trình Mercury Mô hình tên lửa Tên lửa (Hán-Việt: hỏa tiễn) là một khí cụ bay, có hoặc không có điều khiển, chỉ sử dụng một lần, chuyển động nhờ sức đẩy theo nguyên tắc phản lực do khí phụt ra từ động cơ tên lửa (xem thêm Định luật 3 Newton).
Mới!!: Các phương pháp hình thức và Tên lửa · Xem thêm »
Yêu cầu (kỹ thuật)
Trong các ngành kỹ thuật, một yêu cầu (requirement) là một đòi hỏi được tài liệu hóa về các chức năng và đặc điểm của một sản phẩm hoặc dịch vụ.
Mới!!: Các phương pháp hình thức và Yêu cầu (kỹ thuật) · Xem thêm »
