Đề án kĩ thuật phân tích và phương pháp hình thức hoá trong công nghệ phần mềm