Takashi Hattori

Faculty of Environment and Information Studies
Graduate School of Media and Governance
DegreesPh.D. (Science) (Kyoto University, 1993)
Areas of ExpertiseComputer Science
AffiliationsJapan Society for Software Science and Technology, Information Processing Society of Japan
Selected PublicationsRACCO : a Modal-Logic Programming Language for Writing Models of Real-time Process-Control Systems --- Toward Computer-Aided Generation of Real-Time System Software ---, Advances in Software Science and Technology Vol.3 (1991)
Time-Extraction for Temporal Logic --- Logic Programming and Local Process Time, Journal of Computer Systems and Sciences Vol.49, No.1, pp.40-56 (1994)
Programming Constraints by Demonstration, Journal of Visual Languages and Computing, Vol.14, No.1, pp.79-96 (2003)
Wikigramming: a wiki-based training environment for programming, Proceeding of the 2nd international workshop on Web 2.0 for software engineering, pp.7-12 (2011)
Contact Information5322 Endo Fujisawa, Kanagawa 252-0882 Japan
Keio University Shonan Fujisawa Campus