スキップしてメイン コンテンツに移動

ソフトウェア開発に関して個人的に有益な情報

ソフトウェア開発に関して個人的に有益と思った論文・資料等を列挙します。随時、追加・更新していく予定です。

開発プロセス

プロセス改善

清水吉男,「硬派のホームページ」

藤原啓一,「要求から詳細設計までをシームレスに行うアジャイル開発手法」 

藤原啓一,「大規模組込システムの要求分析、システム方式設計、そして、ソフトウェア設計までをつなぐモデルベース設計手法」

藤原啓一,「要求・要件仕様を効率的、高品質に作成する方法」

派生開発推進協議会,「XDDPの基本」

派生開発推進協議会,「困ってませんか? 派生開発 ~XDDPはじめの一歩~」

古畑 慶次,「そうなんだ!XDDP」

清水吉男,「XDDPを活用してアジャイル派生開発に挑む」

林健吾,「Agile開発、SPLEに向けた派生開発技術の礎」

八木将計,会田圭司,石川宏保,斎藤賢一,永田敦,星野充史,山田謙輔,「AgileXDDP」

奈良 隆正,「ソフトウェア品質保証の方法論、技法、その変遷~先達の知恵に学ぶ~」

倉持 俊之,「ソフトウェア開発におけるプロセス改善 ~ 良い成果を得るためのプロセス改善の概要と勘所 ~」

安達 賢二,「ソフトウェアプロセス改善手法SaPIDのご紹介」

SCRUM

Ken Schwaber and Jeff Sutherland,「スクラムガイド」

Michael James and Luke Walter,「スクラムリファレンスカード」

Michael James,「スクラムマスターチェックリスト」

勝⼜淳,「XDDPとSCRUMによるチーム型派生開発の取り組み事例」

鷲崎弘宜,「パターンQA to AQ:伝統的品質保証(Quality Assurance)からアジャイル品質(Agile Auality)へ」

細川宣啓,「ソフトウェア欠陥予測アルゴリズム ~欠陥混入メカニズムのモデリング手法を利用した欠陥予測方法の提案~」

中谷一樹,「対象システムの知識や経験が浅くても有効な指摘を行えるレビュー手法(TPDR法)の提案」

日本科学技術連盟,「レビューの質の向上 〜幸せのレビュー目指して〜」

データ活用

綾井環 ,小向順,福永一寛,「ソフトウェアの構造を見れば品質がわかる!構造メトリクスとバグの関係」

Daniel J. Sturtevant,「System design and the cost of architectural complexity」

Adam Tornhill,Markus Borg,「Code Red: The Business Impact of Code Quality -- A Quantitative Study of 39 Proprietary Production Codebases」

IPA,「障害未然防止のための設計知識の整理手法ガイドブック(組込みシステム編)」

IPA,「ソフトウェア「設計レビュー・要件定義強化のススメ」 ~定量データに基づくソフトウェア開発のプロセス改善を目指して~」

飯泉紀子,「組み込みソフトウェア開発現場のための「過去トラ」の有効活用 ~高品質・短納期を目指して~」

IPA,「コストモデル」を使った 開発品質・生産性向上の取組み

マイニング

門田暁人,「ソフトウェアリポジトリマイニングのすすめ」

和田俊和,「IPA EPM-Xの機能拡張によるプロアクティブ型プロジェクトモニタリング環境の構築」

Markus Borg,Oscar Svensson,Kristian Berg,Daniel Hansson,「SZZ Unleashed: An Open Implementation of the SZZ Algorithm」

Thong Hoang,Hong Jin Kang,David Lo,Julia Lawall,「CC2Vec: Distributed Representations of Code Changes」

Thong Hoang,Hoa Khanh Dam,Yasutaka Kamei,David Lo,Naoyasu Ubayashi,「DeepJIT: An End-To-End Deep Learning Framework for Just-In-Time Defect Prediction」

AI活用

馬庭伸栄,栗津正輝,岡田伊策,出内将夫,笈田佳彰,若杉賢治,「AI技術を活用したSE変革の実践」

鷲崎弘宜,「機械学習を中心としたAI活用によるソフトウェアの品質保証」

Filipe Calegario,Vanilson Burégio,Francisco Erivaldo,Daniel Moraes Costa Andrade,Kailane Felix,Nathalia Barbosa,Pedro Lucas da Silva Lucena,César França,「Exploring the intersection of Generative AI and Software Development」

Mridula Prakash,「Role of Generative AI tools (GAITs) in  Software Development Life Cycle (SDLC)- Waterfall Model」

mkitahara,不確実性の高い仮説を 迅速に検証するための開発プロセス

