タグ

ソフトウェア設計

3 件の記事

📖

OCL (Object Constraint Language) の概要とモデル駆動開発における役割

OCLObject Constraint LanguageUMLMOF
2026年8月13日続きを読む →
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日続きを読む →
📖

ISO/IEC 11404（汎用データ型）の概要と役割

ISO/IEC 11404汎用データ型GPDデータ型
2026年8月13日続きを読む →