「厳密な仕様記述における形式手法成功事例調査報告書」の公開 ：IPA 独立行政法人 情報処理推進機構

2019/07/08 55 users 誤解 低下 手法 形式手法 増加

ソフトウェア開発現場では、日本語で作成する仕様書の記述内容が曖昧である事に起因する製品品質の低下やプログラム不具合対応などの手戻り作業に伴う開発コストの増加が問題視されています。「形式手法」(*1)は、こうした仕様記述の内容から曖昧さを排除し、誤解を招かない仕様書を作成する手法の一つとして注目されて... 続きを読む

アジアのソフトウェア開発現場にて: Javaプログラマになってしまった

2012/09/10 65 users Javaプログラマ アジア

小生、プログラムに使った最初の言語は、BASIC。そう、あの有名なBASIC。Visual Basicではない。Bill Gatesが、ハーバードの学生だったころ、Microsoftか、それともその前身の名前の会社だったのだか定かではないが、自分たちで作って、それをまんまと、当時の米国のホビーストのマシンだったAlltairに売り、さらにIBMにまで使わせることに成功した、あのinterprete... 続きを読む