Shusaku Iida

According to our database, Shusaku Iida authored at least 5 papers between 1999 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Formal Verification of Effectiveness of Control Activities in Business Processes.

Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi

IEICE Trans. Inf. Syst., 2012

2009

Document Logic: Risk analysis of business processes through document authenticity.

Shusaku Iida, Grit Denker, Carolyn L. Talcott

Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

1999

Component-Based Algebraic Specification and Verification in CafeOBJ.

Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida

Proceedings of the FM'99 - Formal Methods, 1999

Should UML Have a Single Semantics? Should UML Have a Single <i>Core</i> Semantics?

John Howse, Shusaku Iida, Richard Mitchell, Bernhard Rumpe

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Component-Based Algebraic Specification.

Shusaku Iida, Kokichi Futatsugi, Razvan Diaconescu

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999