ARF: Automatic Requirements Formalisation Tool.

Aya Zaki-Ismail Mohamed Osama Mohamed Abdelrazek John C. Grundy Amani S. Ibrahim

Published in: RE (2021)

Keyphrases

semi automatic
fully automatic
data driven
database
data mining
multi agent
digital libraries
object oriented
formal analysis
neural network
metadata
information technology
evolutionary algorithm
design principles