ARF: Automatic Requirements Formalisation Tool

Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek 0001, John C. Grundy, Amani S. Ibrahim. ARF: Automatic Requirements Formalisation Tool. In 29th IEEE International Requirements Engineering Conference, RE 2021, Notre Dame, IN, USA, September 20-24, 2021. pages 440-441, IEEE, 2021. [doi]

Authors

Aya Zaki-Ismail

This author has not been identified. Look up 'Aya Zaki-Ismail' in Google

Mohamed Osama

This author has not been identified. Look up 'Mohamed Osama' in Google

Mohamed Abdelrazek 0001

This author has not been identified. Look up 'Mohamed Abdelrazek 0001' in Google

John C. Grundy

This author has not been identified. Look up 'John C. Grundy' in Google

Amani S. Ibrahim

This author has not been identified. Look up 'Amani S. Ibrahim' in Google