2010-11-01から1ヶ月間の記事一覧
アスペクト指向のこの前のつづき ■ポイントカットの応用（この前の続き） ・within ～ call－－ ～から呼び出される－－ ・フィールドにアクセスされたときに、ポイントカット get set ■アスペクト指向の愉快な利用方法： ・モックとして使う aroundアドバイ…
昨日、SEA Forumに行ってきて、SEMATについて平鍋氏のお話を聞いてきたことは、 昨日のブログに書いた。 今日は、その感想。 正直なところ、SEMATは、何をどこまで作って、どれが、日本の私たちに、どれくらい影響があるのか、よくわからなかった。実は、こ…
ここのスラッシュドットの記事 事業仕分けで情報処理技術者試験はどうなる？ http://slashdot.jp/it/10/11/29/086243.shtml 民営化が有力なようですが、民営化したら、たぶん、受けないな・・・ 民間資格だったら、CCNAとかオラクルマスターのほうが、いいわ…
SEA Forumに出席してきた。今回は、astah*のチェンジビジョンの平鍋氏が語るSEMAT。 ちなみに、SEMATについては、平鍋氏が、ブログに書いている。 SEMAT.org にて「ソフトウェア工学再建」運動が開始 http://blogs.itmedia.co.jp/hiranabe/2010/02/sematorg-…
「光の道」って、話題ですよね。 ここ 光の道 http://www.otsuka-shokai.co.jp/words/hikari-no-michi.html によると、光の道をやるために必要なことは２つ （１）離島、山間部にも、ブロードバンドを！ （２）今、利用していない人をブロードバンドに！ （…
ここのニュース ＜テロ資料流出＞公安情報出版 個人情報削除せず http://headlines.yahoo.co.jp/hl?a=20101127-00000024-mai-soci えー（＠＿＠！） 尖閣ビデオとちがって、これこそ、秘密に管理してるもんだから、 秘匿性は高いわけで、それを流出しちゃっ…
今日のお勉強は、世界的な、セキュリティ評価規準CC、ISO/IEC15408（JIS化(JISX5070)は、追いついていない）について。 CCは、３つのパートと、評価手法（CEM：せむ）にわかれてる。 Part1：概念と一般化モデル Part2：セキュリティ機能要件 Part3：セキュリ…
教えた内容の原稿 ■むかしむかし、パソコンが２台ありました。 ２つのパソコンをむすびたい。 Aのパソコンの入力→Bのパソコンの出力 Bのパソコンの入力→Aのパソコンの出力 にすると、Aのパソコンの入力はBのパソコンに出力され、 Bのパソコンの入力はAに出力…
「astah*を使って、開発の要求仕様から、プログラム作成までを、トレーサビリティを保って、どのように開発するかを書いてみる」という、このシリーズ、以下の手順で説明する予定ですが、 （１）作るべきもののユースケースを書く （２）ユースケースシナリ…
今日は、形式仕様のZ Z/Eves（ぜっといーぶす）証明器を使ってやる話です。 Zは、公理的集合論に基づいている。 ■基本的な書き方 スキーマを組み合わせて、システムができる。 →スキーマが記述単位＝仕様記述の単位 仕様記述の単位 公理 状態スキーマ 操作ス…
「astah*を使って、開発の要求仕様から、プログラム作成までを、トレーサビリティを保って、どのように開発するかを書いてみる」という、このシリーズ、以下の手順で説明する予定ですが、 （１）作るべきもののユースケースを書く （２）ユースケースシナリ…
今日は、KJ法 ■KJ法の手順 以下の手順 １．紙片作り ２．グループ編成 ２－１．グループ化 ２－２．表札作り ２－３．空間展開（一段展開） ２－４．空間展開（二段展開） ２－５．空間展開（輪どり：わどり） ２－６．空間配置 ３．A型図解 ４．B型文章化 ■…
「astah*を使って、開発の要求仕様から、プログラム作成までを、トレーサビリティを保って、どのように開発するかを書いてみる」という、このシリーズ、以下の手順で説明する予定ですが、 （１）作るべきもののユースケースを書く （２）ユースケースシナリ…
ここの痛いニュース GREEで配信中の「ラブプラス」風のギャルゲー、イラストのトレース発覚 http://blog.livedoor.jp/dqnplus/archives/1568954.html 重ねると、ばっちり一致しますね・・・ これは、まずいよな・・・
いままで、開発のはじめから終わりまでを、何回か書いてきた。 でも、１つのツールを出来るだけ使って、その操作法を書きながら、一気通貫させる方法は、書いてない。 そこで、astah*を使って、開発の要求仕様から、プログラム作成までを、トレーサビリティ…
並列処理関係の検証をするとき、CSPで記述して、確認するけど、その一連＆関係するもののまとめ ■CSPで検証する手順 １．CSPで、関係を記述する →状態遷移図なんかを応用して記述できる ２．記述したCSPをType Checkerで確認する →文法ミスを確認してくれる…
前に、ツールの話は書いたので、今回は、書き方について。 Event-Bは、Bとちがって、２つの部分に分かれる。 MachineとContext（別々のファイルになる） Contextは、おもにSet（集合）の内容を記述する。記述項目は、こんなかんじ CONTEXT EXTENDS SETS CONS…
形式仕様記述には、Bメソッドというのがある。これは、どちらかというと、下流よりだが、もっと、上流工程までもサポートしたものとして、Event-Bがある。今日は、そのEvent-Bのお話。 ■Event-Bのインストール 今回は、Rodin-Platformというのを使う。 （１…
ソフト・システムズ方法論やソフト戦略思考に書かれている、ソフトシステムズ方法論について、メモメモ。 ちなみに、ここ ソフトシステム方法論「SSM」とはなんだ（1） http://www.atmarkit.co.jp/farc/rensai/ssm01/ssm01.html にも説明がある。 ■SSMとは …
昨日、アスペクト指向のAspectJの話を書いた。 そこで、元のソースはいいとして、横断的関心事として記述する、アスペクトの内容について。 ■手順 手順は、以下の３ステップで考えるといいかも （１）今回、どの箇所に割り込ませるかを、ジョインポイント（…
アスペクト指向でJavaをやる、AspectJをEclipseでやるプラグイン AJDTについて、インストールと、使い方 ■インストール(Eclipseのバージョン3.4の場合） Eclipseのメニューバーの「ヘルプ｝（help）→ 「InstallSoftware」とか、「ソフトウエア更新」を選択す…
Uppaal（http://www.uppaal.com/）の使い方を忘れそうなので、メモメモ ■編集 （１）立ち上げる →Templateという名前のテンプレートが開く （２）左側のナビゲーションツリーのDeclarations（日本語化してある場合「宣言」）をクリック →右側の描画ペインが…
Japan Linux Conference 2010の「MeeGoのAndroidプラットフォームへの移植」で聞いてきたお話。 ●Android端末の特徴 メモリフラッシュ部分が misc recovery boot system cache userdata のように分かれていて、recoveryとbootそれぞれに、カーネルイメージ、…
KAOSによるセキュリティ要件の獲得・分析（田原、Axel,Emmanuel） “特集セキュリティ要求工学の実効性”, 情報処理, Vol.50, No.3, 2009. などによる、KAOSによるセキュリティ要求分析。 KAOSによる障害分析と同じ。障害→セキュリティ ■手順 1. セキュリティ…
Haralambos Mouratidis, Paolo Giorgini: Secure Tropos: a Security-Oriented Extension of the Tropos Methodology. International Journal of Software Engineering and Knowledge Engineering 17(2): 285-309 (2007) に記載されている、Secure Troposに…
Liu, et. al, “Security and Privacy Requirements Analysis within a Social Setting”, RE2003 に記載されている、i*によるセキュリティ要求分析方法 １．攻撃者特定→攻撃者モデル 攻撃者をアクタとして特定 悪意のあるユーザを“User As Attacker”アクタと…
よく、原稿用紙に書いたら、何枚にもわたるであろう、SQLを書く人がいる。 このようなSQLは、サーバ側の処理を圧迫するし、メモリもいっぱい使う。 ＊メモリもいっぱい使う理由：複雑なSQLは、作業用のメモリを消費するほか、 その後も結果を保持しておくの…
もはや、YouTubeやニコニコ動画では 本当の尖閣 と検索すれば、尖閣ビデオのコピーがさんざん見れる状況に成ってしまいましたね。 これじゃあ、もう、削除しても意味ないでしょう。 これらのビデオをみると、中国は、故意に衝突させたように見えると思う。 …
こんな感じなのかしら・・・間違ってたらごめん。 ■NoSQL概要 （１）NoSQL （１－１）分散Key-Valueストア →Dynamo（Amazon）、BigTable（Google）、HBASE、Apache Cassandra Kumofs,ROMA （１－２）ドキュメント指向データベース →CouchDB、MongoDB （１－…
本家にも書いたけど、尖閣の、漁船が衝突してきたときのビデオがYouTubeに流出したみたい。 URLは（消されてなければ）こんな感じなんだけど・・・ 本当の尖閣 海上保安庁１ http://www.youtube.com/watch?v=JXkawnuyTn8 尖閣の真実 海上保安庁２ http://www…
