Công nghệ thông tin hiện nay là một trong những ngành phát triển mạnh mẽnói
chung, cùng với công nghệphần mềmnói riêng. Nhằm tạo ra những sản phẩm phần
mềm đảm bảo chất lượng và tính chính xác cao. Nên việc đặc tảvà kiểm chứng phần
mềm hết sức quan trọng trong nhiều lĩnh vực sửdụng phần mềm, đặc biệt là các ngành
công nghệcao đòi hỏi sựchính xác cao của phần mềm. Trong khuôn khổcủa một bài
luận văn tốt nghiệp em đi sâu vào phương pháp đặc tảvà kiểm chứng phần mềm sử
dụng ngôn ngữCafeOBJ và đặc biệt đã áp dụng phương pháp này cho một hệthống lò
vi sóng. Cùng với việc học tập và nghiên cứu trong khi làm khóa luận tốt nghiệp để
được tiếp cậnvới thực tếem đã thu được một sốkết quảnhất định. Thông qua đó,
cùng với kiến thức cơ sởkhi ngồi trên ghếnhà trường, em đã tìm hiểu thêm vềnhững
tiến bộtrong việc phát triển phần mềm trên thếgiới nói chung và Việt Nam nói riêng.
