Textual module requirement specification