BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Italy
1 × USA
Collaborated with:
T.Higashino K.Yasumoto A.Nakata A.R.Cavalli H.Katagiri A.Kitajima G.v.Bochmann X.Li T.Umedu Y.Terashima
Talks about:
synchron (2) multi (2) model (2) test (2) loto (2) way (2) implement (1) establish (1) automaton (1) wireless (1)

Person: Kenichi Taniguchi

DBLP DBLP: Taniguchi:Kenichi

Contributed to:

FME 20022002
DAC 20002000
IWTCS 19991999
ICSE 19941994
IWPTS 19921992

Wrote 5 papers:

FME-2002-UmeduTYNHT #mobile #multi
A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels (TU, YT, KY, AN, TH, KT), pp. 607–624.
DAC-2000-KatagiriYKHT #communication #concurrent #hardware #implementation #multi #protocol
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization (HK, KY, AK, TH, KT), pp. 762–767.
IWTCS-1999-HigashinoNTC #automaton #generative #testing
Generating Test Cases for a Timed I/O Automaton Model (TH, AN, KT, ARC), pp. 197–214.
ICSE-1994-YasumotoHT #process #using
Software Process Description Using LOTOS and Its Enaction (KY, TH, KT), pp. 169–178.
IWPTS-1992-HigashinoBLYT #parametricity #strict
Test System for a Restricted Class of LOTOS Expressions with Data Parameters (TH, GvB, XL, KY, KT), pp. 205–216.

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.