A formal application model for code and test generation.

Sergey Baranov Vsevolod Kotlyarov

Published in: Autom. Control. Comput. Sci. (2012)

Keyphrases

formal model
artificial intelligence
database systems
probabilistic model
conceptual model
high level
programming language