Text this: Collaborative model for preparing formal software specification document /