Luận án, luận văn Một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần: LATS Công nghệ thông tin: 9480103.01/ Nguyễn Trịnh Đông
Tác giả : Nguyễn Trịnh Đông
Năm xuất bản : 2018
Nơi xuất bản : H.
Mô tả vật lý : VII, 145tr.: minh hoạ; 30cm 1 tt
Số phân loại : 005.1
Chủ đề : 1. Công nghệ thông tin. 2. Kĩ thuật phần mềm.
Thông tin chi tiết
| Tóm tắt : | Nghiên cứu đề xuất những kỹ thuật đặc tả, phân tích, đánh giá và kiểm chứng hệ thống thời gian thực dựa trên thành phần. Nghiên cứu mô hình thành phần phần mềm thời gian thực, thể thức tương tác tương tranh trong hệ thống, cùng với các kỹ thuật đặc tả và mô hình hoá thành phần phần mềm thời gian thực trên hai khía cạnh ràng buộc chức năng và phi chức năng... |
Thông tin dữ liệu nguồn
| Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
|---|---|---|
Thư viện Quốc gia Việt Nam
|
LA18.1237.1, LA18.1237.2, LA18.1237.3 |
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-723842.html |
Tài liệu cùng tác giả
Hội thảo khoa học công nghệ thông tin và ứng dụng trong các lĩnh vực lần thứ 6: = The 6th conference on information technology and its applications/ Hiroki Kitamura, Yusuke Kajiwara, Hiromitsu Shimakawa..
Tác giả : Hiroki Kitamura, Yusuke Kajiwara, Hiromitsu Shimakawa..
Nhà xuất bản : Thông tin và Truyền thông
Năm xuất bản : 2017
Sách, tuyển tập
Tài liệu điện tử
Nghiên cứu vấn đề tích hợp dữ liệu của bộ giao thông vận tải, áp dụng thử nghiệm đối với việc tích hợp cơ sở dữ liệu từ cục hàng hải về bộ / Nguyễn, Trịnh Đông; Phùng, Văn Ôn
Tác giả : Nguyễn, Trịnh Đông; Phùng, Văn Ôn
Nhà xuất bản : ĐHCN
Năm xuất bản : 2007
Tài liệu cùng danh mục chủ đề
Kỹ thuật lập trình C++ / Đặng Quế Vinh
Tác giả : Đặng Quế Vinh
Nhà xuất bản : KHKT
Năm xuất bản : 2003
Những bài thực hành cơ sở dữ liệu Visual Basic 6.0 căn bản / Đinh Xuân Lâm
Tác giả : Đinh Xuân Lâm
Nhà xuất bản : Thống kê
Năm xuất bản : 2004
Phương pháp số (Thuật toán và chương trình bằng turbo pascal) : Dùng cho sinh viên và cán bộ các ngành khoa học kỹ thuật / Trần Văn Minh
Tác giả : Trần Văn Minh
Nhà xuất bản : Giao thông vận tải
Năm xuất bản : 2000
Software Reuse / Jag Sodhi and Prince Sodhi
Tác giả : Jag Sodhi and Prince Sodhi
Nhà xuất bản : McGraw-Hill
Năm xuất bản : 1999
Java 2 : : A beginner's guide / Haerbert Schildt
Tác giả : Haerbert Schildt
Nhà xuất bản : McGraw-Hill
Năm xuất bản : 2003
Đại học Công nghệ - ĐHQGHN 
Đại học Giáo dục - ĐHQGHN 
Đại học khoa học tự nhiên - ĐHQGHN 
Đại học Khoa học Xã hội và Nhân văn - ĐHQGHN 
Đại học Kinh tế - ĐHQGHN 
Đại học Ngoại ngữ - ĐHQGHN 
Đại học quốc gia Hà Nội 
Đại học Y - Dược - ĐHQGHN 
Học Viện Hàng Không Việt Nam 
Thư viện đại học Cần Thơ 
Thư viện Huyện Bình Chánh - TVKHTH TP.HCM 
Thư viện huyện Bình Minh - TV Vĩnh Long 
Thư viện huyện Bình Tân - TV Vĩnh Long 
Thư viện Huyện Cần Giờ - TVKHTH TP.HCM 
Thư viện Huyện Củ Chi - TVKHTH TP.HCM 
Thư viện Huyện Hóc Môn - TVKHTH TP.HCM 
Thư viện huyện Long Hồ - TV Vĩnh Long 
Thư viện huyện Mang Thít - TV Vĩnh Long 
Thư viện Huyện Nhà Bè - TVKHTH TP.HCM 
Thư viện huyện Tam Bình - TV Vĩnh Long 
Thư viện huyện Trà Ôn - TV Vĩnh Long 
Thư viện Khoa học Tổng hợp TP.HCM 
Thư viện quận 1 - TVKHTH TP.HCM 
Thư viện quận 10 - TVKHTH TP.HCM 
Thư viện quận 11 - TVKHTH TP.HCM 
Thư viện quận 12 - TVKHTH TP.HCM 
Thư viện quận 2 - TVKHTH TP.HCM 
Thư viện quận 3 - TVKHTH TP.HCM 
Thư viện quận 4 - TVKHTH TP.HCM 
Thư viện quận 5 - TVKHTH TP.HCM 
Thư viện quận 6 - TVKHTH TP.HCM 
Thư viện quận 7 - TVKHTH TP.HCM 
Thư viện quận 8 - TVKHTH TP.HCM 
Thư viện quận Bình Tân - TVKHTH TP.HCM 
Thư viện quận Bình Thạnh - TVKHTH TP.HCM 
Thư viện quận Gò Vấp - TVKHTH TP.HCM 
Thư viện quận Phú Nhuận - TVKHTH TP.HCM 
Thư viện quận Tân Bình - TVKHTH TP.HCM 
Thư viện quận Tân Phú - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 1) - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 2) - TVKHTH TP.HCM 
Thư Viện Tỉnh An Giang 
Thư viện tỉnh Vĩnh Long 
Tổ chức y tế thế giới 
Trung tâm giáo dục quốc phòng và An ninh - ĐHQGHN 
Trung tâm Hỗ trợ Sinh viên - ĐHQGHN 
Trường Đại học Luật - ĐHQGHN 
Trường Khoa học liên ngành và nghệ thuật - ĐHQGHN 
Trường Quản trị và Kinh doanh - ĐHQGHN 
Viện Công nghệ Thông tin - ĐHQGHN 
Viện Đảm bảo chất lượng giáo dục - ĐHQGHN 
Viện Quốc tế Pháp ngữ - ĐHQGHN 
Viện Tài nguyên và Môi trường - ĐHQGHN 
Viện Vi sinh vật và Công nghệ Sinh học - ĐHQGHN 
Viện Việt Nam học và Khoa học phát triển - ĐHQGHN