Progresses and Challenges to specifying the IT system during weak storms