ソフトウェア設計

要求工学

UVC(User Vender Collaboration),「要求仕様定義ガイドライン」

佐藤治夫,「要件定義とはそもそも何か」

USDM

清水吉男,「要求仕様記述手法「USDM」ってどんなの? ~明日から使えるUSDMのエッセンス~」

梶本和博,「そうだったのか!USDM」

派生開発推進協議会,「USDM 小冊子 基礎編」

派生開発推進協議会,「USDM小冊子 補足編」

SQiP研究会,「USDM Quick Start Guide」

SESSAME,「話題沸騰ポット(GOMA-1015型)要求仕様書」

DRBFM

柏原一雄,「欠陥混入メカニズムの知識を活用したDRBFMの提案」

柏原一雄,「欠陥混入メカニズムをもとにしたベースソフト調査手法の提案」

SysML

OMG,「OMG Systems Modeling Language (OMG SysML™) Tutorial」

UML

Agile Modeling,「Introduction to the Diagrams of UML 2.X」

アーキテクチャ・デザインパターン

Refactoring.Guru,「デザインパターン」

kamranahmedse,「Design Patterns for Humans」

Dov Amir,「Awesome Software and Architectural Design Patterns」

Amy Brown and Greg Wilson,「The Architecture of Open Source Applications」

joelparkerhenderson,「Architecture decision record (ADR)」

Bruce Powel Douglass,「Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems」

IPA,「組込みソフトウェア向け設計ガイド ESDR[事例編]」

データ構造とアルゴリズム

Robert Sedgewick,「Algorithms in C」

Pat Morin,「Open Data Structures (in C++) 日本語版」

The Algorithms,「Open Source resource for learning Data Structures & Algorithms and their implementation in any Programming Language」

プロジェクト管理

maccos,「スケールドメテオフォール開発」

広木大地,「なぜ、ソフトウェアプロジェクトは人数を増やしても上手くいかないのか」

mtx2s,「コード品質はやはりビジネスに影響を与える」

mtx2s,「エンジニアの稼働率を上げれば上げるほど機能リリースが遅くなっていく」

swiri,「ウォーターフォールの反省とアジャイルの成功に必要なもの」

mtx2s,「ソフトウェア開発の “見積り” と “計画” を混同するから話が噛み合わない」

機能安全

実例

Ludovic Pintard,「From safety analysis to experimental validation by fault injection - Case of automotive embedded systems」

exida,「Results of the ISO 26262 Funtional Satefy Assessment Project: MICROSAR Safe」

exida,「Results of the ISO 26262 Funtional Satefy Assessment Project: MICROSAR SafeRTE」

exida,「Results of the ISO 26262 Funtional Satefy Assessment Project: EB tresos®️ Safety OS 2.x for TriCore」

exida,「Results of the ISO 26262 Funtional Satefy Assessment Project: EB tresos®️ Safety RTE」

Marsha Chechik,「CSC2125:  Safety and Certification of Autonomous Vehicles」

STAMP/STPA

IPA,「はじめてのSTAMP/STPA ~システム思考に基づく新しい安全性解析手法~」

IPA,「はじめてのSTAMP/STPA(実践編) ~システム思考に基づく新しい安全性解析手法~」

IPA,「はじめてのSTAMP/STPA(活用編) ~システム思考で考えるこれからの安全~」

IPA,「STAMPガイドブック ~システム思考による安全分析」

SCDL

ASAM,「SCDL Notation Specification」

影響分析

Markus Oertel,「A Linear Scaling Change Impact Analysis Based on a Formal Safety Model for Automotive Embedded Systems」

FMEA

Christoph A. Thieme, Ali Mosleh, Ingrid B. Utne, and Jeevith Hegde1, 「Incorporating software failure in risk analysis – Part 1: Software functional failure mode classification」

標準規格

Automotive SPICE

VDA QMCワーキンググループ13 / Automotive SIG,「Automotive SPICE 3.1」

山本 健太,「AUTOSARの基礎」

プログラミング

Python

筑波大学,「Python学習教材」

京都大学,「プログラミング演習 Python 2023」

東京大学,「Pythonプログラミング入門」

アレン・B・ダウニー,「Think Python:コンピュータサイエンティストのように考えてみよう第二版」

Mahbub Zaman,「The missing cheatsheet for python」

Rust

Richard Anaya,「Rustツアー」

Steve Klabnik and Carol Nichols,「The Rust Programming Language 日本語版」

Rustコミュニティ,「Rust by Example 日本語版」

Ruby

 Dave Thomas and Andrew Hunt,「Programming Ruby The Pragmatic Programmer's Guide」

