Travelled to:1 × Germany
1 × India
1 × Norway
1 × USA
1 × Vietnam
Collaborated with:S.Honiden K.Sakamoto T.Kurita K.Araki K.Yatoh T.Suzuki Y.Kawamata C.Sommer R.Takahashi K.Tei Y.Fukazawa
Talks about:approach (2) model (2) vdm (2) use (2) relationship (1) protocol (1) metadata (1) feedback (1) document (1) composit (1)
Person: Fuyuki Ishikawa
DBLP: Ishikawa:Fuyuki
Facilitated 1 volumes:
KeynoteContributed to:
2015
2015
2014
2009
2008Wrote 5 papers:
- FM-2015-KuritaIA #documentation #evolution #formal method #mobile #modelling
- Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware (TK, FI, KA), pp. 593–596.
- ISSTA-2015-YatohSIH #generative #random testing #testing
- Feedback-controlled random test generation (KY, KS, FI, SH), pp. 316–326.
- ICPC-2014-SuzukiSIH #approach #modelling #n-gram #using
- An approach for evaluating and suggesting method names using n-gram models (TS, KS, FI, SH), pp. 271–274.
- SEFM-2009-KawamataSIH #refinement #specification
- Specifying and Checking Refinement Relationships in VDM++ (YK, CS, FI, SH), pp. 220–227.
- EDOC-2008-TakahashiTIHF #approach #composition #coordination #metadata #multi #protocol #using
- Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems (RT, KT, FI, SH, YF), pp. 372–378.