Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting.

Con người cần rất nhiều phần mềm, cần sự phục vụ của phần mềm trong mọi lĩnh vực, cần sự nhanh chóng và hiệu quả tính toán. Mong đợi của con người ngày càng cao hơn dẫn tới chi phí xây dựng phần mềm càng trở nên đắt hơn, từ tầm quan trọng, cộng với niềm đam mê phát triển lĩnh vực khoa học công nghệ phần mềm, nhóm tác giả Trường Đại học Công nghiệp Hà Nội đã biên soạn "Nhập môn Công nghệ phần mềm"