IIDA Shusaku

J-GLOBAL         Last updated: Oct 6, 2019 at 02:49
 
Avatar
Name
IIDA Shusaku
Affiliation
Senshu University
Section
School of Network and Information
Job title
Professor

Research Areas

 
 

Academic & Professional Experience

 
1999
 - 
2001
Research Fellow of the Japan Society for the Promotion of Science
 

Education

 
 
 - 
Mar 1999
Japan Advanced Institute of Science and Technology
 

Published Papers

 
A Component-based Algebraic Specification of ODP Trading Function and the Interactive Browsing Environment
Matsumiya Chiyo, Kokichi Futatsugi
OBJ/CafeOBJ/Maude at Formal Methods '99, THETA   >227-241   1999
MDD and Formal Methods
イイダ シュウサク
Proceeding of International Workshop on Future Software Technology, Software Engineers Association   >   Nov 2005
Document Logic: Risk Analysis of Business Processes Through Document Authenticity
Grit Denker, Carolyn Talcott
Journal of Research and Practice in Information Technology, Australian Computer Society   43(1) >41-63   Nov 2011

Conference Activities & Talks

 
A Pattern of Learning Algorithmic Thinking Style - Toward learn by thinking rather than learn by memory -
May 2009   IPSJ

Research Grants & Projects

 
Component-based Software Developments based on Formal Methods