タグ

Jean-Raymond Abrial

1 件の記事

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日続きを読む →