Personal Information
Organization / Workplace
Machida, Tokyo, Japan Japan
Occupation
Researcher
Industry
Technology / Software / Internet
About
Geek boy -> Geek student -> Geek game developer -> Geek grad student -> Geek programmer -> Geek grad student -> Geek programmer
Tags
pharo
iceberg
esug
vdm
prototype
ui/ux design
squeak
formal methods
#squeak #vdm #ui-design
See more
- Presentations
- Documents
- Infographics
Scratch@mit 2016 報告会
Kazuhiro Abe
•
7 years ago
Internet ExplorerはIE特化アプリから一時的に日本を救ってくれたけど次回はもう助けてくれないよという警告
Hiroshi Kawada
•
10 years ago
任意粒度機能モデルに基づくコードクローン検出手法の大規模プログラムの適用に向けた改善
Kamiya Toshihiro
•
10 years ago
The Use of Formal Methods on the iFACTS Air Traffic Control Project
AdaCore
•
14 years ago
Industrial use of formal methods
Jonathan Bowen
•
12 years ago