Mahbub Zaman,「The missing cheatsheet for Ruby」

Java

三⾕純,「Java言語学習教材」

三⾕純,「Java言語学習教材(2)」

C++

ロベール,「ロベールのC++教室」

C

三⾕純,「C言語学習教材」

Andrew Gierth,「Frequently Asked Questions about Unix Programming」

Vic Metcalfe, Andrew Gierth and other contributers,「Programming UNIX Sockets in C - Frequently Asked Questions」

Bash

osw_nuco,「【永久保存版】シェルスクリプト完全攻略ガイド」

Donald Knuth,「Literate Programming (1984)」

開発ツール

GitLab,「cmakeの使い方」

Robert Mecklenburg,「GNU Make第3版」

Steve Chamberlain and Ian Lance Taylor,「The GNU linker」

Haruki Yoshida,「Docker再入門」

農林水産技術会議事務局 筑波産学連携支援センター,「AsciiDoc文書作成入門」

その他

cscs,「Coding Style Conventions and Standards」

hironori_narita,「【日本人エンジニア必携】英語命名規則の決定版」

Ted-HM,「プログラミングでよく使う英単語のまとめ【随時更新】」

クラウドサービス

AWS

東京大学,「AWSによるクラウド入門」

数学・データサイエンス・AI

基礎

米田優峻,「150分で学ぶ高校数学の基礎」

確率・統計

David M Diez and Mine Getinkaya-Rundel and Christopher D Barr,「データ分析のための統計学入門」

線形代数

セガ,「基礎線形代数講座」

黒田紘敏,「線形代数学入門」

微分・積分

黒田紘敏,「微分積分学入門」

最適化問題

久保幹雄,「Python言語による実務で使える100+の最適化問題」

データサイエンス・AI

東京大学,「数理・データサイエンス・AIモデルカリキュラム完全準拠教材」

松尾研究室,「Deep Learning実践開発講座(DL4US)」

松尾研究室,「LLM 大規模言語モデル講座」

Ashish Vaswani,Noam Shazeer,Niki Parmar,Jakob Uszkoreit,Llion Jones,Aidan N. Gomez,Lukasz Kaiser,Illia Polosukhin,「Attention Is All You Need」

Alec Radford,Karthik Narasimhan,Tim Salimans,Ilya Sutskever,「Improving Language Understanding by Generative Pre-Training」

高橋大志,「情報科学特別講義I 生成モデルの基礎と応用」

鈴木大慈,「深層学習の数理」

プロンプトエンジニアリング

DAIR.AI,「Prompt Engineering Guide」

Learn Prompting,「プロンプトエンジニアリング講座」

gmoriki,「P4Us  / 大学職員のためのプロンプトガイド」

Jules White,Quchen Fu,Sam Hays,Michael Sandborn,Carlos Olea,Henry Gilbert, Ashraf Elnashar,Jesse Spencer-Smith,Douglas C. Schmidt,「A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT」

プレゼンテーション

ラクプレ,「効率的に!ラクラクプレゼン資料作成」

ICON8,「当社チームによるオリジナルのストックグラフィック、デザインアプリ、AIツール」

Iconduck,「273,858 free open source icons & illustrations」

unDraw,「Illustrations」

Loose Drawing,「無料で商用可のフリーイラスト素材」

ソコスト,「商用可・フリーイラスト素材」

Linustock,「無料イラスト一覧」

チートシート(早見表)

Microsoft,「Visual Studio Code keyboard shortcuts for windows」

Microsoft,「Visual Studio Code keyboard shortcuts for macOS」

Qiita株式会社,「Markdown記法 チートシート」

GitHub,「GitHub GIT CHEAT SHEET」

その他

KNR109,「有名企業のエンジニア向け研修資料まとめ」

CODEGYM and LABOT Inc.,「CS50 for Japanese」

馬田隆明,「スタートアップの仮説思考(1)仮説思考入門」

馬田隆明,「スタートアップの仮説思考(2)仮説生成力を鍛える 」

馬田隆明,「スタートアップの仮説思考(3)仮説を"選ぶ"技術 」

馬田隆明,「スタートアップの仮説思考(4)ビジネスの仮説検証と実験の考え方 」

馬田隆明,「解像度を上げる」

アビームコンサルティング株式会社,「令和4年度燃料安定供給対策に関する調査(鉱業原簿登録システム・石油情報システムの更改に係る要件定義に関する調査)」

アクセンチュア株式会社,「令和5年度産業経済研究委託事業「PHR等デジタルデータを基盤とした新たなライフスタイルの構築に向けた2025大阪万博の場を活かした基盤構築・実証事業」のための構想企画等準備事業報告書」

