Alignment-based Translations Across Formal Systems Using Interface Theories.

Dennis Müller Colin Rothgang Yufei Liu Florian Rabe

Published in: PxTP (2017)

Keyphrases

formal methods
computer systems
user interface
management system
human computer interface
neural network
artificial intelligence
information systems
e learning
database
multimedia
case study
database systems
data model
natural language processing
knowledge based systems