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

Mô hình cộng đồng OER cho trường đại học

Title:  Mô hình cộng đồng OER cho trường đại học Authors:  Phạm, Tiến Toàn Keywords:  Tài nguyên giáo dục mở;Phát triển nguồn học liệu;Trường đại học Issue Date:  2016 Publisher:  Hà Nội : ĐHQGHN Citation:  9 tr. Abstract:  Tài nguyên giáo dục mở (Open Educational Resources - OER) là các học liệu được cấp phép cho việc sửa đổi, phân phối, sử dụng, và tái sử dụng miễn phí trong hoạt động dạy, học và nghiên cứu (UNESCO, 2002). OER được coi là giải pháp khả thi và phù hợp cho nhiều trường đại học hiện nay trong việc phát triển học liệu phục vụ hoạt động đào tạo, nghiên cứu và chuyển giao công nghệ. Bởi lẽ, OER được kỳ vọng sẽ: tiết kiệm chi phí đầu tư và phát triển học liệu; đa dạng và nâng cao chất lượng nội dung cũng như số lượng học liệu; khuyến khích khám phá, tìm hiểu, hợp tác và tạo ra các giá trị thông tin/tri thức mới. Bài viết chỉ ra các lý do trường đại học cần có OER, đưa ra mô hình triển khai OER cho trường đại học và các yếu tố cơ bản ...
Đọc thêm

Phát triển chiến lược nhằm nâng cao kiến thức thông tin và triển khai các dịch vụ thư viện năng động: Một số gợi ý cho Lào

Title:  Phát triển chiến lược nhằm nâng cao kiến thức thông tin và triển khai các dịch vụ thư viện năng động: Một số gợi ý cho Lào Authors:  Gaston, Nicole Marie Keywords:  Thư viện;Thông tin;Dịch vụ Thư viện;Lào Issue Date:  2009 Publisher:  Đại học Quốc gia Hà Nội Description:  tr. 216-226 Kỷ yếu đại hội cán bộ thư viện các nước Đông Nam Á lần thứ 14 URI:  http://repository.vnu.edu.vn/handle/VNU_123/24365 Appears in Collections: Kỷ yếu Hội nghị - Hội thảo (LIC)
Đọc thêm