佐原伸

http://sea.jp/ss2014/WG7: 「形式手法の最新技術と産業界での適用」

◆リーダ: 中津川泰正 (フェリカネットワークス)，田中美穂 (DTS) 佐原伸 (法政大学)，酒匂寛 (デザイナーズデン)
◆概要:
ソフトウェア開発現場では，品質の高いソフトウェアを効率よく組織的に開発する手法が求められています．本ワーキンググループでは，高品質のソフトウェア開発技法として実績のある形式手法について，その最新技法の紹介と，適用方法の紹介，そして今後どのように高品質のソフトウェア開発を進めていくかについて話し合いたいと思います．また，組織的な形式手法の導入事例に限らず，個人で気軽に使うことができるような形式手法の使い方など幅広く議論することができたらと考えます．議論の対象とする形式手法は，今のところ，VDM・Event-B・CafeOBJ・SPIN・NuSMV・Coq などを想定しています．」

　劉少英　

法政大学三題噺

玉井哲雄

玉井哲雄ホームページ - 法政大学
http://tamai-lab.ws.hosei.ac.jp/indexj.html
ソフトウェア工学 (平成15年9月11日)
http://tamai-lab.ws.hosei.ac.jp/pub/sebook.pdf

古家時雄

今昔文字鏡　漢字フォントの世界一の収集

今昔秀歌百撰　全項目索引（一覧）

水野和夫

法政大学教授

株式会社の終焉　出版記念会参加　

Countdown Calendar 2022

今年企画した6つのCountdown Calendarと、それぞれの記事一つをご紹介します。

AUTOSAR Countdown Calendar 2022

AUTOSAR References to ISO, IEC, ITU, IEEE, RFC and SEA etc.

Automotive Handbook Countdown Calendar 2022

Basic principles, ボッシュ自動車handbook(英語)11版まとめ<2>

2022 いいねをいただいた記事ランキング(O.K.版) Countdown Calendar 2022

2022年１月下旬　いいねをいただいた記事　16

AdCale(O.K.) Countdown Calendar 2022

「会議は15分未満」に。小耳にはさんだ話。

ABC language (O.K.版） Advent Calendar 2022

LLVMソースコードのコンパイルをしようと思ってハマった罠とそこから脱出するための努力

ABC maker(O.K版） Advent Calendar 2022

JAXA/IPA クリティカルソフトウェアワークショップ WOCS言語関連発表(改定版)

CountdownCalendar2022 報告

誤差の評価が苦手（専門分野以外）

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞

文書履歴(document history)

ver. 0.01 初稿 20221204
ver. 0.02 URL追記　20221231

最後までおよみいただきありがとうございました。

いいね　💚、フォローをお願いします。

Thank you very much for reading to the last sentence.

Please press the like icon 💚　and follow me for your happy life.