昨日の話を、結局まとめると、システムは、 ユーザーと（ＵＩで）接するサービス層と データを管理するデータ(モデル）層があって、 これをどこかでつないでるという形になる。 そのまま素直に考えると、ＭＶＣになるし、Domain-Driven Design（ＤＤＤ）でも…

の理由について、考えたことのメモメモ 答え：たとえば、学食を考えてください。 学食のメニューはさまざまに変わります。 （今、理科大、九段あるのかな？九段のスペシャルランチっていうのは、めちゃくちゃ変わるんです） さらに人によって、トレーに載る…

書きかけだけど、メモメモ・・・ (加筆するか、続きを書く・・・かも？ ■KobrAの開発プロセス 実現と仕様にわかれていて、これが、 ・コンテキスト ・コンポーネント ・サブコンポーネント というかたちで、詳細化していく。 実現、仕様とも、構造、機能、相…

■シミュレーションを利用したモデル検証手順－概要 動作させてチェックするのでは、チェックしきれないような場合、モデルを作成し、シミュレーションを利用して検証するという モデル検証が行われる（というふうに学者さんは考えている）。 このモデル検証…

コンポーネント指向には、ちーずまんの「チーズはどこへ消えた」とか（うそ、UML Componentsとか）、あときんそんのKobrA（これは本当。誤字ではない。「こぶら」）とかある。 そのちーずまんの、「チーズはどこへ消えた」じゃない(って、くどい ^^;)UML Com…

Astahだと、クラス図のメソッドで事前条件と事後条件が定義できる。 ここで、制約に不変条件を記述すれば、クラス図中に形式仕様が記述でき、 ＯＣＬになる・・・ っていう展開を考えるのが普通だろうけど・・・ 事後条件って、ほとんどプログラムの中身を書…

ゴール指向分析のサンプルって、いつもここの４ページ目、２２枚目、２３枚目のシートがでてくるけど、（どうも、有名な人が書いた図らしい）、実際に何をどう書くのか？について、誰もまとめてくれてない気がする。（リンク先のシートですら、はっきりしな…

を考えた。一応メモ。 ウォーターフォールの場合、 ・後工程に戻れない ・後工程に問題が起こって、前工程に戻ると、大きな損失になる という特徴がある。 ここで、ケータイアプリの場合、仕様が実現できるかどうか、確実でない。 （実現できるとマニュアル…

さっきつぶやいた話、 ステートチャートから、ＳＰＩＮに落とす方法については、この前書いたけど、 その前の部分、 ユースケース記述→シーケンス図→クラス図＆ステートチャート図に変換 を、一応書いておく。 ■ユースケース記述 ユースケース名、アクター、…

●Ｒｕｂｙを使って作る：Rhodes http://rhomobile.com/products/rhodes/ ●JavaScriptから作る:PhoneGap http://www.phonegap.com/ （いろんな説明は、PhoneGap使い方辞典にくわしい。 ●ファイルを使って作る：ドロクリ http://dorokuri.com/ (テンプレートが…

いつもとは、書き方を変えて・・・ mkoszkのつぶやき id:17547522453から id:17552914269まで （JaSST10四国、基調講演を実況） 情報処理資格試験で使われるテストの定義は、クラシック(古典的かつ基本的）。 Vモデル：単体テスト、結合テスト、システムテス…

きのうのＢメソッドについてのつづき。 つまり、Ｂメソッドは、 モデル → 型チェック → 証明責務生成 → 自動的に証明（一部無理なものを手で証明） という工程をへて、 事前条件、事後条件、不変条件の関係が正しいものに成っているかを証明する、形式仕様記…

形式仕様のＢメソッドについて、わすれそうなのでメモメモ ■Ｂメソッドのやっていること 事前条件、事後条件、不変条件が正しいことを、検証している。 つまり、 １．事前条件、事後条件、不変条件を記述する ↓ ２．これらの関係が正しいことを検証するには…