高次ソフトウェア—ソフトウェアを定義するための方法論

ソフトウェアの信頼性の鍵は、コンピュータ科学者やアプリケーションエンジニアがシステム間のインターフェースを記述し、伝達するために使用できる形式化された方法論を用いてソフトウェアを設計、開発、管理することです。これらのインターフェースには、ソフトウェア対ソフトウェア、ソフトウェア対他のシステム、ソフトウェア対管理、そして完全なソフトウェア開発プロセス内の分野対分野が含まれます。高次ソフトウェア（HOS）の形式的な方法論は、大規模なマルチプログラム/マルチプロセッサシステムを対象としており、システムの信頼性に捧げられています。六つの公理を基にして、特定のシステムとそのすべてのインターフェースは、一つの完全で一貫した計算可能なシステムであるかのように定義されます。導出された定理の中には、リアルタイムのマルチプログラム処理の再構成、機能間の通信、およびデータとタイミングの衝突の予防が提供されるものがあります。