UML design verification based on model checking techniques

Title: UML design verification based on model checking techniques
Authors: Kishi, Tomoji
Keywords: UML;Software verification
Issue Date: 2007
Publisher: ĐHCN
Abstract: The advance of embedded computing technologies makes our society increasingly depend on these systems, and the reliability of the systems becomes more and more important for our daily life. Against this background, we have been examining the application of model checking techniques to embedded software design verification, and also developing a tool to support UML design verification. In my talk, I will explain our approach and tool, then emphasize the necessity of developing modeling techniques for design verification.
URI: http://repository.vnu.edu.vn/handle/VNU_123/14460
Appears in Collections:Bài đăng tạp chí (LIC)

Nhận xét

Đăng nhận xét

Bài đăng phổ biến từ blog này

Một số đề xuất về việc xây dựng tài nguyên giáo dục mở tại Trường Đại học dân lập Hải Phòng

Title:  Một số đề xuất về việc xây dựng tài nguyên giáo dục mở tại Trường Đại học dân lập Hải Phòng Authors:  Trần, Hữu Trung Bùi, Thị Kim Oanh Keywords:  Xây dựng tài nguyên giáo dục mở;Đại học Dân lập Hải Phòng Issue Date:  2016 Publisher:  Hà Nội : ĐHQGHN Citation:  8 tr. Abstract:  Hiện nay, tài nguyên giáo dục mở (OER) đã được báo trước như là một cách cung cấp sự truy cập tới các tài nguyên giáo dục thích hợp. Việc xây dựng kho học liệu mở sẽ giúp ích cho việc đóng góp, chia sẻ và tái sử dụng các nội dung, tài liệu diễn ra nhanh chóng, dễ dàng hơn. Tuy nhiên, việc xây dựng vàphát triển một hướng đi mới như OER tại các trường đại học luôn phải đối diện với nhiều khókhăn, thách thức như tài chính, chính sách vànhân lực. Trong bài trình bày này, căn cứđiều kiện thực tếtại Việt Nam, chúng tôi phân tích đánh giácác cách thức triển khai OER, trên cơ sởđóđề xuất một lộtrình sơ bộ để xây dựng, phát triển OER tại Trường Đại học Dân lập Hải Phòng. C...
Đọc thêm

Học liệu mở với việc nhận dạng nhu cầu sử dụng của người dạy và người học tại các trường đại học ở Hà Nội

Title:  Học liệu mở với việc nhận dạng nhu cầu sử dụng của người dạy và người học tại các trường đại học ở Hà Nội Authors:  Trần, Thị Thanh Vân Keywords:  Học liệu mở;Nhu cầu sử dụng học liệu mở;Trường đại học;Hà Nội Issue Date:  2016 Publisher:  Hà Nội : ĐHQGHN Citation:  12 tr. Abstract:  Với sự nhận thức đúng đắn của các bên liên quan về vai trò quan trọng cuả OER trong việc đảm bảo và phát triển thông tin/tri thức của nhân loại thì nhất định ý tưởng xây dựng OER cho các trường đại học Việt Nam sẽ sớm trở thành hiện thực. Người dạy và người học trong các trường đai học Việt Nam sẽ được đáp ứng tối đa học liệu phục vụ nghiên cứu, giảng dạy và học tập, chất lượng đào tạo chắc chắn sẽ được nâng cao. URI:  http://repository.vnu.edu.vn/handle/VNU_123/11660 Appears in Collections: Kỷ yếu Hội nghị - Hội thảo (LIC)
Đọc thêm

Thế hệ bạn đọc tương lai đối với nguồn học liệu mở của các trường đại học - Họ là ai, họ cần gì và chúng ta có thể làm gì cho họ?

Title:  Thế hệ bạn đọc tương lai đối với nguồn học liệu mở của các trường đại học - Họ là ai, họ cần gì và chúng ta có thể làm gì cho họ? Authors:  Nguyễn, Tấn Thanh Trúc Keywords:  Trung tâm học liệu;Tài nguyên học liệu mở;Bạn đọc tương lai Issue Date:  2016 Publisher:  Hà Nội : ĐHQGHN Citation:  16 tr. Abstract:  Khi các trung tâm học liệu hay thư viện của các trường đại học Việt Nam ngày càng vươn xa hơn trong tính chuyên nghiệp và kết nối sâu rộng, thì hầu hết thế hệ sinh viên tương lai của các bạn vẫn còn quá xa lạ với những cụm từ thư viện cơ sở dữ liệu, khung phân loại DDC, đề mục chủ đề, mục lục trực tuyến,… Chúng ta đã chú trọng chuẩn bị nhiều cho ngày hôm nay và ngày mai cho lớp sinh viên hiện tại, nhưng có lẽ tốt hơn rất nhiều nếu chúng ta chuẩn bị trước cho khách hàng tiềm năng của mình. Phải chăng ranh giới trách nhiệm là thuộc về khối trường phổ thông? Nếu chúng ta chờ đợi sự thăng hoa của việc đầu tư thư viện trường học thì có lẽ ...
Đọc thêm