Login / Signup
Formal specification and implementation of an automated pattern-based parallel-code generation framework.
Gervasio Pérez
Sergio Yovine
Published in:
Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
</>
formal specification
code generation
specification language
model checking
model driven
object oriented design
specification languages
code generator
reverse engineering
databases
protocol specification
cooperative
data analysis
computer aided
key features