Verifying specifications is still one of the most important undeveloped reseach topics in software engineering. It is important because quite a few critical bugs are caused at the level of domains, requirements, and/or designs. It is also important for the cases where no program codes are generated and specifications are analyzed and verified only for justifying models of problems in real world. Formal methods is not the “silver bullet”, but is still expected to improve the practice of constructions/analyses/verifications of domain/requirement/design speci- fications.
http://repository.vnu.edu.vn/handle/VNU_123/14458
Đăng ký:
Đăng Nhận xét (Atom)
-
Trong kho tàng truyện cổ tích Việt Nam, Tấm Cám có thể xem là truyện cổ tích thần kì điển hình nhất với đầy đủ những đặc điểm thi... -
Huy Cận tên thật là Cù Huy Cận, sinh ngày 31-5-1919 tại xã Ân Phú, huyện Hương Sơn, tỉnh Hà Tĩnh (nay là huyện Ðức Thọ, tỉnh Hà Tĩnh).... -
Tạo công nghệ sản xuất phân bón hữu cơ từ lá mía hoặc phế phụ phẩm nông nghiệp bằng chế phẩm vi sinh vật : qua việc phân lập tuyển chọn một ...
Không có nhận xét nào:
Đăng nhận xét