ハーラン・ミルズ
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/11/06 01:04 UTC 版)
ハーラン・D・ミルズ賞
IEEE Computer Societyは、ミルズを称えて、1999年に「情報科学、特にソフトウェア工学の理論と実践の貢献」を表彰するハーラン・D・ミルズ賞を創設した[1][2]。
関連文献
- Linger and Witt (1979), Structured Programming: Theory and Practice, presents Mills' function-theoretic approach to program verification
- Software Productivity (1983), includes a collection of his seminal papers on chief programmer teams, top-down design, structured programming, program correctness, and other fundamental ideas in software engineering
- Linger and Hevner (1986), Principles of Information System Analysis and Design, includes Mills' reduction of the mathematics of specification and design to practice
関連項目
外部リンク
- IP: Harlan Mills passed away this week - Mailing list message with details
- Harlan D. Mills List of publications from the DBLP Bibliography Server
- ^ “Harlan D. Mills Award”. IEEE Computer Society. 2011年1月10日時点のオリジナルよりアーカイブ。2011年4月13日閲覧。
- ^ “Past recipients for Harlan D. Mills Award”. IEEE Computer Society. 2011年1月10日時点のオリジナルよりアーカイブ。2011年4月13日閲覧。
- 1 ハーラン・ミルズとは
- 2 ハーラン・ミルズの概要
- 3 ハーラン・D・ミルズ賞
- ハーラン・ミルズのページへのリンク