Hidden_algebra
隠れ代数は、ソフトウェアエンジニアリングの分野、特に並行分散オブジェクトシステムで使用するための正式なセマンティクスを提供します。正しさの証明をサポートします。
隠れ代数はJosephGoguenによって研究されました。 並行性、分散、非決定性、ローカル状態など、大規模なソフトウェアベースのシステムの機能を処理します。また、クラス、サブクラス（継承）、属性、メソッドなどのオブジェクト指向機能も処理しました。隠れ代数は、プロセス代数と遷移システムのアプローチを一般化します。
参考文献
^ ゴーゲン、ジョセフ。「隠れ代数のホームページ」。カリフォルニア大学サンディエゴ校、米国。
^ マルコム、グラント（2006年7月31日）。「隠れ代数：状態のあるシステムの動作仕様と証明」。ロンドン大学、英国。
^ Goguen、Joseph。「隠れ代数と並行分散ソフトウェア」。ACMSIGSOFTソフトウェアエンジニアリングノート。ACM、米国。25（1）：51–52。土井：10.1145/340855.340889。S2CID11950673。_
外部リンク
隠れ代数チュートリアル
このソフトウェアエンジニアリング関連
“