Toward Formalizing Domain Modeling Semantics in Language Syntax.

Joerg Evermann Yair Wand

Published in: IEEE Trans. Software Eng. (2005)

Keyphrases

database query languages
query language
domain specific
operational semantics
natural language
relational databases
domain knowledge
conceptual model
logic programming language
definition language
database language
dynamic aspects
proof theory
rule language