定期開催イベントで 幅広く参加者を集めたい方は 登録料・手数料無料 こくちーずの新サービス「こくちーずプロ」を使えば、驚くほど簡単で安全なイベント告知・集客ができます。定期開催イベントで幅広くターゲットにアプローチして、より参加者を集めたい方は「こくちーずプロ」をご活用ください。
1.V字開発プロセスモデルによる分類 1.1.要件定義 VDM 形式手法(Formal Methods)により仕様の自動検証などを行う。 1.2.システム設計 モデル検査 Spin モデル検査により状態遷移図の状態で自動検証を行う。 LTSA モデル検査により状態遷移図の状態で自動検証を行う。 NuSMV モデル検査により状態遷移図の状態で自動検証を行う。 モデル駆動 ZIPC(商用:キャッツ株式会社) 状態遷移図による検証が可能 MDA モデルを実際に動かして動作検証する。Executable Umlなどを使用して仕様を記述。 IAR visualSTATE(商用:IAR SYSTEMS) ステートマシンを設計、検証、実装できるツール。20ステートまでの無料の評価版あり 1.3.詳細設計 Enterprise Architect(商用:SPARX SYSTEMS) テストツールではないが
@IT > Insider.NET > 業務アプリInsider > 事例で学ぶWindows Azure実用ポイント > 業務システムでWindows Azureを使うための42の覚え書き 2010年1月4日のWindows Azure正式リリースに伴い、クラウド・プラットフォームWindows Azureに関する話題や実例も、より身近、より具体的になってきた。また、Windows Azure開発に関する情報の公開も活発になってきており、実際に開発を行う機が熟してきた感がある。そういった中で、実際に導入を判断するユーザーサイドに対する説明情報や、事例に関しては不足しており、「実際にどう始めたらよいのか?」「何がこれまでと異なるのか?」と思われている方も少なくないであろう。 そこで本稿では、業務システムをWindows Azureで運用することの可能性や事例および注意事項について説明する。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く