TY - RPRT TI - RCM: Requirement Capturing Model for Automated Requirements Formalisation AU - Aya Zaki-Ismail AU - Mohamed Osama AU - Mohamed Abdelrazek AU - John Grundy AU - Amani Ibrahim PY - 2020 UR - https://arxiv.org/abs/2009.14683 ID - 2009.14683 ER -