■全体像 （１）もとのステートチャート図 （２）時間情報を加えたステートチャート図 （３）検証 （３）－１ 検証モデル （３）－２ ツールでの検証 （３）－３ 反例の分析 ■（３）－１ 検証モデルの手順 ・環境コンポーネントのモデル化 ・時間制約の詳細化…

ハイプサイクルは、 「黎明期」「流行期」「反動期」「回復期」「安定期」 ないしは、 黎明期→ピーク期→幻滅期→啓蒙活動期→生産の安定期 のように進みますよね・・・ 一方製品ライフサイクルは、 導入期、成長期、成熟（市場飽和）期、衰退期 のように進みま…

突然だけど、Qtをはじめてみる。っていうか、QMLをはじめたい。 理由は、かんたんそうで、たのしそうだから （「簡単そう」の理由については、別のときに書くかも・・・） まずは、インストールだよね。 Qtをはじめるには、 Qt をはじめよう！ 第1回: Qt を…