[B! 形式手法] takkan_mのブックマーク

takkan_m id:takkan_m

形式手法に関するtakkan_mのブックマーク (2)

チュートリアル - Alloy Analyzer で形式仕様記述
ここでは、Alloy で形式的に仕様を記述/検査する方法を簡単なものから段階的に説明していきます。ボタンの仕様を書いてみよう集合を使って仕様を書いてみよう以降準備中
takkan_m 2010/09/30
Alloy

形式手法
リンク
さらに分かっておきたいトランジスタの種類 − ＠IT MONOist
急速に進化するAI 技術との融合により変わりつつあるスーパーコンピュータの現在地を、大学などの公的機関を中心とした最先端のシステムから探る本連載。第1回は、2024年4月に稼働を開始した東京工業大学の「TSUBAME 4.0」を取り上げる。
takkan_m 2008/09/18
formal method

形式手法
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx