Paradigm integration in a specification course.

Manuel A. Martins Alexandre Madeira Luís Soares Barbosa Renato Neves

Published in: IRI (2014)

Keyphrases

high level
data sets
formal specification
data mining
knowledge base
database systems
face recognition
multi agent
software engineering
data fusion
specification language