The Semantics and Tool Support of OZTA.

Jin Song Dong Ping Hao Shengchao Qin Xian Zhang

Published in: ICFEM (2005)

Keyphrases

tool support
design decisions
software development
software tools
software engineering
semantic information
formal semantics
logic programming
real world
relational databases
conceptual model
software projects
artificial intelligence
source code
test suite
requirements engineering