* extension for teleo-reactive systems requirements specifications.

José Miguel Morales Elena Navarro Pedro Sánchez-Palma Diego Alonso

Published in: SAC (2015)

Keyphrases

functional requirements
expert systems
computing systems
data sets
neural network
computer systems
software requirements
genetic algorithm
website
digital libraries
retrieval systems
legacy systems
automated verification