SDV

みずほ銀行産業調査部,「自動車~ソフトとハードの分離がもたらす自動車産業の構造変化~」

PwC,「SDV(Software Defined Vehicle)とは何か。クルマだけではないSDVの世界を定義する」

機械振興協会 経済研究所,「SDV 時代の製品開発革新とモビリティ産業の課題報告書」


コメント

  1. 冒頭いきなりの「硬派のホームページ」に、いろんな意味で惹かれました。

    さっそくUSDMやXDDPの一部のリンク先を訪ねて勉強させていただき、次の案件の要件定義をUSDMで試してみようかと考えております。
    良い情報ありがとうございました。

    前職でアジャイル~スクラムやその派生をかじって試そうとし、抵抗勢力が多くてくじけたことを思い出しましたが、同じ轍を踏まないようにしたいと思います。

    返信削除
    返信
    1. 要求・要件定義と言われる領域が、その後のアーキテクチャ設計やテスト設計の良し悪しに効いてくると思います。ここの出来が悪いと、後段でモレがたくさん発生し、調整もできず、全てテストにしわ寄せ、デスマーチとなる・・・。効果があると言われている手法を取り入れ、手の内化し、日々改善することが大切かなと思います。

      そして現場は目の前のことを片付けることで精一杯になりがちなので、トップマネージメント層の理解、意志といったところがとても大事かと思います。人間なかなか変われないものですが・・・。

      削除

コメントを投稿

このブログの人気の投稿

エコキュート交換であります・・・

我が家はオール電化住宅ということで、給湯設備はコロナのエコキュート。ある日の週末に草抜きなどしていると、ポタポタと水漏れしていることに気がつくなど・・・。今年で築17年、耐用年数は過ぎており、交換部品もなく、修理ではなく交換となりました。 床暖房にも対応した多機能タイプだったのですが、今はそのタイプがないとのこと。床暖房も利用するには「 エコ暖 」というシステムを別に設置する必要があるとのことで、今回は給湯器だけ交換することに。床暖房、冬はぜったい欲しい設備でありますが、17年前に比べると、こういった設備の値段に加え職人さんの人件費も上がっており、だいぶ高くなってしまっているようで、お財布事情と相談してということであります・・・。 しかし、17年も経つとだいぶ進化しています。大きく変わったのは、まず人感センサーが付いたこと。浴室の在室が分かり、長湯しているとお知らせしてくれます。 そしてもう一つが無線LANへの対応。外出先からお湯はりができてしまいます。時間指定の予約ができるのも大きな進化。とても便利になっているのであります。 痛い出費ではありましたが、省エネにもなっているようなので、 電力会社の変更 と合わせて、電気代が減ることも期待したいと思います。

オクトパスエナジーにチェンジ

 暑い日が続きます。電気代もうなぎのぼり・・・。我が家はオール電化で、東京電力の「電化上手」というプランをずっと使ってきました。料金設定は以下のような感じであります。 在宅勤務も多く夏場はエアコンをつけっぱなしなのですが、夏場の昼間の料金が高く、今年の3月で最大5%の割引がなくなってしまったので、会社を変更しようと考えていたところに目に入ってきたのがオクトパスエナジーという会社の広告。調べてみると以下のような料金設定。 燃料調整費を加えて、昼間27.35円、夜間20.7円、夏場だと昼間が約37%、夜間が約28%安くなるという計算になりました。計算どおりだとかなりお安くなるのであります。「 友達紹介割 」で8,000円の割引が付くのも大きい。 というわけで、オクトパスエナジーにチャンジしました!!結果が出たらまた報告したいと思います。オクトパスエナジーへの変更を検討されている方はぜひ以下のURLから。「友達紹介割」で8,000円の割引になりますよ!! https://octopusenergy.co.jp/friend/contrary-berry-425

market

所用があり久々につくば駅へ。ちょっと小腹がすいたのでお茶でもと思いトナリエに足を運んでみるとスタイリッシュなオープンキッチンが目に入る。「 market 」さんというカフェでありました。 サステナブルな暮らしや地域のつながりを大切にしたいという思いで「 Villege Market Tsukuba 」というマーケットを主催されているご夫妻が活動の場として新たにオープンしたレストランだそうです。 スタイリッシュですし、店内に流れる音楽も悩めるエンジニア好み。もちろんコーヒーとケーキもおいしくいただきました。ちょくちょく利用させてもらうと思います。気になった方はぜひ足を運んでみてください。

トヨトミ対流型石油ストーブKR-47A

