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.