BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ishikawa:Fuyuki

Facilitated 1 volumes:

A-MOST 2019Keynote

Contributed to:

FM 20152015
ISSTA 20152015
ICPC 20142014
SEFM 20092009
EDOC 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.