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: Seino:Takahiro
Contributed to:
2008
2005Wrote 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.