杉浦英樹／橋本隆成: 組込みソフトウェア開発 基礎講座
組込みソフトウエア開発について執筆しました。ゼロックスの杉浦さんと一緒に書いています。
執筆に当たってのコンセプトは、ソフトウェア工学に基づきながらも開発現場で実際に発生している課題や問題解決に役立つ、効果的な開発、管理手法などを中心に開発に必要な事項を多岐にと取り扱っています。
橋本／隆成∥著: 図解はじめてのＣＭＭＩとプロセス改善
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導入に関する事例を紹介します。
定期的に実施しているある企業さん向けの講義で数学的な定量的アプローチとその効果性を説明しています。
今日はその準備でテキストの改訂作業です。
写真はいつも参考にしている本の１つです。
品質、安全性、効果性、生産性など「見えない情報」をあぶり出し、制御するための数学モデルは重要です。
CMUなどの海外の大学・大学院は形式手法や統計的手法を利用する定量的アプローチに代表される数学的なアプリーチのカリキュラムが充実しています。
機能安全規格への対応、IoTの安全性・セキュリティなどの対応に向けて,数学的な定量的アプローチはますます重要性をましいています。
| 固定リンク
ToolのコンポーネントのPorts＆Interfacesの自動依存関係判定機能があるので、コンポ―ネントに割り当てられたクラス間の依存関係を計算・特定し、Toolが完全に自動でコンポーネントのPorts＆Interfacesを連結(依存)します。
特にUMLではコンポーネントのポート同士を直接結ぶ場合と、ポート同士ではなく、インターフェース同士を結ぶ場合では意味が違うことが定義されています。
この２つの連結(依存)の意味の違いを最大限に活かすことで、コンポ―ネントの再利用や拡張性が大きくことなるので、最終的にアーキテクチャの柔軟性につながります。
| 固定リンク
モデルが不正確だと実装、インスペクション、テストが極めて非効率になることを示すために、Alloyで正確なモデリングの例や,ダメダメモデリングのサンプル作成をしました。
モデルを集合や写像の形式的なしてから作成することや、Invariantを整礎集合の視点で停止性を考慮して作成するのは重要です。
SATによる充足と反例は正確なモデルを作成する上で興味を持ってもらうために有益です。
| 固定リンク
先日、講演で『表明とタイプ置換原理のモジュラー推論を利用したミッションクリティカルシステムのための開発アプローチの提案』をしました。
この講演のベースになっているのは、『科学的モデリング』と『ソフトウエアPluｇ＆Play』および『』科学的モデリングツールHOPE』です。
また、『多品種変量開発』と『科学的プロダクトラインエンジニアリング』に対応する『ソフトウエアPluｇ＆Play』を理解するには、演繹推論とタイプシステムとオブジェクト指向の継承の正しい理解が必要です。
時々、どのように理解したらいいかを聞かれるので、このことを解説する１つとして、『技術コラム』として、科学的モデリングを紹介しています。
| 固定リンク
最近のコメント