杉浦英樹／橋本隆成: 組込みソフトウェア開発 基礎講座
組込みソフトウエア開発について執筆しました。ゼロックスの杉浦さんと一緒に書いています。
執筆に当たってのコンセプトは、ソフトウェア工学に基づきながらも開発現場で実際に発生している課題や問題解決に役立つ、効果的な開発、管理手法などを中心に開発に必要な事項を多岐にと取り扱っています。
橋本／隆成∥著: 図解はじめてのＣＭＭＩとプロセス改善
SEI-CMMIが初めての人向けに、CMMIの基本を理解しながらプロセス改善活動に必要な基本事項がイメージできるよう、図や表を多用して解説しました。
厚さや読みやすさも意識して、最初に理解する上で必要な範囲を絞って解説しました。
橋本隆成: 組込みプレス Ｖｏｌ．３
特別企画1の
『ユビキタスコンピューティング時代の組込みリアルタイムソフトウェア開発のアプローチ［基礎］』
を執筆しています。
橋本隆成: モデルとプロセスをめぐる冒険
一見、観念的で難しく思える「モデル」と「プロセス」を、日常生活に出てくるモノや活動にたとえてやさしく解説を試みました。摩訶不思議なマスコット達のイラストの会話を楽しみながら、２４話の冒険を肩の力を抜きながら楽しんでもらえると嬉しいです。管理者の方にも理解できるように心がけました。 『月刊ＤＢマガジン』連載を書籍化したものです。
橋本隆成: 組込みプレス Ｖｏｌ．２
SWEST7の参加レポートとチュートリアルにコーディネーター&パネラーとして参加した記事を執筆しました。
橋本隆成: Ｓｏｆｔｗａｒｅ ｐｅｏｐｌｅ Ｖｏｌ．７
友人でCMMI公認アプレイザーの臼井さんと私で最新のCMMIの情報と組織改善を実施するために知っておいた方がいい「これからの世界情勢」から始まり「CMMIのプラクティスの詳細解説」しています。
そして、多くの方が興味あるにも関わらず、知られることが無かった「アプレイザル（評定）」の仕方まで紹介しました。
橋本隆成: Ｊａｖａ ｐｒｅｓｓ Ｖｏｌ．４４
『特別記事』の要求管理の第3章を執筆しました。「要求管理とは何か？」を主に解説しています。分かりやすさをメインしたため、難解な用語をさけています。
橋本隆成: ＰＭ ｍａｇａｚｉｎｅ Ｖｏｌ．３
【特集1】の＜Part 2＞
『寄稿 問題発生を未然に防ぐ「プロジェクト計画書」マネジメント』
を執筆しました。
2005年7月発行
橋本隆成: Ｊａｖａ ｐｒｅｓｓ Ｖｏｌ．２７
特集のPart5を担当執筆しました。
ソフトウエア・アーキテクチャ、開発プロセス、デザインパターンについて執筆しています。
2002年12月発行
橋本隆成: Ｓｏｆｔｗａｒｅ ｐｅｏｐｌｅ Ｖｏｌ．５
第3特集を執筆しました。
2004年10月発行
【特集3】
プロセス改善の統合的アプローチ
ますます大規模化する現代のソフトウェア開発では、組織内の各部署ごとにプロセス改善に取り組んでも、部署間でコンフリクトが発生してしまい、なかなか期待通りの効果を得ることができません。特集3では、このような“部分最適のジレンマ”から脱却し、全体最適化を実現するためのアプローチについて解説します。
橋本隆成: Ｓｏｆｔｗａｒｅ ｐｅｏｐｌｅ Ｖｏｌ．４
反復型プロセスについて「コラム」を執筆しました。
2004年5月発行
橋本隆成: Ｓｏｆｔｗａｒｅ ｐｅｏｐｌｅ Ｖｏｌ．３
メタボリックスの山田さんと共同で執筆しました。注目されているAgileの中でも「スクラム」を詳解しています。
2003年12月発行
【特集2】
SCRUMによるプロジェクトマネジメント
ソフトウェア開発のプロジェクトマネジャーは、思うようにいかないプロジェクト運営に悩まされています。いつまでも定まらない顧客からの要求、その後の度重なる変更、急速に進歩する技術への対応… プロジェクトの進展を妨げる要因はあまりにも多く、破綻するプロジェクトは後を絶ちません。プロジェクトマネジャーは、こうした状況を黙って受け入れるしかないのでしょうか？
橋本隆成: Ｓｏｆｔｗａｒｅ ｐｅｏｐｌｅ Ｖｏｌ．１
SoftwarePeopleの創刊号です。第1特集（約50ページ）を執筆しました。
2002年9月発行
【特集1】
Agileなソフトウェア開発
事前に立てた計画に固執するよりも、変化に柔軟に対応する。必要以上にドキュメントを作成するよりも、対話によるコミュニケーションを重視する。今、ソフトウェア開発の現場では、こうした新しい開発方法が注目を集めています。キーワードはいずれも“Agile"。特集1では、Agileの本質を明らかにするとともに、導入の際の注意点や、品質管理との両立について考察します。
橋本隆成: Ｓｏｆｔｗａｒｅ ｐｅｏｐｌｅ Ｖｏｌ．２
特集2を執筆しました。
2003年4月発行
【特集2】
実践！ CMM導入徹底ガイド
CMM（Capability Maturity Model；能力成熟度モデル）は、ソフトウェア開発組織の成熟度を測定し、向上させるためのモデルであり、近年は日本でも導入が進められています。特集2では、CMMの概要について解説するとともに、CMM導入に関する事例を紹介します。
------------------------------------------
『科学的オブジェクト指向モデリングアプローチ』連載技術コラム
～第5回：継承パラドックス(inheritance paradox)の公開のご案内
------------------------------------------
UMLとSyMLモデラーのための連載技術コラムの第5回を公開しました。
http://hsc-i.com/TechnologyColumn.html
第5回は、『継承パラドックス(inheritance paradox)』を紹介し、継承の種類と効果および設計の考え方を紹介しています。
第6回の公開は、2016年1月第一週を予定しています。
| 固定リンク
◎ご挨拶とご案内◎
連載コラム『科学的オブジェクト指向モデリングアプローチ』
日本OMG様とHSCIの共同企画による連載技術コラム：
『科学的オブジェクト指向モデリングアプローチ』
を連載する運びとなりました。
技術コラムはUMLとSysMLの理解を深め、科学的(工学的)な
理論・原理を使用して、早く正確なモデルを作成する「モデリングアプローチ」を
ご紹介するものです。
現在「第0回」～「第4回」まで公開しています。
http://hsc-i.com/TechnologyColumn.html
「第5回」以降の公開は、日本OMG様のFacebookを通じて
ご案内いたします。
よろしくお願いいたします。
HASHIMOTO SOFTWARE CONSULTING INTERNATIONAL(HSCI)
Takanari Hashimoto
| 固定リンク
---------------------------------
オブジェクト指向モデリングと数学モデル
～型・クラス・集合・数学的構造～
----------------------------------
数学には考察対象を数学的に分類する手法がある。
最も良く使変われるのが同値関係(equivalence relation)である。
ソフトウエア開発でもタイプ(型)に同値関係を利用してモデル化する。
つまり考察対象を普遍値集合(universal value set)と置くと、互いに素な同値クラスに分類する。
各値は正確にただ1つの型に含まれる。
同値関係は値を「互いに素」なクラス(集合＊)に分類するので継承のような多態(ポリモフィズム)を利用する様な場合は最適では無い分類の考え方となる。
多態を扱うからである。 未分類の値が存在するという部分分類も必要になるし、値が幾つかのクラス(集合)に包含される分類方法が必要となる。
＊厳密にはクラスと集合は異なるが、ここでの文脈には関係しない これは部分同値関係(Partial Equivalence Relation)と呼ばれる。
形式的なは部分同値関係の定義は「対称律」「推移律」は成立するが「反射律」は成立しない同値関係となる。
多態(ポリモフィズム)な型を必要とする場合は,「反射律」と「対称律」は成り立つが「推移律」は成立しない「共存関係」が扱える分類が必要となる。
「共存関係」はオーバーラップする共存クラス領域のカバリング(cover-ing)を決定する。 整理すると：
「対称律」∧「推移律」 → 値は高々1つのクラスに所属する
「反射律」∧「対称律」 → 値は少なくとも1つのクラスに所属する
「反射律」∧「対称律」∧「推移律」→ 値は正確に1つのクラスに所属する
同値関係は,ある2つの値が同一型(クラスあるいは集合)に含まれる事を決定するが,型の(そのままでは)属性は扱えない。
型の振舞いを規定するためには集合内の要素に対して「より強い構造」を導入する。
代数は,演算を用いて集合上に構造を作り,クラスと「抽象データ型(ADT)」をモデル化することが可能となる。
ある集合(台集合)上の関係に演算を適用することで,「構造を導入できる」ことは近代数学の基本的アプローチである。
以上から「抽象データ型(オブジェクト指向のクラスを含む)」は、数学的なアプローチを基礎に置く。
次に考える事は、「抽象データ型(ADT)」に「公理」を導入する。
「抽象データ型(ADT)」に「公理」を導入する事で、「抽象データ型(ADT)」のインスタンスに振舞いのセマンテイックスが付与できる。
これらの公理は状態の概念を使用する様な場合は、そのままでは更新可能な状態を待つオブジェクトの表現には適していないが、拡張することで扱うことが可能となる。
| 固定リンク
最近のコメント