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 × Republic of China
1 × Spain
Collaborated with:
J.Senachak K.Ogata K.Futatsugi O.Takaki I.Takeuti N.Izumi K.Takahashi
Talks about:
workflow (1) translat (1) passback (1) qualiti (1) provabl (1) diagram (1) correct (1) consist (1) improv (1) java (1)

Person: Takahiro Seino

DBLP DBLP: Seino:Takahiro

Contributed to:

ICEIS ISAS v2 20082008
SEKE 20052005

Wrote 2 papers:

ICEIS-ISAS2-2008-TakakiSTIT #consistency #diagrams #quality #workflow
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency (OT, TS, IT, NI, KT), pp. 351–359.
SEKE-2005-SenachakSOF #java
Provably Correct Translation from CafeOBJ into Java (JS, TS, KO, KF), pp. 614–619.

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.