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.
@inproceedings{IkedaTS01, title = {Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design}, author = {Mizuho Ikeda and Yoshiaki Takata and Hiroyuki Seki}, year = {2001}, tags = {data-flow, design}, researchr = {https://researchr.org/publication/IkedaTS01}, cites = {0}, citedby = {0}, pages = {422-428}, booktitle = {World Multiconference on Systemics, Cybernetics and Informatics, ISAS-SCIs 2001, July 22-25, 2001, Orlando, Florida, USA, Proceedings, Volume I: Information Systems Development}, editor = {Nagib Callaos and Ivan Nunes da Silva and Jorge Molero}, publisher = {IIIS}, isbn = {980-07-7541-2}, }