Correctness of Automatically Generated Choreography Specifications.

Nurulhuda A. Manaf Nor Najihah Zainal Abidin Nur Amalina Jamaludin

Published in: RuleML+RR (2021)

Keyphrases

automatically generated
automatically generate
manually constructed
manually generated
automatically generating
manually created
automatically created
formal specification
ground truth
medical images
service oriented architecture
code generator