Bとは
Bは、形式手法に分類される形式手法・仕様記述向けの言語または記法です。利用場面の広さは「低〜中」相当の項目として整理しています。このページでは、用途の見当をつけるための入口として分類と関連情報をまとめています。
| 項目 | 内容 |
|---|---|
| 名称 | B |
| 分類 | 形式手法 |
| カテゴリ | 専門DSL・その他 |
| 主な用途 | 形式手法 / 専門DSL・その他 |
| 状態 | 参考情報少なめ |
読むポイント
Section titled “読むポイント”- どの製品、仕様、ツール、教材の文脈で登場する名前かを見る
- 現在使うものか、古いコードや資料を読むためのものかを切り分ける
- 公式サイト、仕様書、実装例、パッケージ情報がある場合はそこから読み始める
公式・参照情報
Section titled “公式・参照情報”- 公式URL: 現行の公式サイトは確認できていません
- 参照: 一次資料候補（確認待ち）