Методы спецификации семантики функции программного обеспечения отраслевой направленности

1. Подход к спецификации семантики функций

1.1. Операционная семантика

1.2. Денотационная семантика

1.3. Аксиоматическая семантика

2. Методы спецификации семантики функций

2.1. табличный

2.2. алгебраический

2.3. логический

2.4. графический

3. Программное обеспечение отраслевой направленности

3.1. системное ПО

3.2. системы программирования

3.3. прикладное ПО