Helping Programmers to Adopt Set-Based Specifications.

Maximiliano Cristiá Gianfranco Rossi Claudia S. Frydman

Published in: FMSEE&T@FM (2015)

Keyphrases

small number
high level
machine learning
input data
neural network
computer vision
expert systems
object oriented
general purpose
user defined
formal specification