Automatically Generating SystemC Code from HCSP Formal Models.

Gaogao Yan Li Jiao Shuling Wang Lingtai Wang Naijun Zhan

Published in: ACM Trans. Softw. Eng. Methodol. (2020)

Keyphrases

automatically generating
formal models
automatically generated
formal model
process model
rule based systems
source code
english words
error correcting
artificial intelligence
program code
database
code generation
rule base
distance measure
open source
learning algorithm
databases
data sets