A survey on the formalisation of system requirements and their validation.

Konstantinos Mokos Panagiotis Katsaros

Published in: Array (2020)

Keyphrases

application specific
multimedia
neural network
life cycle
formal analysis
functional requirements
artificial intelligence
metadata
natural language
computational complexity
digital libraries
trade off
software development