Just Formal Enough? Automated Analysis of EARS Requirements.

Levi Lúcio Salman Rahman Chih-Hong Cheng Alistair Mavin

Published in: NFM (2017)

Keyphrases

automated analysis
automated detection
biomedical imaging
visual analysis
video analysis
requirements specification
e government
artificial intelligence
motion imagery