Deconstructing the semantics of big-step modelling languages.

Shahram Esmaeilsabzali Nancy A. Day Joanne M. Atlee Jianwei Niu

Published in: Requir. Eng. (2010)

Keyphrases

highly expressive
specification languages
expressive power
logic programming
big data
language independent
databases
metadata
semantic information
formal semantics
information retrieval
web services
database systems
post processing
database query languages
semantic web languages