按姓氏化程度可将软件工程使用的方法分成形式化。版形式化、完全形式化，

关于软件工程使用的方法按姓氏化程度的划分，一般是将其分为三类：

1. 非形式化方法：这种方法通常基于经验和直觉，缺乏精确的规范和定义。开发人员主要依靠自己的判断力来完成软件开发任务，如口头交流、草图、会议记录等。

2. 半形式化方法：这种方法介于非形式化和形式化之间。它使用一些精确的工具和表示法来描述软件系统的某些方面，但仍然存在一些不确定性和主观性。如UML、流程图、状态图等。

3. 形式化方法：这种方法是一种精确、严格和系统的方法，基于数学理论和形式化表示法，用来描述和验证软件系统的性质和行为。形式化方法通常可以分为版形式化和完全形式化两类。

- 弱形式化：也称为版形式化，它使用一些简单的数学符号和语义来描述软件系统的某些方面，如Z语言、Petri网等。
- 强形式化：也称为完全形式化，它使用一些严格的数学理论和形式化表示法来描述软件系统的性质和行为，如模型检测、定理证明等。