タグ

形式手法

2 件の記事

An example of a formal specification (in Spanish) using the Z notation, with named schema boxes, including declarations and predicates

Z表記法計算機システムの厳密な仕様記述を実現する形式言語

Z表記法形式仕様形式手法集合論
2026年8月13日続きを読む →
📖

ジョナサン・P・ボーエン形式手法と博物館インフォマティクスの先駆者

ジョナサン・P・ボーエン形式手法Z表記法博物館インフォマティクス
2026年8月7日続きを読む →