今年のふるさと納税はこちら、「 【トヨトミ】対流形石油ストーブKR-47A 」であります。「 エコキュート交換であります・・・ 」なんてことがありましたが、お財布事情で床暖はあきらめました。そして床暖と併用していた石油ファンヒーターが昨年あたりから調子が悪かったこともあり、床暖房と同じような部屋全体を温める効果が得られそうで、ファンヒーターと同じように火の温かさも感じられ対流型の石油ストーブを導入してみることにしたのであります。 いくつか検討比較をしてみましたが、木造(戸建)12畳まで(20.0㎡)、コンクリート(集合)17畳まで(28.0㎡)の対応空間が我が家に合っている、15.2~19.1時間と燃焼継続時間が長い、そしてデザインがおしゃれでカラーも豊富、ということで「 【トヨトミ】対流形石油ストーブKR-47A 」になりました。 ストーブつけるほど寒くなってきてはいないのでまだ点火していませんが、点火したら使い勝手や暖まり具合などまた報告したいと思います。 ちなみに、今回ふるさと納税で初のトラブル。ガラスの部品が割れていたのであります・・・。トヨトミの製品を返礼品として取り扱っている名古屋市は「 ふるぽ 」に業務委託しているため、そちらの窓口に電話し写真を送付、その後トヨトミから交換で対応するとの電話連絡。面倒なやりとりや手続き発生するかと思いましたが、丁寧かつスムーズに解決できました。ということで、トラブルがあっても丁寧かつスムーズに対応してもらえるのでご安心を。

筑波山江戸屋さんで足湯

「 筑波山神社 」に来たついで、前々から気になっていた「 筑波山江戸屋 」さんの足湯カフェへ。沢のせせらぎを聞きながら、参拝で疲れた足を癒やす、とてもよきでありました。日帰りの温泉利用は1,540円、ふだんは「 いこいの郷常総 」ですが、気分も変えたいというときは、こちらまで足を伸ばしてみるのもよいかと思いました。 筑波山を訪れたときはぜひどうぞ。

中華坊主その2

「 中華坊主 」さん、再訪であります。今回は町中華の王道、チャーハンをいただきました。たまごがご飯をきれいに包んでいて黄金色。しっとりだけどパラパラでちょっと一味違うかも。テイクアウトの人が何人か訪れたのですが、みなさんチャーハン大盛りを頼んでいた様子。人気があるのが分かります。 おいしくいただきました。次は温かい麺でもいただこうかと思います。

ume cafe WAON

大洗に足を運んだ一番の目的はこちら、梅干しなどの漬物を作っている「 吉田屋 」さんが運営する日本初の梅専門カフェである「 ume cafe WAON 」さんであります。種類豊富な梅干しをはじめ品種ごとに個性を活かした吉田屋さんならではの梅の品々や食事、スイーツを楽しめます。 ちょうどお昼時、お昼ごはんをいただくことに。悩めるエンジニアはおにぎりプレートをチョイス、おにぎりとシジミのお味噌汁、梅干しははちみつ、こんぶ、かつおぶしなど、9種類から選べます。嫁様はしらす入り焼きおにぎり梅茶漬け、見た目が鮮やか。おいしくいただきました。 こちら購入した梅干し。JAF会員であれば、3,000円以上の購入で、個包装の梅干し1個のプレゼント。会員証を忘れずに。 歳をとったせいか、最近梅干しがとてもおいしく感じます。購入したものがなくなったらまた買いに行きたいと思います。

Amazonでの価格を「見える化」!!

「 Keepa 」というChromeの拡張機能があることを知ったのでご紹介。Amazonの商品ページにアクセスすると価格推移のグラフが表示されるようになります。画像の商品だと、過去一年間で最安値が31,893円、最高値が55,000円とずいぶん差があったことが分かります。そう考えると、今の価格がお買い得か?なんて使い方ができますね。よきかと。 気になった方はインストールしてみてください。

一大テーマパークであります

 「 道の駅常総 」に足を運んでみましたが、なんととなりは「 TSUTAYA 」さんなのでありました。あまり調べず行ったので、びっくりであります。 さらにそのとなりには「 お湯むすび 」さんという銭湯がありさらにびっくり。関東最大級8室のサウナだそう。これはぜひ体験してみたい。 こんな感じで一大テーマパークになっているのであります。ちなみに「TSUTAYA」さんの中には「 SENDA BANDA 」さんとういう、地元食材を使ったジェラート屋さんがあり、悩めるエンジニア的にはおすすめであります。 一日楽しめるのであります。美味しいものを食べて、リラックスをしたい方、ぜひどうぞ。