Alloy Analyzer で形式仕様記述
仕様を形式的に記述/検査することのできる言語やツールは、VDM, B, Z, Isabelle など他にも色々ありますが、 Alloy はそれらにくらべてより軽いフットワークで記述/検査することができるツールです。 それらのツールと Alloy との比較も、機会があればご紹介したいと思います。 2. Alloy を使った形式仕様記述の特徴 数理論理学＋集合論をベースとした Alloy の言語で仕様を記述します。 書いた仕様を、簡単に検査することができます。 難しい論理式の証明などは必要ありません。 検査結果は図で表示してくれるので、結果を目視で直感的に理解することができます。 仕様で書いた振る舞いをシミュレーションすることができます。 3. このページのスコープ ここでは仕様のうち、概要レベルの仕様や、重要な部分だけを抜き出した仕様といった、抽象度の高い仕様をスコープとしています。 抽象度
【APad】中華パッド/Androidタブレット【iped】wiki
Cortex-A7*8 MediaTek MT8392 CUBE TALK9X Teclast P89 3G MediaTek MT6592 CHUWI VX3 FNF ifive mini 3GS 原道 M87 bst-960 NEW! BayTrail-T(x86)*4 Atom Z3736F Teclast X98 Air 3G Chuwi Hi8 Atom Z3735D ONDA V975i Teclast X98 3G Teclast X98HD Atom Z3735G CUBE iwork7 U67GT CUBE iwork7 U67GT 双系統版 NEW! CherryTrail(x86)*4 Atom Z8300 Chuwi Hi8 Pro DualOS Cortex-A17*4 Rockchip RK3288 Teclast P90HD Cortex-A15*4 Nvid
Fantapedia～幻想大事典
Fantapediaの特徴 誰でも項目を追加することができます(上の「新規」で追加したい項目名を入力して編集)。 また、すでに存在する項目も、誰でも編集することができます(「編集」で修正、追加、削除)。 編集モードはワープロモード・wikiモード・直接編集モードがありますが、wikiモードで作成をしてください。 項目編集の注意点 他サイトからのコピペは絶対にやめてください！書き込むときには自分の言葉で！！ 参考文献を記事の末尾に載せてください！未掲載の場合は削除の対象になります。 ページ名はそのままリンクに使用されるので、できるだけ簡潔で一般的なものにしてください。より正確な、複雑なタイトルは本文内に記述してください。 英数字は、できるだけ半角で入力してください。 リンクについて リンクを貼るのも剥がすのもご自由にどうぞ。でも一言貼ったよとお知らせいただけると中の人が喜びます。 バナーが必
神話辞典@wikiウィキ
ここは「幻想世界神話辞典」の補助サイトです。 メインサイトへ追加予定の項目、収集した神話伝承関連の単語や文献情報など、 メインサイトに載せるには準備・情報の収集が必要なものを、先に公開しておく場所ですｗ
Capistrano - Ruby on Rails プラグイン まとめ wiki
このアプリケーションでできること deploy用アプリケーション。 SSHでアクセス可能で、同じユーザ名/パスワードで、同じディレクトリ構成のものであれば、複数台に配置可能(配置先サーバ名を設定に追加するだけ) subversionからのエクスポートを手動やwebアプリからキックするより、セキュア&合理的 配置先でマイグレーション可能。 配置先でfcgiやmongrelなどの再起動可能 配置先でのロールバック(一つ前の配置状態に戻す)可能 配置先は過去の配置状態を時系列で保持している(ディレクトリ名をタイムスタンプとして保持) 対象バージョン
Git入門 - トップページ
※ 翻訳用のリポジトリ、作業状況は「マニュアルの翻訳状況」参照。 翻訳作業に協力してくださる方がいてくれるとうれしいです。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
update zip の作成 - P10AN01 まとめ wiki
一般声優18禁出演作品まとめ @ ウィキ
JsDoc Toolkitを使う！
nginx @ ウィキ