Formal Specification and Ezperiments of an Ezpressive Human-Computer Ensemble System with Rehearsal

摘要：

Logical representation of an expressive humancomputer ensemble system by N∑-labeled calculus together with experimental results are presented.

作者: Tetsuya Mizutani Tatsuo Suzuki Masayuki Shio Yasuwo Ikeda

作者单位: Department of Computer Science, University of Tsukuba, Tsukuba, Japan Masters Program in Computer Science, University of Tsukuba, Tsukuba, Japan College of Community Development, Tokiwa University, Mito, Japan Mejiro University, Tokyo, Japan

会议类型: 国际会议

会议名称: Third International Symposium on Theoretical Aspects of Software Engineering TASE 2009(第三届软件工程理论国际研讨会)

会议地点: 天津

会议语种:英文

页码: 303-304

在线出版日期: 2009-07-29（万方平台首次上网日期，不代表论文的发表时间）