Tomohiro Oda
76
Seguidores
Personal Information
Organização/Local de trabalho
Machida, Tokyo, Japan Japan
Cargo
Researcher
Setor
Technology / Software / Internet
Sobre
Geek boy -> Geek student -> Geek game developer -> Geek grad student -> Geek programmer -> Geek grad student -> Geek programmer
Marcadores
pharo
iceberg
esug
vdm
prototype
ui/ux design
squeak
formal methods
#squeak #vdm #ui-design
Ver mais
- Apresentações
- Documentos
- Infográficos
Scratch@mit 2016 報告会
Kazuhiro Abe
•
Há 7 anos
Internet ExplorerはIE特化アプリから一時的に日本を救ってくれたけど次回はもう助けてくれないよという警告
Hiroshi Kawada
•
Há 10 anos
任意粒度機能モデルに基づくコードクローン検出手法の大規模プログラムの適用に向けた改善
Kamiya Toshihiro
•
Há 10 anos
The Use of Formal Methods on the iFACTS Air Traffic Control Project
AdaCore
•
Há 14 anos
Industrial use of formal methods
Jonathan Bowen
•
Há 12 anos