发送短信 : Collaborative model for preparing formal software specification document /