68-XX Computer science {For papers containing software, source code, etc. in a specific mathematical area, see the classification number –04 in that area} 412790
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 7224