GitHub - subsetpark/pantagruel: A program specification language with a formal syntax and ad-hoc semantics.
This document consists of two chapters. Every Pantagruel chapter has a head and a body, separated by a horizontal line. In the first chapter head we introduce some vocabulary. Vocabulary is of two basic kinds: domains, which represents sets or types of things; and procedures, which represent behaviours with, or relationships between, things of a certain type. In the first chapter body we make some
形式的な仕様記述がすごいらしい - kなんとかの日記
早速，メルコ・パワー・システムズの開発部門が原因究明に乗り出す。しかし，いくらデバッグしてみても不具合の原因が分からない。それどころか，現象が非常にまれにしか起きないため，不具合の再現すらおぼつかない状況だった。 開発作業に暗雲が立ち始めたちょうどその時，社内でモデル検査技術の試験適用を進めていた早水公二氏が現れる。新技術の調査・導入を担当する技術統括部 ビジネスチーム2に所属するモデル検査の専門家だ。既に何件かのプロジェクトでモデル検査の効果に手応えを感じ始めていた同氏は，この不具合の原因究明にもモデル検査技術が使えないかと思い立ち，作業に取り掛かる。そして，モデルの作成やツールによる探索作業などを経た13時間後，見事，不具合の原因を見つけ出したのだった（図2，図3，図4）。 第5回：国内でも成功事例が出現，形式的手法の壁は高くない（2ページ目） | 日経 xTECH（クロステック） 形
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
連載記事「誰でも使える形式手法」 － ＠IT MONOist
