Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design

Mizuho Ikeda, Yoshiaki Takata, Hiroyuki Seki. Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design. In Nagib Callaos, Ivan Nunes da Silva, Jorge Molero, editors, World Multiconference on Systemics, Cybernetics and Informatics, ISAS-SCIs 2001, July 22-25, 2001, Orlando, Florida, USA, Proceedings, Volume I: Information Systems Development. pages 422-428, IIIS, 2001.

Authors

Mizuho Ikeda

This author has not been identified. Look up 'Mizuho Ikeda' in Google

Yoshiaki Takata

This author has not been identified. Look up 'Yoshiaki Takata' in Google

Hiroyuki Seki

This author has not been identified. Look up 'Hiroyuki Seki' in Google