形式化方法与装备系统软件维护

摘要

本文对形式化方法与装备系统软件维护进行了探讨。文章对形式化方法的基本概念进行了介绍,并给出了三个典型的形式化软件开发和维护案例。